( en | de | ru )

 

Disambiguierung von "Gleirscher, Mario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Qualification of proof assistants, checkers, and generators: Where are we and what next?

, , und . Sci. Comput. Program., (März 2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Simone Marion

Ernst Marioth-Wirtz

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

Weitere Publikationen von Autoren mit dem selben Namen

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM., , , , und . Formal Aspects Comput., 33 (6): 855-884 (2021)Safety Controller Synthesis for Collaborative Robots., und . ICECCS, Seite 83-92. IEEE, (2020)Hazard-based selection of test cases.. AST, Seite 64-70. ACM, (2011)Maintaining driver attentiveness in shared-control autonomous driving., , und . SEAMS@ICSE, Seite 90-96. IEEE, (2021)Qualification of proof assistants, checkers, and generators: Where are we and what next?, , und . Sci. Comput. Program., (März 2023)From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case., und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 310-326. (2017)Evolution of Formal Model-Based Assurance Cases for Autonomous Robots., , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 87-104. Springer, (2019)Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains., , und . FTSCS, Seite 26-36. ACM, (2023)Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs., , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 367-386. Springer, (2021)Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles., , und . ICECCS, Seite 113-118. IEEE, (2020)