Export list as BibTeX file

2013

• 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), 2013. 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, 2013. 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), 2013. 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, November 2012. 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, September 2012. 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, March 2012. 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, February 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, 2012. Details URL BIB

2011

• February 2011 A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study Martin Feilkas , Florian Hölzl , Christian Pfaller , Sabine Rittmann , Bernhard Schätz , Wolfgang Schwitzer , Wassiou Sitou , Maria Spichkova and David Trachtenherz February 2011. Details URL BIB
• 2011 Experience with content-based requirements engineering assessments Sabine Teufl , Maged Khalil , Dongyue Mou and Eva Geisberger In Proceedings of the 19th International Requirements Engineering Conference, pages 345-346, 2011. IEEE. Details DOI BIB
• 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

• November 2010 AutoFocus Tool Chain Florian Hölzl , Maria Spichkova and David Trachtenherz TUM-I1021, November 2010. Details URL BIB
• 2010 AutoFOCUS3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems Florian Hölzl and Martin Feilkas In Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of LNCS, . Springer, Berlin Heidelberg, 2010. Details DOI BIB
• 2010 Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments Manfred Broy , Martin Feilkas , Markus Herrmannsdörfer , Stefano Merenda and Daniel Ratiu Proceedings of the IEEE, 98():526 - 545, 2010. Details DOI BIB