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, 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 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, März 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, Juni 2022. 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, Februar 2022. 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, August 2021. 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), Juni 2021. 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, Februar 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 und Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. 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, März 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 und Ruth Breu In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), Band 11093 von Lecture Notes in Computer Science, Seiten 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 und Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), Seiten 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 und Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Band 10489 von LNCS, Seiten 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 und Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Seiten 157–172, September 2017. Springer. Details DOI BIB
• Juni 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, Juni 2017. Details URL BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 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 und Michele Paolino In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), Seiten 23–28, April 2016. Details DOI BIB
• Januar 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov , Maged Khalil und Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Januar 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 und Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Band 8822 von LNCS, Seiten 137–151, 2014. Springer. Details DOI BIB

2013

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