fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: CAT

Liste als BibTeX-Datei exportieren

2013

  • April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss und Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), Seiten 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 und Helmut Krcmar In MariaSimonetta Balsamo, William J. Knottenbelt und Andrea Marin, Editor, Computer Performance Engineering, 10th European Workshop on Performance Engineering, Band 8168 von Lecture Notes in Computer Science, Seiten 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 und 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 und Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), Seiten 27–30, Details DOI 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

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