fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2011

  • October 2011 Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation Gerd Kainz, Christian Buckl and Alois Knoll In Jon Whittle, Tony Clark and Thomas Kühne, editor, Model Driven Engineering Languages and Systems, volume 6981 of Lecture Notes in Computer Science, pages 17–31. Springer-Verlag, Berlin / Heidelberg, Germany, Details DOI BIB
  • September 2011 Caliper: A Universal Robot Simulation Framework for Tendon-Driven Robots Steffen Wittmeier, Michael Jäntsch, Konstantinos Dalamagkidis, Markus Rickert, Hugo Gravato Marques and Alois Knoll In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 1063–1068, San Francisco, CA, USA, Details DOI BIB
  • July 2011 Model Checking Industrial Robot Systems Markus Weißmann, Stefan Bedenk, Christian Buckl and Alois Knoll In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), pages 161–176, Springer-Verlag. Details URL DOI BIB
  • June 2011 Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel Dominik Sojer, Christian Buckl and Alois Knoll In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session, Details DOI BIB
  • April 2011 Multifunk: Self-Organizing Sensor Networks for Industrial Process Monitoring Gokul Balakrishnan, Michael Geisinger and Christian Buckl In Jian-Jia Chen, editor, Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), Work-in-Progress Session, pages 57–60, Details URL BIB
  • April 2011 Distance-Weighted Kalman Fusion for Precise Docking Problems Claus Lenz, Thorsten Röder, Markus Rickert and Alois Knoll In Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud and Driss Mammass, editor, Proceedings of the International Conference on Mobile Robots and Competitions, Lisbon, Portugal, Details BIB
  • February 2011 A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study Martin Feilkas, Florian Hölzl, Christian Pfaller, Sabine Rittmann, Bernhard Schätz, Wolfgang Schwitzer, Wassiou Sitou, Maria Spichkova and David Trachtenherz Details URL BIB
  • February 2011 Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen Simon Barner, Andreas Raabe, Christian Buckl and Alois Knoll In Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, pages 31-40, Details URL BIB
  • February 2011 Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems Jia Huang, Christian Buckl, Andreas Raabe and Alois Knoll In 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing(PDP), Ayia Napa, Cyprus, Details URL DOI BIB
  • January 2011 Model-Based Analysis and Development of Dependable Systems Christian Buckl, Alois Knoll, Ina Schieferdecker and Justyna Zander In Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000, Springer. Details URL DOI BIB