Does Every Computer Scientist Need to Know Formal Methods? - Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra; Platzer, André; Ringert, Jan Oliver; Sullivan, Allison (Formal Aspects Comput., 2025)

Solvability of Approximate Reach-Avoid Games. - Gleirscher, Mario (CoRR, 2025)

A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees. - Gleirscher, Mario; Hönnecke, Philip (CoRR, 2025)

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. - Munive, Jonathan Julián Huerta y; Foster, Simon; Gleirscher, Mario; Struth, Georg; Laursen, Christian Pardillo; Hickman, Thomas (J. Autom. Reason., 2024)

How Deduction Systems Can Help You To Verify Stability Properties. - Gleirscher, Mario; Massoud, Rehab; Hutter, Dieter; Lüth, Christoph (2024)

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study. - Schnittka, Till; Gleirscher, Mario (2024)

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks. - Peleska, Jan; Brüning, Felix; Gleirscher, Mario; Huang, Wen-ling (CoRR, 2024)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. - Munive, Jonathan Julián Huerta y; Foster, Simon; Gleirscher, Mario; Struth, Georg; Laursen, Christian Pardillo; Hickman, Thomas (CoRR, 2024)

How Deduction Systems Can Help You To Verify Stability Properties. - Gleirscher, Mario; Massoud, Rehab; Hutter, Dieter; Lüth, Christoph (CoRR, 2024)

Qualification of proof assistants, checkers, and generators: Where are we and what next? - Gleirscher, Mario; Sachtleben, Robert; Peleska, Jan (Sci. Comput. Program., 2023)

A manifesto for applicable formal methods. - Gleirscher, Mario; Pol, Jaco van de; Woodcock, Jim (Softw. Syst. Model., 2023)

Supervision of Intelligent Systems: An Overview. - Gleirscher, Mario (2023)

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. - Gleirscher, Mario; Haxthausen, Anne E.; Peleska, Jan (2023)

Complete Property-Oriented Module Testing. - Brüning, Felix; Gleirscher, Mario; Huang, Wen-ling; Krafczyk, Niklas; Peleska, Jan; Sachtleben, Robert (2023)

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023. (2023)

Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next? - Gleirscher, Mario; Sachtleben, Robert; Peleska, Jan (CoRR, 2023)

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. - Gleirscher, Mario; Haxthausen, Anne E.; Peleska, Jan (CoRR, 2023)

Wie geht es dem akademischen Mittelbau? - Gleirscher, Mario; Lenk, Kerstin; Loebel, Jens-Martin; Petersen, Tom; Wagner, Johannes (Inform. Spektrum, 2022)

Verified synthesis of optimal safety controllers for human-robot collaboration. - Gleirscher, Mario; Calinescu, Radu; Douthwaite, James A.; Lesage, Benjamin; Paterson, Colin; Aitken, Jonathan M.; Alexander, Rob; Law, James (Sci. Comput. Program., 2022)

Sound Development of Safety Supervisors. - Gleirscher, Mario; Plecher, Lukas; Peleska, Jan (CoRR, 2022)

RiskStructures: A design algebra for risk-aware machines. - Gleirscher, Mario; Calinescu, Radu; Woodcock, Jim (Formal Aspects Comput., 2021)

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. - Foster, Simon; Nemouchi, Yakoub; Gleirscher, Mario; Wei, Ran; Kelly, Tim (Formal Aspects Comput., 2021)

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. - Douthwaite, James A.; Lesage, Benjamin; Gleirscher, Mario; Calinescu, Radu; Aitken, Jonathan M.; Alexander, Rob; Law, James (Frontiers Robotics AI, 2021)

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. - Foster, Simon; Munive, Jonathan Julián Huerta y; Gleirscher, Mario; Struth, Georg (2021)

Maintaining driver attentiveness in shared-control autonomous driving. - Calinescu, Radu; Alasmari, Naif; Gleirscher, Mario (2021)

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. - Gleirscher, Mario; Peleska, Jan (2021)

Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. (2021)

Maintaining driver attentiveness in shared-control autonomous driving. - Calinescu, Radu; Alasmari, Naif; Gleirscher, Mario (CoRR, 2021)

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. - Foster, Simon; Munive, Jonathan Julián Huerta y; Gleirscher, Mario; Struth, Georg (CoRR, 2021)

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. - Gleirscher, Mario; Calinescu, Radu; Douthwaite, James A.; Lesage, Benjamin; Paterson, Colin; Aitken, Jonathan M.; Alexander, Rob; Law, James (CoRR, 2021)

A Manifesto for Applicable Formal Methods. - Gleirscher, Mario; Pol, Jaco van de; Woodcock, Jim (CoRR, 2021)

New Opportunities for Integrated Formal Methods. - Gleirscher, Mario; Foster, Simon; Woodcock, Jim (ACM Comput. Surv., 2020)

Formal methods in dependable systems engineering: a survey of professionals from Europe and North America. - Gleirscher, Mario; Marmsoler, Diego (Empir. Softw. Eng., 2020)

Lage und Zukunft des wissenschaftlichen Nachwuchses. - Lenk, Kerstin; Gleirscher, Mario; Nestler, Simon; Rödiger, Stefan; Petersen, Tom; Loebel, Jens-Martin (Inform. Spektrum, 2020)

Safety Controller Synthesis for Collaborative Robots. - Gleirscher, Mario; Calinescu, Radu (2020)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. - Foster, Simon; Gleirscher, Mario; Calinescu, Radu (2020)

YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments. - Gleirscher, Mario (2020)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. - Foster, Simon; Gleirscher, Mario; Calinescu, Radu (CoRR, 2020)

Safety Controller Synthesis for Collaborative Robots. - Gleirscher, Mario; Calinescu, Radu (CoRR, 2020)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. - Gleirscher, Mario; Johnson, Nikita; Karachristou, Panayiotis; Calinescu, Radu; Law, James; Clark, John A. (CoRR, 2020)

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. - Foster, Simon; Nemouchi, Yakoub; Gleirscher, Mario; Wei, Ran; Kelly, Tim (CoRR, 2020)

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. - Nemouchi, Yakoub; Foster, Simon; Gleirscher, Mario; Kelly, Tim (2019)

Risk Mitigation Strategies in High Automation. - Gleirscher, Mario (2019)

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. - Gleirscher, Mario; Foster, Simon; Nemouchi, Yakoub (2019)

Assurance of System Safety: A Survey of Design and Argument Patterns. - Gleirscher, Mario; Kugele, Stefan (CoRR, 2019)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems. - Gleirscher, Mario (CoRR, 2019)

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. - Nemouchi, Yakoub; Foster, Simon; Gleirscher, Mario; Kelly, Tim (CoRR, 2019)

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). - Gleirscher, Mario; Haxthausen, Anne E.; Leucker, Martin; Linker, Sven (Dagstuhl Reports, 2019)

SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. - Gleirscher, Mario; Kugele, Stefan; Linker, Sven (ACM SIGSOFT Softw. Eng. Notes, 2018)

SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. - Gleirscher, Mario; Kugele, Stefan; Linker, Sven (ACM SIGSOFT Softw. Eng. Notes, 2018)

Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018. (2018)

From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case. - Gleirscher, Mario; Kugele, Stefan (CoRR, 2018)

SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. - Gleirscher, Mario; Linker, Sven; Kugele, Stefan (CoRR, 2018)

Safety Practice and its Practitioners: Exploring a Diverse Profession. - Gleirscher, Mario; Nyokabi, Anne (CoRR, 2018)

Formal Methods: Oversold? Underused? A Survey. - Gleirscher, Mario; Marmsoler, Diego (CoRR, 2018)

Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? - Gleirscher, Mario; Foster, Simon; Woodcock, Jim (CoRR, 2018)

Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017. - Gleirscher, Mario; Kugele, Stefan; Sprinkle, Jonathan (ACM SIGSOFT Softw. Eng. Notes, 2017)

Research Challenges for a Future-Proof E/E Architecture - A Project Statement. - Kugele, Stefan; Cebotari, Vadim; Gleirscher, Mario; Farzaneh, Morteza Hashemi; Segler, Christoph; Shafaei, Sina; Vögel, Hans-Jörg; Bauer, Fridolin; Knoll, Alois C.; Marmsoler, Diego; Michel, Hans-Ulrich (2017)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. - Gleirscher, Mario; Cârlan, Carmen (2017)

Defining Risk States in Autonomous Road Vehicles. - Gleirscher, Mario; Kugele, Stefan (2017)

From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case. - Gleirscher, Mario; Kugele, Stefan (2017)

Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps. - Gleirscher, Mario (2017)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. - Gleirscher, Mario; Cârlan, Carmen (CoRR, 2017)

On Activation, Connection, and Behavior in Dynamic Architectures. - Marmsoler, Diego; Gleirscher, Mario (Sci. Ann. Comput. Sci., 2016)

Specifying Properties of Dynamic Architectures Using Configuration Traces. - Marmsoler, Diego; Gleirscher, Mario (2016)

On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises. - Gleirscher, Mario; Golubitskiy, Dmitriy; Irlbeck, Maximilian; Wagner, Stefan (CoRR, 2016)

Introduction of Static Quality Analysis in Small and Medium-Sized Software Enterprises: Experiences from Technology Transfer. - Gleirscher, Mario; Golubitskiy, Dmitriy; Irlbeck, Maximilian; Wagner, Stefan (CoRR, 2016)

Model-based Hazard and Impact Analysis. - Dobi, Sonila; Gleirscher, Mario; Spichkova, Maria; Struss, Peter (CoRR, 2015)

Behavioural Safety of Technical Systems (Verhaltenssicherheit technischer Systeme) - Gleirscher, Mario (2014)

Introduction of static quality analysis in small- and medium-sized software enterprises: experiences from technology transfer. - Gleirscher, Mario; Golubitskiy, Dmitriy; Irlbeck, Maximilian; Wagner, Stefan (Softw. Qual. J., 2014)

A model-based approach to innovation management of automotive control systems. - Gleirscher, Mario; Vogelsang, Andreas; Fuhrmann, Steffen (2014)

Hazard Analysis for Technical Systems. - Gleirscher, Mario (2013)

On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises. - Gleirscher, Mario; Golubitskiy, Dmitriy; Irlbeck, Maximilian; Wagner, Stefan (2012)

Hazard-based selection of test cases. - Gleirscher, Mario (2011)

On the Extent and Nature of Software Reuse in Open Source Java Projects. - Heinemann, Lars; Deissenboeck, Florian; Gleirscher, Mario; Hummel, Benjamin; Irlbeck, Maximilian (2011)

Toward a Holistic and Standardized Automotive Architecture Description. - Broy, Manfred; Gleirscher, Mario; Merenda, Stefano; Wild, Doris; Kluge, Peter; Krenzer, Wolfgang (Computer, 2009)

Incremental Integration of Heterogeneous Systems Views. - Gleirscher, Mario; Ratiu, Daniel; Schätz, Bernhard (2007)