Export list as BibTeX file

2013

• April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss and Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), pages 100–109, Phoenix, AZ, USA, IEEE. Details DOI BIB
• 2013 Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications Andreas Brunnert, Christian Vögele and Helmut Krcmar In MariaSimonetta Balsamo, William J. Knottenbelt and Andrea Marin, editor, Computer Performance Engineering, 10th European Workshop on Performance Engineering, volume 8168 of Lecture Notes in Computer Science, pages 74-88. Springer Berlin Heidelberg, Details DOI 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

• 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

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, Details BIB

2010

• November 2010 AutoFocus Tool Chain Florian Hölzl, Maria Spichkova and David Trachtenherz TUM-I1021, Details URL 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, Springer. Details DOI BIB