Export list as BibTeX file

2017

• September 2017 GSN Support of Mixed-Criticality Systems Certification Carlos-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, September 2017. Springer. Details DOI BIB

2015

• 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos , Sebastian Voss , Sabine Teufl , Florian Hölzl and Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB

2013

• 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

2011

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

2010

• October 2010 Model-Based Specification of Timing Requirements Christian Buckl , Irina Gaponova , Michael Geisinger , Alois Knoll and Edward A. Lee In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. Details URL DOI BIB

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

• 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