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

• April 2023 A Toolchain for Synthesizing and Validating Safety Architectures Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp and Sergey Tverdyshev SN Computer Science, 4(4):335, April 2023. Details DOI BIB
• March 2023 Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform Tarik Terzimehić, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam and Pei Ke In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, IEEE. Details DOI BIB

2022

• June 2022 Early Assessment of System-Level Safety Mechanisms through Co-Simulation-based Fault Injection Tiziano Munaro and Irina Muntean In 2022 IEEE Intelligent Vehicles Symposium (IV), pages 1703-1708, IEEE. Details DOI BIB
• February 2022 A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp and Sergey Tverdyshev In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 36–47, SCITEPRESS. Details DOI BIB

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

• 2019 ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models Vivek Nigam, Alexandros Tsalidis, Sebastian Voss and Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Details DOI BIB

2018

• 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