![[Translate to English:]](/fileadmin/_processed_/a/e/csm_fortiss-publikationen-header_1e9ee64f16.png)
Publications
- A Toolchain for Synthesizing and Validating Safety Architectures SN Computer Science, 4(4):335, April 2023. Details DOI BIB
- A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 36–47, February 2022. SCITEPRESS. Details DOI BIB
- Design-time Specification of Dynamic Modular Safety Cases in Support of Run-Time Safety Assessment In Proceedings of the Thirtieth Safety-Critical Systems Symposium, volume 170, February 2022. SCSC. Details URL BIB
- 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
- FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Domain-Specific Languages in Practice, ():131–164, April 2021. 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
- Architectures for Flexible Collaborative Systems Springer International Publishing, December 2020. Details DOI BIB
- Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), November 2020. Details DOI BIB
- Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, October 2020. IEEE. Details URL BIB
- FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12234 of LNCS, pages 298–306, September 2020. Springer. Details DOI BIB
- A Safety Case Pattern for Systems with Machine Learning Components In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12235 of LNCS, pages 370–382, September 2020. Springer. Details DOI BIB
- 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
- On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
- Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry 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
- 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
- Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), pages 53–60, 2017. IEEE. Details DOI BIB
- Arguing on Software-Level Verification Techniques Appropriateness In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 10488 of LNCS, pages 39–54, Cham, 2017. Springer International Publishing. Details DOI BIB
- Living Safety Arguments for Open Systems In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017. IEEE. Details DOI BIB
- Integrated Formal Methods for Constructing Assurance Cases In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, 2016. IEEE. Details DOI BIB
- On Using Results of Code-level Bounded Model Checking in Assurance In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS, pages 30-42, 2016. Springer. Details DOI BIB
- Safety Case Driven Model-Based Systems Construction In Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015), April 2015. Details URL BIB
- 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