Liste als BibTeX-Datei exportieren

2024

• September 2024 A Failure Model Library for Simulation-based Validation of Functional Safety Tiziano Munaro, Irina Muntean und Alexander Pretschner In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Band 14988 von 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 und Sergey Tverdyshev SN Computer Science, 4(4):335, April 2023. Details DOI BIB
• März 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 und Pei Ke In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, IEEE. Details DOI BIB

2022

• Juni 2022 Early Assessment of System-Level Safety Mechanisms through Co-Simulation-based Fault Injection Tiziano Munaro und Irina Muntean In 2022 IEEE Intelligent Vehicles Symposium (IV), Seiten 1703-1708, IEEE. Details DOI BIB
• Februar 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 und Sergey Tverdyshev In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Seiten 36–47, SCITEPRESS. Details DOI BIB

2021

• August 2021 Safety Case Maintenance: A Systematic Literature Review Carmen Cârlan, Barbara Gallina und Liana Soima In Proceedings of the 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Band 12852 von LNCS, Seiten 115–129, Springer, Cham. Details DOI BIB
• Juni 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene und 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
• Februar 2021 AI-Blueprint for Deep Neural Networks Ernest Wozniak, Henrik J. Putzer und Carmen Cârlan In Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI '21), Band 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 und Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Details DOI BIB

2018

• März 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ß und Michael Truong Le In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), Seiten 1005–1006, Dresden, Germany, Details DOI BIB