Export list as BibTeX file

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

2017

• 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

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
• 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss , Bernhard Schätz , Maged Khalil and Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB