( en | de | ru )

 

Disambiguation of "Gleirscher, Mario"

Author of the publication

copydeleteadd this publication to your clipboard
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case.

, and . NFM, volume 10227 of Lecture Notes in Computer Science, page 310-326. (2017)

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.

Simone Marion

Ernst Marioth-Wirtz

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

Other publications of authors with the same name

Hazard-based selection of test cases.. AST, page 64-70. ACM, (2011)Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM., , , , and . Formal Aspects Comput., 33 (6): 855-884 (2021)Safety Controller Synthesis for Collaborative Robots., and . ICECCS, page 83-92. IEEE, (2020)Qualification of proof assistants, checkers, and generators: Where are we and what next?, , and . Sci. Comput. Program., (March 2023)Maintaining driver attentiveness in shared-control autonomous driving., , and . SEAMS@ICSE, page 90-96. IEEE, (2021)Evolution of Formal Model-Based Assurance Cases for Autonomous Robots., , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 87-104. Springer, (2019)From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case., and . NFM, volume 10227 of Lecture Notes in Computer Science, page 310-326. (2017)Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles., , and . ICECCS, page 113-118. IEEE, (2020)Risk Mitigation Strategies in High Automation.. SE/SWM, volume P-292 of LNI, page 55-56. GI, (2019)Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains., , and . FTSCS, page 26-36. ACM, (2023)