Search the dblp DataBase

Publications of Author

1. Mohsen Rouached, Olivier Perrin, Claude Godart
   A Contract Layered Architecture for Regulating Cross-Organisational Business Processes. [Citation Graph (0, 0)][DBLP]
   Business Process Management, 2005, pp:410-415 [Conf]
   
2. Mohsen Rouached, Olivier Perrin, Claude Godart
   Towards Formal Verification of Web Service Composition. [Citation Graph (0, 0)][DBLP]
   Business Process Management, 2006, pp:257-273 [Conf]
   
3. Mohsen Rouached, Claude Godart
   Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus. [Citation Graph (0, 0)][DBLP]
   ICSOC, 2006, pp:440-446 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   OTM Conferences (1), 2006, pp:408-425 [Conf]
   
5. Mohsen Rouached, Claude Godart
   An Event-Based Model for Web Services Coordination. [Citation Graph (0, 0)][DBLP]
   WEBIST (1), 2006, pp:81-88 [Conf]
   
6. Mohsen Rouached, Olivier Perrin, Claude Godart
   A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus. [Citation Graph (0, 0)][DBLP]
   WISE, 2005, pp:426-434 [Conf]
   
7. Mohsen Rouached, Claude Godart
   Specification and Verification of Authorization Policies for Web Services Composition. [Citation Graph (0, 0)][DBLP]
   CAiSE Forum, 2007, pp:- [Conf]
   
8. Mohsen Rouached, Claude Godart
   Analysis of Composite Web Services Using Logging Facilities. [Citation Graph (0, 0)][DBLP]
   ICSOC Workshops, 2006, pp:74-85 [Conf]
   
9. Mohsen Rouached, Claude Godart
   Requirements-driven Verification of WSBPEL Processes. [Citation Graph (0, 0)][DBLP]
   ICWS, 2007, pp:354-363 [Conf]
   
10. Mohsen Rouached, Claude Godart
    Reasoning about Events to Specify Authorization Policies forWeb Services Composition. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:481-488 [Conf]
    
11. Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth
    Verifying Composite Service Transactional Behavior Using Event Calculus. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:353-370 [Conf]
    
12. 
    A run-time service discovery process for web services compositions. [Citation Graph (, )][DBLP]
    
    
13. 
    Communications Semantics for WSBPEL Processes. [Citation Graph (, )][DBLP]
    
    
14. 
    Privacy Time-Related Analysis in Business Protocols. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal verification of composite service recovery mechanisms consistency. [Citation Graph (, )][DBLP]