fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: MbSE

Export list as BibTeX file


  • September 2020 A Safety Case Pattern for Systems with Machine Learning Components Ernest Wozniak, Carmen Cârlan, Esra Acar-Celik and Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12235 of LNCS, pages 370–382, Springer. Details DOI BIB
  • September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe and Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, Springer, Cham. Details DOI BIB
  • August 2020 Generic Analysis of Model Product Lines via Constraint Lifting Andreas Bayha and Vincent Aravantinos arXiv:2008.11427 [cs.SE], Details DOI BIB
  • July 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov and Maged Khalil Software and Systems Modeling, 19():911–934, July 2020. Details DOI BIB
  • 2020 Describing Capabilities of Industrie 4.0 Components Andreas Bayha, Jürgen Bock, Birgit Boss, Christian Diedrich and Somayeh Malakuti German Electrical and Electronics Manufacturers Association, Frankfurt am Main, Germany, ():, 2020. Details URL BIB


  • December 2019 Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective Alexander Perzylo, Julian Grothoff, Levi Lúcio, Michael Weser, Somayeh Malakuti, Pierre Venet, Vincent Aravantinos and Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, December 2019. Details DOI BIB
  • September 2019 Function Blocks for the Interaction with the Asset Administration Shell Tarik Terzimehić, Andreas Bayha and Kirill Dorofeev In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details DOI BIB
  • September 2019 Semantics of Co-simulation Algorithms with Simulator Contracts Cláudio Gomes, Levi Lúcio and Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 784–798, IEEE. Details DOI BIB
  • September 2019 SMT-Based Deployment Calculation in Industrial Automation Domain Tarik Terzimehić, Monika Wenger, Sebastian Voss, Sten Grüner and Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), IEEE. Details DOI BIB
  • September 2019 Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report Tomas Bures, Danny Weyns, Bradley Schmerl, John Fitzgerald, Adina Aniculaesei, Christian Berger, Joao Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan Pettit, Robert Pettit, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss and Edith Zavala SIGSOFT Softw. Eng. Notes, 44(4):11–13, September 2019. Details DOI BIB