fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: safety

Export list as BibTeX file



  • August 2021 Safety Case Maintenance: A Systematic Literature Review Carmen Cârlan, Barbara Gallina and Liana Soima In Proceedings of the 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 12852 of LNCS, pages 115–129, Springer, Cham. Details DOI BIB
  • June 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene and Carmen Cârlan In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), IEEE. Details DOI BIB
  • February 2021 AI-Blueprint for Deep Neural Networks Ernest Wozniak, Henrik J. Putzer and Carmen Cârlan In Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI '21), volume 2808, CEUR. Details URL BIB



  • March 2018 Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives Chih-Hong Cheng, Frederik Diehl, Gereon Michael Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Rueß and Michael Truong Le In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1005–1006, Dresden, Germany, Details DOI BIB
  • 2018 Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry Michael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan and Ruth Breu In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), volume 11093 of Lecture Notes in Computer Science, pages 157–171, Springer. Details DOI BIB


  • September 2017 DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems Simon Barner, Alexander Diewald, Jörn Migge, Ali Abbas Jaffari Syed, Gerhard Fohler, Madeleine Faugère and Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, IEEE. Details DOI BIB
  • September 2017 ExplicitCase: Integrated Model-based Development of System and Safety Cases Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis and Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, Springer. Details DOI BIB