fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2013

2012

  • November 2012 Implementation of an event-based low-level control for mobile robots Gottfried Koppensteiner , Christian Schwingenschlögl , Munir Merdan and Alois Zoitl In Mechatronics and Machine Vision in Practice (M2VIP), 2012 19th International Conference, pages 135-140, November 2012. Details URL BIB
  • November 2012 Towards Certified Runtime Verification Jan Olaf Blech , Yliès Falcone and Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 2012. ACM. Details DOI BIB
  • October 2012 A Generic Approach Simplifying Model-to-Model Transformation Chains Gerd Kainz , Christian Buckl and Alois Knoll In Robert France , Jürgen Kazmeier , Ruth Breu and Colin Atkinson , editor, Model Driven Engineering Languages and Systems, volume 7590 of Lecture Notes in Computer Science, pages 579–594. Springer-Verlag, Berlin / Heidelberg, Germany, October 2012. Details DOI BIB