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, September 2024. 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, March 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, June 2022. 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, February 2022. 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, August 2021. 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), June 2021. 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, February 2021. 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), 2019. 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, March 2018. 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, 2018. Springer. Details DOI BIB

2017

• 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, September 2017. 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, September 2017. Springer. Details DOI BIB
• September 2017 GSN Support of Mixed-Criticality Systems Certification Carlos-Fernando Nicolas , Fernando Eizaguirre , Asier Larrucea Ortube , Simon Barner , Franck Chauvel , Goiuria Sagardui and Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 157–172, September 2017. Springer. Details DOI BIB
• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, June 2017. Details URL BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, 2017. Details DOI BIB

2016

• April 2016 Towards Trusted Apps platforms for open CPS Christian Prehofer , Oliver Horst , Riccardo Dodi , Arjan Geven , George Kornaros , Eleonora Montanari and Michele Paolino In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), pages 23–28, April 2016. Details DOI BIB
• January 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov , Maged Khalil and Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), January 2016. Details URL BIB

2014

• 2014 A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain Maged Khalil , Alejandro Prieto and Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 137–151, 2014. Springer. Details DOI BIB

2013

• May 2013 Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) Tim Kelly , Carmen Cârlan and Sebastian Voss In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), May 2013. Details URL BIB