Author of the publication

A user study for evaluation of formal verification results and their explanation at Bosch.

, , , and . Empir. Softw. Eng., 28 (5): 125 (October 2023)

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

A Domain Specific Language to Support HAZOP Studies of SysML Models., , , , and . IMBSA, volume 11842 of Lecture Notes in Computer Science, page 47-62. Springer, (2019)Towards Integrating Ontologies into Verification for Autonomous Driving., , and . ISWC (Satellites), volume 2456 of CEUR Workshop Proceedings, page 319-320. CEUR-WS.org, (2019)Explanation of the Model Checker Verification Results.. Humboldt University of Berlin, Germany, (2023)A systematic literature review on counterexample explanation., , , and . Inf. Softw. Technol., (2022)Counterexample Interpretation for Contract-Based Design., , , and . IMBSA, volume 12297 of Lecture Notes in Computer Science, page 99-114. Springer, (2020)A user study for evaluation of formal verification results and their explanation at Bosch., , , and . Empir. Softw. Eng., 28 (5): 125 (October 2023)A systematic literature review on counterexample explanation - Summary., , , and . Software Engineering, volume P-332 of LNI, page 71-72. Gesellschaft für Informatik e.V., (2023)