Wissenschaftliche Publikationen
2021
- Safety Case Maintenance: A Systematic Literature Review 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
- CyberGSN: A Semi-formal Language for Specifying Safety Cases In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2021. IEEE. Details DOI BIB
- AI-Blueprint for Deep Neural Networks In Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI '21), volume 2808, February 2021. CEUR. Details URL BIB
2019
- ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
2017
- ExplicitCase: Integrated Model-based Development of System and Safety Cases 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
- A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain 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
- Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), May 2013. Details URL BIB
- Towards Modular Certification using Integrated Model-Based Safety Cases In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB