| عنوان البحث | ملخص البحث |
| On the interaction between knowledge and social commitments in multi-agent systems | |
| Verifying multi-agent-based Web service compositions regulated by commitment protocols | |
| Modeling and verifying choreographed multi-agent-based Web service compositions regulated by commitment protocols | |
| Conditional commitments: Reasoning and model checking | |
| Formal specification and automatic verification of conditional commitments | |
| Automatic transformation of cloud computing service composition to verifiable models | |
| SMC4AC: A new symbolic model checker for intelligent agent communication | |
| Specifying and verifying contract-driven service compositions using commitments and model checking | |
