A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
UppaaL Implementation Secrets, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.3-22, 2002. ,
DOI : 10.1007/3-540-45739-9_1
On temporal abstractions of web service protocols, The 17th Conference on Advanced Information Systems Engineering (CAiSE '05). Short Paper Proceedings, 2005. ,
Compatibility and replaceability analysis for timed web service protocols, Proceedings of the 21èmes Journées Bases de Données Avancées (BDA'05), Saint Malo, pp.17-20, 2005. ,
Automatic composition of transition-based semantic web services with messaging, Proceedings of the 31st International Conference on Very Large Data Bases, pp.613-624, 2005. ,
Automatic Composition of E-services That Export Their Behavior, Service-Oriented Computing -ICSOC 2003, First International Conference Proceedings, volume 2910 of Lecture Notes in Computer Science, pp.43-58, 2003. ,
DOI : 10.1007/978-3-540-24593-3_4
Composition of Services with Nondeterministic Observable Behavior, Service-Oriented Computing -ICSOC 2005, Third International Conference (ICSOC), pp.520-526, 2005. ,
DOI : 10.1007/11596141_43
Automated web service composition by on-the-fly belief space search, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006ICAPS), pp.358-361, 2006. ,
Towards Semi-automated Workflow-Based Aggregation of Web Services, Service-Oriented Computing -ICSOC 2005, Third International Conference (ICSOC), pp.214-227, 2005. ,
DOI : 10.1007/11596141_17
Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003. ,
DOI : 10.1145/775152.775210
Specification and verification of data-driven web services, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.71-82, 2004. ,
DOI : 10.1145/1055558.1055571
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), pp.186-205 ,
DOI : 10.1109/AICT-ICIW.2006.53
Timed Interation-aware Web service composition (Wrtiten in French: Etude des Interactions Temporises dans la Composition de Services Web), 2010. ,
Timed Model Checking Based Approach for Web Services Analysis, 2009 IEEE International Conference on Web Services, 2009. ,
DOI : 10.1109/ICWS.2009.42
URL : https://hal.archives-ouvertes.fr/inria-00366404
Timed Properties-Aware Asynchronous Web Service Composition, Proceedings of the 16 th 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
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
Timed Conversational Protocol Based Approach for Web Services Analysis, Proceedings of the 8 th International Conference on Service Oriented Computing (ICSOC'10), 2010. ,
DOI : 10.1007/978-3-540-75563-0_40
URL : https://hal.archives-ouvertes.fr/inria-00526372
Conceptual Modeling of Privacy-Aware Web Service Protocols, Proceedings of the 19 th International Conference on Advanced Information Systems Engineering (CAiSE'07), pp.233-248, 2007. ,
DOI : 10.1007/978-3-540-72988-4_17
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
E-services, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '03, pp.1-14, 2003. ,
DOI : 10.1145/773153.773154
Representation, verification, and computation of timed properties in web service compositions, Proceedings of the IEEE International Conference on Web Services (ICWS), pp.497-504, 2006. ,
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, 1997. ,
DOI : 10.1007/s100090050010
Adapting golog for composition of semantic web services, Proceedings of the 8 th International Conference on Principles and Knowledge Representation and Reasoning (KR'02), pp.482-496, 2002. ,
Enabling Italian e-government through a cooperative architecture, Computer, vol.34, issue.3, pp.40-45, 2001. ,
DOI : 10.1109/2.901166
Access control enforcement for conversation-based web services, Proceedings of the 15th international conference on World Wide Web , WWW '06, 2006. ,
DOI : 10.1145/1135777.1135818
Composing Web services on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, pp.333-351, 2003. ,
DOI : 10.1007/s00778-003-0101-5
Efficient Semantic Service Discovery in Pervasive Computing Environments, 7th International Middleware ConferenceMiddleware), pp.240-259, 2006. ,
DOI : 10.1007/11751113_10
URL : https://hal.archives-ouvertes.fr/inria-00415115
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
Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002. ,
DOI : 10.1145/511446.511457
Composing Time-Aware Web Service Orchestrations, Proceedings of the 21 st International Conference on Advanced Information Systems Engineering (CAiSE'09), pp.349-363, 2009. ,
DOI : 10.1007/3-540-60738-2_15
Automated composition of web services by planning at the knowledge level, IJCAI, pp.1252-1259, 2005. ,
Automated synthesis of composite BPEL4WS Web services, IEEE International Conference on Web Services (ICWS'05), pp.293-301, 2005. ,
DOI : 10.1109/ICWS.2005.27
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
Web Service Composition Via Generic Procedures and Customizing User Preferences, International Semantic Web Conference, pp.597-611, 2006. ,
DOI : 10.1007/11926078_43
A view integration approach to dynamic composition of web services, Proceeding of 2003 ICAPS Workshop on Planning for Web Services, 2003. ,
A data integration approach to automatically composing and optimizing web services, Proceedings of the 2nd ICAPS International Workshop on Planning and Scheduling for Web and Grid Services, 2004. ,
Dynamically composing web services from on-line sources, Proceeding of the AAAI Workshop on Intelligent Service Integration, pp.1-7, 2002. ,