fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: AR

Export list as BibTeX file

2014

2013

  • April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss and Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), pages 100–109, Phoenix, AZ, USA, April 2013. IEEE. Details DOI BIB
  • 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss , Bernhard Schätz , Maged Khalil and Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB

2012

2010

2009

  • June 2009 A Software Architecture for Model-Based Programming of Robot Systems Michael Geisinger , Simon Barner , Martin Wojtczyk and Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, pages 135–146, June 2009. Springer. Details DOI BIB

2008

  • August 2008 Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLab Martin Wojtczyk , Simon Barner , Michael Geisinger and Alois Knoll In Proceedings of the 8th International Conference on Solid State Lighting: Applications, SPIE Optics and Photonics, Illumination Engineering, August 2008. Details DOI BIB
  • 2008 EasyLab: Model-Based Development of Software for Mechatronic Systems Simon Barner , Michael Geisinger , Christian Buckl and Alois Knoll In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 540–545, Beijing, China, 2008. Details DOI BIB
  • 2008 Accelerating Integral Histograms Using an Adaptive Approach Thomas Müller , Claus Lenz , Simon Barner and Alois Knoll In Abderrahim Elmoataz , Olivier Lezoray , Fathallah Nouboud and Driss Mammass , editor, Image and Signal Processing, volume 5099 of LNCS, pages 209–217. Springer, Berlin Heidelberg, 2008. Details DOI BIB