References

  1. Rajeev Alur & David L. Dill (1990): Automata for modeling real-time systems. In: International Colloquium on Algorithms, Languages, and Programming (ICALP) 1990, LNCS 443. Springer, pp. 322–335, doi:10.1007/BFb0032042.
  2. Rajeev Alur & David L. Dill (1991): The theory of timed automata. In: Real Time: Theory in Practice (REX Workshop), LNCS 600. Springer, pp. 45–73, doi:10.1007/BFb0031987.
  3. Rajeev Alur & David L. Dill (1994): A theory of timed automata. Theoretical Computer Science 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  4. Johan Arcile (2014): Implémentation d'un outil de compilation des spécifications MIRELA vers les automates temporisés au format UPPAAL (XML). Rapport de stage L3. Département Informatique, Université d'Evry, France.
  5. Martin Bauer, Bernd Bruegge, Gudrun Klinker, Asa MacWilliams, Thomas Reicher, Stephan Riss, Christian Sandor & Martin Wagner (2001): Design of a Component-Based Augmented Reality Framework. In: Proceedings of the International Symposium on Augmented Reality (ISAR), doi:10.1109/ISAR.2001.970514.
  6. Mehdi Chouiten, Christophe Domingues, Jean-Yves Didier, Samir Otmane & Malik Mallem (2012): Distributed mixed reality for remote underwater telerobotics exploration. In: Virtual Reality International Conference, VRIC '12. ACM, France, pp. 1:1–1:6, doi:10.1145/2331714.2331716.
  7. Raymond Devillers, Jean-Yves Didier & Hanna Klaudel (2013): Implementing Timed Automata Specifications: The" Sandwich" Approach. In: 13th International Conference on Application of Concurrency to System Design (ACSD), 2013. IEEE, pp. 226–235, doi:10.1109/ACSD.2013.26.
  8. Raymond Devillers, Jean-Yves Didier, Hanna Klaudel & Johan Arcile (2014): Deadlock and Temporal Properties Analysis in Mixed Reality Applications. In: 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. IEEE, pp. 55–65, doi:10.1109/ISSRE.2014.33.
  9. Jean-Yves Didier, Bachir Djafri & Hanna Klaudel (2009): The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. Journal of Virtual Reality and Broadcasting 6(1).
  10. Jean-Yves Didier, Hanna Klaudel, Mathieu Moine & Raymond Devillers (2013): An improved approach to build safer mixed reality systems by analysing time constraints. In: Proceedings of the 5th Joint Virtual Reality Conference.
  11. Christoph Endres, Andreas Butz & Asa MacWilliams (2005): A Survey of Software Infrastructures and Frameworks for Ubiquitous Computing. Mobile Information Systems Journal 1(1), pp. 41–80.
  12. Pablo Figueroa, Walter F Bischof, Pierre Boulanger, H James Hoover & Robyn Taylor (2008): Intml: A dataflow oriented development system for virtual reality applications. Presence: Teleoperators and Virtual Environments 17(5), pp. 492–511, doi:10.1162/pres.17.5.492.
  13. Pablo Figueroa, J Hoover & Pierre Boulanger (2004): Intml concepts. University of Alberta. Computing Science Department, Tech. Rep.
  14. Michael Haller, Jürgen Zauner, Werner Hartmann & Thomas Luckeneder (2003): A generic framework for a training application based on Mixed Reality.. Technical Report. Upper Austria University of Applied Sciences, Hagenberg, Austria.
  15. Charles E Hughes, Christopher B Stapleton, Darin E Hughes & Eileen M Smith (2005): Mixed reality in education, entertainment, and training. Computer Graphics and Applications, IEEE 25(6), pp. 24–30, doi:10.1109/MCG.2005.139.
  16. M. Kwiatkowska, G. Norman & D. Parker (2004): Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. International Journal on Software Tools for Technology Transfer (STTT) 6(2), pp. 128–142, doi:10.1007/s10009-004-0140-2.
  17. Marc Erich Latoschik (2002): Designing transition networks for multimodal VR-interactions using a markup language. In: Proceedings of the 4th IEEE International Conference on Multimodal Interfaces. IEEE Computer Society, pp. 411, doi:10.1109/ICMI.2002.1167030.
  18. David Navarre, Philippe Palanque, Rémi Bastide, Amelie Schyn, Marco Winckler, Luciana P Nedel & Carla MDS Freitas (2005): A formal description of multimodal interaction techniques for immersive virtual reality applications. In: Human-Computer Interaction-INTERACT 2005. Springer, pp. 170–183, doi:10.1007/11555261_17.
  19. Wayne Piekarski & Bruce H. Thomas (2003): An Object-Oriented Software Architecture for 3D Mixed Reality Applications. In: ISMAR '03: Proceedings of the The 2nd IEEE and ACM International Symposium on Mixed and Augmented Reality. IEEE Computer Society, Washington, DC, USA, pp. 247, doi:10.1109/ISMAR.2003.1240708.
  20. Artur Rataj (2013): Translation of probabilistic games in J2TADD. Theoretical and Applied Informatics 25(3/4).
  21. Gerhard Reitmayr & Dieter Schmalstieg (2001): An open software architecture for virtual reality interaction. In: Proceedings of the ACM symposium on Virtual reality software and technology. ACM Press, pp. 47–54, doi:10.1145/505008.505018.
  22. Christian Sandor & Thomas Reicher (2001): CUIML: A Language for the Generation of Multimodal Human-Computer Interfaces. In: Proceedings of the European UIML conference 124.
  23. UPPAAL. http://www.uppaal.org/.
  24. Willem Visser, Klaus Havelund, Guillaume Brat, Seungjoon Park & Flavio Lerda (2003): Model Checking Programs. Automated Software Engineering Journal 10(2), doi:10.1023/A:1022920129859.
  25. Md Tawhid Bin Waez, Jürgen Dingel & Karen Rudie (2011): Timed Automata for the Development of Real-Time Systems. Research Report 2011-579. Queen's University – School of Computing, Canada.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org