Publikationen
Liste als BibTeX-Datei exportieren
- 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), Seiten 36–47, Februar 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, Band 170, Februar 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), Band 12852 von LNCS, Seiten 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), Juni 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), Band 2808, Februar 2021. CEUR. Details URL BIB
- Architectures for Flexible Collaborative Systems Springer International Publishing, Dezember 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, Oktober 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), Band 12234 von LNCS, Seiten 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), Band 12235 von LNCS, Seiten 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), Band 11093 von Lecture Notes in Computer Science, Seiten 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, Band 10489 von LNCS, Seiten 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), Seiten 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), Band 10488 von LNCS, Seiten 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), Seiten 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), Band 9923 von LNCS, Seiten 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), Mai 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