fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Model-based Systems Engineering

Export list as BibTeX file


  • 2014 A Pattern-based Approach towards Modular Safety Analysis and Argumentation Maged Khalil, Bernhard Schätz and Sebastian Voss In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, Details BIB
  • 2014 A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain Maged Khalil, Alejandro Prieto and Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 137–151, Springer. Details DOI BIB
  • 2014 Design Space Exploration in AutoFOCUS3 - An Overview Sebastian Voss and Sergey Zverlov In Vladimír Mařík, JoseL. Martinez Lastra and Petr Skobelev, editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, Springer, Details BIB
  • 2014 Practitioners' and Researchers' Expectations on Design Space Exploration for Multicore Systems in the Automotive and Avionics Domains: A Survey Philipp Diebold, Constanza Lampasona, Sergey Zverlov and Sebastian Voss In Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, pages 1:1–1:10, New York, NY, USA, ACM. Details DOI BIB
  • 2014 Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems Sergey Zverlov and Sebastian Voss In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, Details DOI BIB