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, issue.2, pp.183-235, 1994. ,
Analysis of real-time properties of mixed reality applications, 2015. ,
Indefinite waitings in mirela systems, Engineering Safety and Security Systems (ESSS 2015), workshop of the 20th International Symposium on Formal Methods, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01230054
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 2013), pp.226-235, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00841771
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. ,
, Intml: A dataflow oriented development system for virtual reality applications. Presence: Teleoperators and Virtual Environments, vol.17, pp.492-511, 2008.
, , 2004.
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. ,
Implementation tool of timed automata specifications, 2013. ,
Freitas. A formal description of multimodal interaction techniques for immersive virtual reality applications, Human-Computer Interaction-INTERACT 2005, pp.170-183, 2005. ,
A translator of java programs to tadds, Fundam. Inform, vol.93, issue.1-3, pp.305-324, 2009. ,
Cuiml: A language for the generation of multimodal humancomputer interfaces, Proceedings of the European UIML conference, vol.124, 2001. ,
, Uppaal
Timed automata for the development of real-time systems, Canada, 2011. ,