A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science, vol.211, issue.1-2, pp.1-13, 1999. ,
DOI : 10.1016/S0304-3975(97)00173-4
Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002. ,
DOI : 10.1145/585265.585270
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5461
Alternating refinement relations, Proceedings of the 9th International Conference on Concurrency Theory (CONCUR'98), volume 1466 of Lecture Notes in Computer Science, pp.163-178, 1998. ,
DOI : 10.1007/BFb0055622
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1421
20 years of modal and mixed specifications, Bulletin of European Association of Theoretical Computer Science, vol.1, issue.94, 2008. ,
Metric interpretations of infinite trees and semantics of non deterministic recursive programs, Theoretical Computer Science, vol.11, issue.2, pp.181-205, 1980. ,
DOI : 10.1016/0304-3975(80)90045-6
Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.303, issue.1, pp.7-34, 2003. ,
DOI : 10.1016/S0304-3975(02)00442-5
Refinement and Consistency of Timed Modal Specifications, Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), pp.152-163, 2009. ,
DOI : 10.1007/3-540-56922-7_21
URL : https://hal.archives-ouvertes.fr/inria-00424283
Timed modal specification -theory and tools, Proceedings of the 5th International Conference on Computer Aided Verification (CAV'93), pp.253-267, 1993. ,
Playing Games with Timed Games, Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), 2009. ,
DOI : 10.3182/20090916-3-ES-3003.00042
URL : https://hal.archives-ouvertes.fr/hal-00772637
Interface automata, Proceedings of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'01), pp.109-120, 2001. ,
Timed Interfaces, Proceedings of the 2nd International Workshop on Embedded Software (EMSOFT'02), volume 2491 of Lecture Notes in Computer Science, pp.108-122, 2002. ,
DOI : 10.1007/3-540-45828-X_9
Interface theories with component reuse, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.79-88, 2008. ,
DOI : 10.1145/1450058.1450070
Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dynamic Systems, vol.77, issue.4, pp.181-205, 2007. ,
DOI : 10.1007/s10626-006-0008-6
URL : https://hal.archives-ouvertes.fr/inria-00555754
The embedded systems design challenge, Proceedings of the 14th International Symposium on Formal Methods (FM'06), pp.1-15, 2006. ,
On the complexity of equation solving in process algebra, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91), pp.381-396, 1991. ,
DOI : 10.1007/3-540-53982-4_21
Modal specifications, Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, pp.232-246, 1989. ,
Modal I/O Automata for Interface and Product Line Theories, Proceedings of the 16th European Symposium on Programming, pp.64-79, 2007. ,
DOI : 10.1007/978-3-540-71316-6_6
On Modal Refinement and Consistency, Proceedings of the 18th International Conference on Concurrency Theory, pp.105-119, 2007. ,
DOI : 10.1007/978-3-540-74407-8_8
URL : http://vbn.aau.dk/ws/files/16110003/CONCUR2007withappendix.pdf
An introduction to Input/Output automata . CWI-quarterly, 1989. ,
Quotient de spécifications pour la réutilisation de composants, 2007. ,
Residual for Component Specifications, Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), 2007. ,
DOI : 10.1016/j.entcs.2008.06.023
URL : https://hal.archives-ouvertes.fr/inria-00141898
Why Are Modalities Good for Interface Theories?, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.199-127, 2009. ,
DOI : 10.1109/ACSD.2009.22
URL : https://hal.archives-ouvertes.fr/inria-00389051
INRIA Centre de recherche INRIA Rennes ? Bretagne Atlantique IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Centre de recherche INRIA Futurs : Parc Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex Centre de recherche INRIA Nancy ? Grand Est : LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex Centre de recherche INRIA Grenoble ? Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier Centre de recherche INRIA Paris ? Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex Centre de recherche, BP 105 -78153 Le Chesnay Cedex (France) ØØÔÔ»»ÛÛÛººÒÖÖÖººÖ, 2004. ,