Automata for modeling real-time systems, International Colloquium on Algorithms, Languages, and Programming (ICALP), vol.443, pp.322-335, 1990. ,
The theory of timed automata, Real Time: Theory in Practice, vol.600, pp.45-73, 1991. ,
A theory of timed automata, Theoretical Computer Science, vol.126, pp.183-235, 1994. ,
Implémentation d'un outil de compilation des spécifications MIRELA vers les automates temporisés au format UPPAAL (XML), 2014. ,
Design of a component-based augmented reality framework, Proceedings of the International Symposium on Augmented Reality (ISAR), 2001. ,
Distributed mixed reality for remote underwater telerobotics exploration, Virtual Reality International Conference, VRIC '12, vol.1, pp.1-1, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00675319
Implementing timed automata specifications: The" sandwich" approach, Application of Concurrency to System Design (ACSD), 2013 13th International Conference on. IEEE, pp.226-235, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00841771
The MIRELA framework: modeling and analyzing mixed reality applications using timed automata, In Journal of Virtual Reality and Broadcasting, vol.6, issue.1, pp.9-15, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00339454
An improved approach to build safer mixed reality systems by analysing time constraints, Proceedings of the 5th Joint Virtual Reality Conference, 2013. ,
A survey of software infrastructures and frameworks for ubiquitous computing, In Mobile Information Systems Journal, vol.1, issue.1, pp.41-80, 2005. ,
Intml: A dataflow oriented development system for virtual reality applications, Presence: Teleoperators and Virtual Environments, vol.17, pp.492-511, 2008. ,
Intml concepts, 2004. ,
A generic framework for a training application based on mixed reality, 2003. ,
Mixed reality in education, entertainment, and training, Computer Graphics and Applications, vol.25, issue.6, pp.24-30, 2005. ,
Designing transition networks for multimodal vrinteractions using a markup language, Proceedings of the 4th IEEE International Conference on Multimodal Interfaces, p.411, 2002. ,
Implementation tool of timed automata specifications, 2013. ,
A formal description of multimodal interaction techniques for immersive virtual reality applications, Human-Computer Interaction-INTERACT 2005, pp.170-183, 2005. ,
An object-oriented software architecture for 3D mixed reality applications, ISMAR '03: Proceedings of the The 2nd IEEE and ACM International Symposium on Mixed and Augmented Reality, p.247, 2003. ,
An open software architecture for virtual reality interaction, Proceedings of the ACM symposium on Virtual reality software and technology, pp.47-54, 2001. ,
Cuiml: A language for the generation of multimodal human-computer interfaces, Proceedings of the European UIML conference, vol.124, 2001. ,
, Uppaal
Timed automata for the development of real-time systems, Canada, 2011. ,