| 2024 | VECoS | A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees. | Mario Gleirscher, Philip Hnnecke |
| 2021 | FM | Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. | Simon Foster, Jonathan Julin Huerta y Munive, Mario Gleirscher, Georg Struth |
| 2021 | SEAMS | Maintaining driver attentiveness in shared-control autonomous driving. | Radu Calinescu, Naif Alasmari, Mario Gleirscher |
| 2020 | ICECCS | Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. | Simon Foster, Mario Gleirscher, Radu Calinescu |
| 2020 | ICECCS | Safety Controller Synthesis for Collaborative Robots. | Mario Gleirscher, Radu Calinescu |
| 2019 | IFM | Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. | Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly |
| 2019 | SEFM | Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. | Mario Gleirscher, Simon Foster, Yakoub Nemouchi |
| 2017 | GI | Research Challenges for a Future-Proof E/E Architecture - A Project Statement. | Stefan Kugele, Vadim Cebotari, Mario Gleirscher, Morteza Hashemi Farzaneh, Christoph Segler, Sina Shafaei, Hans-Jrg Vgel, Fridolin Bauer, Alois C. Knoll, Diego Marmsoler, Hans-Ulrich Michel |
| 2016 | ICTAC | Specifying Properties of Dynamic Architectures Using Configuration Traces. | Diego Marmsoler, Mario Gleirscher |
| 2014 | RE | A model-based approach to innovation management of automotive control systems. | Mario Gleirscher, Andreas Vogelsang, Steffen Fuhrmann |
| 2011 | ICSE | Hazard-based selection of test cases. | Mario Gleirscher |
| 2011 | ICSR | On the Extent and Nature of Software Reuse in Open Source Java Projects. | Lars Heinemann, Florian Deissenboeck, Mario Gleirscher, Benjamin Hummel, Maximilian Irlbeck |