Liste als BibTeX-Datei exportieren

2017

• September 2017 GSN Support of Mixed-Criticality Systems Certification Carlos-Fernando Nicolas, Fernando Eizaguirre, Asier Larrucea Ortube, Simon Barner, Franck Chauvel, Goiuria Sagardui und Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Seiten 157–172, 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 und Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 Ausgabe, Details URL BIB

2013

• 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss, Bernhard Schätz, Maged Khalil und Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), Springer. Details URL BIB

2011

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

2010

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

2009

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

2008

• 2008 EasyLab: Model-Based Development of Software for Mechatronic Systems Simon Barner, Michael Geisinger, Christian Buckl und Alois Knoll In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Seiten 540–545, Beijing, China, Details DOI BIB