 | 2009 |
|---|
| 15 |       | Karima Mokhtari,
Salima Benbernou,
Mohsen Rouached,
Mohand-Said Hacid,
Frank Leymann:
Privacy Time-Related Analysis in Business Protocols.
ICWS 2009: 141-148 |
| 2008 |
|---|
| 14 | | Mohsen Rouached,
Claude Godart:
A run-time service discovery process for web services compositions.
ICEC 2008: 2 |
| 13 | | Walid Fdhila,
Mohsen Rouached,
Claude Godart:
Communications Semantics for WSBPEL Processes.
ICWS 2008: 185-194 |
| 2007 |
|---|
| 12 | | Mohsen Rouached,
Claude Godart:
Specification and Verification of Authorization Policies for Web Services Composition.
CAiSE Forum 2007 |
| 11 | | Walid Gaaloul,
Sami Bhiri,
Manfred Hauswirth,
Mohsen Rouached,
Claude Godart:
Formal verification of composite service recovery mechanisms consistency.
CollaborateCom 2007: 278-287 |
| 10 | | Mohsen Rouached,
Claude Godart:
Requirements-driven Verification of WSBPEL Processes.
ICWS 2007: 354-363 |
| 9 | | Mohsen Rouached,
Claude Godart:
Reasoning about Events to Specify Authorization Policies forWeb Services Composition.
ICWS 2007: 481-488 |
| 8 | | Walid Gaaloul,
Mohsen Rouached,
Claude Godart,
Manfred Hauswirth:
Verifying Composite Service Transactional Behavior Using Event Calculus.
OTM Conferences (1) 2007: 353-370 |
| 2006 |
|---|
| 7 | | Mohsen Rouached,
Olivier Perrin,
Claude Godart:
Towards Formal Verification of Web Service Composition.
Business Process Management 2006: 257-273 |
| 6 | | Mohsen Rouached,
Claude Godart:
Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus.
ICSOC 2006: 440-446 |
| 5 | | Mohsen Rouached,
Claude Godart:
Analysis of Composite Web Services Using Logging Facilities.
ICSOC Workshops 2006: 74-85 |
| 4 | | 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 | | Mohsen Rouached,
Olivier Perrin,
Claude Godart:
A Contract Layered Architecture for Regulating Cross-Organisational Business Processes.
Business Process Management 2005: 410-415 |
| 1 | | 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 |
