Automata for modeling real-time systems, International Colloquium on Algorithms, Languages, and Programming (ICALP) 1990, vol.443, pp.322-335, 1990. ,
The theory of timed automata, Real Time: Theory in Practice (REX Workshop), vol.600, pp.45-73, 1991. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, 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, 13th International Conference on Application of Concurrency to System Design (ACSD), pp.226-235, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00841771
Deadlock and Temporal Properties Analysis in Mixed Reality Applications, 25th IEEE International Symposium on Software Reliability Engineering, pp.55-65, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01150615
The MIRELA framework: modeling and analyzing mixed reality applications using timed automata, Journal of Virtual Reality and Broadcasting, vol.6, issue.1, 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, 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.
, , 2004.
A generic framework for a training application based on Mixed Reality, 2003. ,
Mixed reality in education, entertainment, and training. Computer Graphics and Applications, IEEE, vol.25, issue.6, pp.24-30, 2005. ,
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach, International Journal on Software Tools for Technology Transfer (STTT), vol.6, issue.2, pp.128-142, 2004. ,
Designing transition networks for multimodal VR-interactions using a markup language, Proceedings of the 4th IEEE International Conference on Multimodal Interfaces, p.411, 2002. ,
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. ,
Translation of probabilistic games in J2TADD, Theoretical and Applied Informatics, vol.25, issue.3/4, 2013. ,
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, p.124, 2001. ,
, Model Checking Programs, vol.10, 2003.
, Timed Automata for the Development of Real-Time Systems, 2011.