| 2007 |
|---|
| 11 | EE | Mohsen Rouached,
Claude Godart:
Specification and Verification of Authorization Policies for Web Services Composition.
CAiSE Forum 2007 |
| 10 | EE | Mohsen Rouached,
Claude Godart:
Requirements-driven Verification of WSBPEL Processes.
ICWS 2007: 354-363 |
| 9 | EE | Mohsen Rouached,
Claude Godart:
Reasoning about Events to Specify Authorization Policies forWeb Services Composition.
ICWS 2007: 481-488 |
| 8 | EE | Walid Gaaloul,
Mohsen Rouached,
Claude Godart,
Manfred Hauswirth:
Verifying Composite Service Transactional Behavior Using Event Calculus.
OTM Conferences (1) 2007: 353-370 |
| 2006 |
|---|
| 7 | EE | Mohsen Rouached,
Olivier Perrin,
Claude Godart:
Towards Formal Verification of Web Service Composition.
Business Process Management 2006: 257-273 |
| 6 | EE | Mohsen Rouached,
Claude Godart:
Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus.
ICSOC 2006: 440-446 |
| 5 | EE | Mohsen Rouached,
Claude Godart:
Analysis of Composite Web Services Using Logging Facilities.
ICSOC Workshops 2006: 74-85 |
| 4 | EE | Mohsen Rouached,
Walid Gaaloul,
Wil M. P. van der Aalst,
Sami Bhiri,
Claude Godart:
Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
OTM Conferences (1) 2006: 408-425 |
| 3 | | Mohsen Rouached,
Claude Godart:
An Event-Based Model for Web Services Coordination.
WEBIST (1) 2006: 81-88 |
| 2005 |
|---|
| 2 | EE | Mohsen Rouached,
Olivier Perrin,
Claude Godart:
A Contract Layered Architecture for Regulating Cross-Organisational Business Processes.
Business Process Management 2005: 410-415 |
| 1 | EE | Mohsen Rouached,
Olivier Perrin,
Claude Godart:
A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus.
WISE 2005: 426-434 |
