 | 2011 |
| 9 |  | Mohamed El-Menshawy,
Jamal Bentahar,
Hongyang Qu,
Rachida Dssouli:
On the verification of social commitments and time.
AAMAS 2011: 483-490 |
| 8 |  | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Model Checking Commitment Protocols.
IEA/AIE (2) 2011: 37-47 |
| 2010 |
| 7 |  | Mohamed El-Menshawy,
Wei Wan,
Jamal Bentahar,
Rachida Dssouli:
Symbolic model checking for agent interactions.
AAMAS 2010: 1555-1556 |
| 6 |  | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Symbolic Model Checking Commitment Protocols Using Reduction.
DALT 2010: 185-203 |
| 5 |  | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions.
KES-AMSTA (2) 2010: 11-21 |
| 2009 |
| 4 |  | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Verifiable Semantic Model for Agent Interactions Using Social Commitments.
LADS 2009: 128-152 |
| 3 |  | Jamal Bentahar,
Mohamed El-Menshawy,
Rachida Dssouli:
An Integrated Semantics of Social Commitments and Associated Operations.
MALLOW 2009 |
| 2 |  | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Enhancing Engineering Methodology for Communities of Web Services.
MALLOW 2009 |
| 1 |  | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
A New Semantics of Social Commitments Using Branching Space-Time Logic.
Web Intelligence/IAT Workshops 2009: 492-496 |