A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Web services -concepts, architectures and applications, 2004. ,
A lower bound on web services composition, Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, pp.274-287, 2007. ,
Web service conversation modeling: a cornerstone for e-business automation, IEEE Internet Computing, vol.8, issue.1, pp.46-54 ,
DOI : 10.1109/MIC.2004.1260703
URL : https://hal.archives-ouvertes.fr/hal-00108317
Analysis and Management of Web Service Protocols, 23rd International Conference on Conceptual Modeling ,
DOI : 10.1007/978-3-540-30464-7_40
URL : https://hal.archives-ouvertes.fr/hal-00108735
On temporal abstractions of web service protocols, The 17 th Conference on Advanced Information Systems Engineering (CAiSE '05). Short Paper Proceedings ,
Compatibility and replaceability analysis for timed Web service protocols, 21èmes journées Bases de données Avancées (BDA'05), 1920. ,
Representing, analysing and managing Web service protocols, Data & Knowledge Engineering, vol.58, issue.3, pp.46-54, 2006. ,
DOI : 10.1016/j.datak.2005.07.006
URL : https://hal.archives-ouvertes.fr/hal-00107196
Service Oriented Architecture: Overview and Directions, Lipari Summer School, pp.116-130, 2007. ,
DOI : 10.1007/978-3-540-89762-0_4
Automatic Service Composition. Models, techniques and tools, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00801272
When are Two Web Services Compatible?, Technologies for EServices, 5th International Workshop (TES), pp.15-28, 2004. ,
DOI : 10.1007/978-3-540-31811-8_2
Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003. ,
DOI : 10.1145/775152.775210
Verification of Web Services with Timed Automata, Proceedings of the International Workshop on Automated Specification and Verification ofWeb Sites (WWV'05), pp.19-34, 2005. ,
DOI : 10.1016/j.entcs.2005.12.042
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), p.186, 2006. ,
DOI : 10.1109/AICT-ICIW.2006.53
SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH, International Journal of Cooperative Information Systems, vol.13, issue.04, 2004. ,
DOI : 10.1142/S0218843004001012
Temporal Conformance of Federated Choreographies, Proceedings of the 19th International Conference on Database and Expert Systems Applications (DEXA'08), 2005. ,
DOI : 10.1007/978-3-540-85654-2_57
Timed Specification For Web Services Compatibility Analysis, Electronic Notes in Theoretical Computer Science, vol.200, issue.3, pp.155-170 ,
DOI : 10.1016/j.entcs.2008.04.098
URL : https://hal.archives-ouvertes.fr/inria-00432621
Toward Data Flow Oriented Services Composition, 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp.379-385, 2008. ,
DOI : 10.1109/EDOC.2008.25
URL : https://hal.archives-ouvertes.fr/inria-00289828
Data Messaging Based Approach for Web Service Composition, 2008 IEEE International Conference on e-Business Engineering, pp.449-454 ,
DOI : 10.1109/ICEBE.2008.109
URL : https://hal.archives-ouvertes.fr/inria-00292367
Uppaal based approach for compatibility analysis of synchronous web services, 2008. ,
Timed Properties-Aware Asynchronous Web Service Composition, Proceedings of the 16th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS'08), pp.44-61, 2008. ,
DOI : 10.1007/978-3-540-88871-0_7
URL : https://hal.archives-ouvertes.fr/inria-00311187
Timed model checking based approach for we bservices analysis, Proceedings of the IEEE International Conference on Web Service (ICWS'09) ,
Asynchronous Timed Web Service-Aware Choreography Analysis, Proceedings of the 21 th International Conference on Advanced Information Systems (CAiSE'09) ,
DOI : 10.1007/978-3-540-75563-0_40
URL : https://hal.archives-ouvertes.fr/inria-00366402
Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994. ,
DOI : 10.1109/LICS.1992.185551
Representation, verification, and computation of timed properties in web service compositions, Proceedings of the IEEE International Conference onWeb Services (ICWS), pp.497-504 ,
Timed modelling and analysis in Web service compositions, First International Conference on Availability, Reliability and Security (ARES'06), pp.840-846 ,
DOI : 10.1109/ARES.2006.134
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, 1997. ,
DOI : 10.1007/s100090050010
Enabling Italian e-government through a cooperative architecture, Computer, vol.34, issue.3, pp.200-201, 2001. ,
DOI : 10.1109/2.901166
A lower bound on web services composition, Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), pp.274-287, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00306329
A new model for web services timed business protocols, Atelier (Conception des systèmes d'information et services Web SIWS-Inforsid), 2006. ,
Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols, the 26th International Conference on Conceptual Modeling (ER), 2007. ,
DOI : 10.1007/978-3-540-75563-0_40
Model based Analysis of Time-aware Web Services Interaction, 2008. ,