fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Model-based Development

Export list as BibTeX file

2017

  • September 2017GSN Support of Mixed-Criticality Systems CertificationCarlos-Fernando Nicolas, Fernando Eizaguirre, Asier Larrucea Ortube, Simon Barner, Franck Chauvel, Goiuria Sagardui and Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 157–172, Springer. DetailsDOIBIB

2015

2013

2011

  • 2011User-friendly Model Checking Integration in Model-based DevelopmentAlarico Campetelli, Florian Hölzl and Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, DetailsBIB

2010

2009

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

2008