fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: safety

Export list as BibTeX file

2024

  • September 2024 A Failure Model Library for Simulation-based Validation of Functional Safety Tiziano Munaro, Irina Muntean and Alexander Pretschner In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of Lecture Notes in Computer Science, Springer, Cham. Details DOI BIB

2023

2022

2021

  • 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

2019

2018