Author of the publication

Proving Compliance of Implementation Models to Safety Specifications.

, , and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 97-107. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Identification and Quantification of Hazardous Scenarios for Automated Driving., , , , , and . IMBSA, volume 12297 of Lecture Notes in Computer Science, page 163-178. Springer, (2020)Boosting re-use of embedded automotive applications through rich components, , , , , and . Proceedings of Foundations of Interface Technologies, (2005)Model Based Importance Analysis for Minimal Cut Sets., , , and . ATVA, volume 5311 of Lecture Notes in Computer Science, page 303-317. Springer, (2008)Proving Compliance of Implementation Models to Safety Specifications., , and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 97-107. Springer, (2014)On Quantification for SOTIF Validation of Automated Driving Systems., , , , and . IV, page 1-8. IEEE, (2023)Fundamental Considerations around Scenario-Based Testing for Automated Driving., , , , , and . IV, page 121-127. IEEE, (2020)An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System., , , , , , and . ICSRS, page 494-503. IEEE, (2019)Towards a Unified Model-Based Safety Assessment., , , , , and . SAFECOMP, volume 4166 of Lecture Notes in Computer Science, page 275-288. Springer, (2006)A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , ., , and . SAFECOMP, volume 7612 of Lecture Notes in Computer Science, page 37-48. Springer, (2012)Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art., , , , , , , , and . CoRR, (2021)