fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: CAT

Export list as BibTeX file

2014

  • 2014 Detecting Performance Change in Enterprise Application Versions Using Resource Profiles Andreas Brunnert and Helmut Krcmar In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, pages 165 - 172, ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Details URL DOI BIB

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

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