Export list as BibTeX file

2013

• 2013 Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach Paul Pop, Leonidas Tsiopoulos, Sebastian Voss, Oscar Slotosch, Christoph Ficek, Ulrik Nyman and Alejandra Ruiz Lopez In Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE), Details URL BIB
• 2013 MIRA: A Tooling-Framework to Experiment with Model-Based Requirements Engineering Sabine Teufl, Dongyue Mou and Daniel Ratiu In Proceedings of the 21st IEEE International Requirements Engineering Conference (RE), Details DOI BIB
• 2013 Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal Maged Khalil In Software Engineering (Workshops), pages 493–499, Details URL 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), Springer. Details URL BIB

2012

• November 2012 Towards Certified Runtime Verification Jan Olaf Blech, Yliès Falcone and Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, ACM. Details DOI BIB
• September 2012 Binding requirements and component architecture by using model-based test-driven development Dongyue Mou and Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pages 27–30, Details DOI BIB
• April 2012 Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger and Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pages 224, Details DOI BIB
• March 2012 Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool Jan Olaf Blech, Dongyue Mou and Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), pages 13–27, Tallinn, Estonia, Details DOI BIB
• February 2012 Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories Sebastian Voss and Bernhard Schätz In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, Details URL BIB
• 2012 SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern Klaus Becker, Christian Buckl, Alexander Camek, Reiner Falk, Ludger Fiege, Jürgen Gessner and Stephan Sommer In Automotive - Safety & Security, Details URL BIB