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

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

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

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

How Deduction Systems Can Help You To Verify Stability Properties - Mario Gleirscher; Rehab Massoud; Dieter Hutter; Christoph Lüth (63rd IEEE Conference on Decision and Control, CDC 2024, Milan, Italy, December 16-19, 2024, 2024)

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study - Till Schnittka; Mario Gleirscher (Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024, 2024)

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

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

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

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

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

Supervision of Intelligent Systems: An Overview - Mario Gleirscher (Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, 2023)

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains - Mario Gleirscher; Anne E. Haxthausen; Jan Peleska (Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023, 2023)

Complete Property-Oriented Module Testing - Felix Brüning; Mario Gleirscher; Wen-ling Huang; Niklas Krafczyk; Jan Peleska; Robert Sachtleben (Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, 2023)

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023 - Marie Farrell; Matt Luckcuck; Mario Gleirscher; Maike Schwammberger (2023)

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

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

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

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

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

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

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

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

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs - Simon Foster; Jonathan Julián Huerta y Munive; Mario Gleirscher; Georg Struth (Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, 2021)

Maintaining driver attentiveness in shared-control autonomous driving - Radu Calinescu; Naif Alasmari; Mario Gleirscher (16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24, 2021, 2021)

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems - Mario Gleirscher; Jan Peleska (Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021, 2021)

Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021 - Mario Gleirscher; Jaco van de Pol; Jim Woodcock (2021)

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

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

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

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

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

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

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

Safety Controller Synthesis for Collaborative Robots - Mario Gleirscher; Radu Calinescu (25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020, 2020)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles - Simon Foster; Mario Gleirscher; Radu Calinescu (25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020, 2020)

YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments - Mario Gleirscher (Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020, 2020)

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

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

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

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

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods - Yakoub Nemouchi; Simon Foster; Mario Gleirscher; Tim Kelly (Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, 2019)

Risk Mitigation Strategies in High Automation - Mario Gleirscher (Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019)

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots - Mario Gleirscher; Simon Foster; Yakoub Nemouchi (Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, 2019)

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

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

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

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

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

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

Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018 - Mario Gleirscher; Stefan Kugele; Sven Linker (2018)

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

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

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

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

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

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

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-Jörg Vögel; Fridolin Bauer; Alois C. Knoll; Diego Marmsoler; Hans-Ulrich Michel (47. Jahrestagung der Gesellschaft für Informatik, Digitale Kulturen, INFORMATIK 2017, Chemnitz, Germany, September 25-29, 2017, 2017)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern - Mario Gleirscher; Carmen Cârlan (18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017, 2017)

Defining Risk States in Autonomous Road Vehicles - Mario Gleirscher; Stefan Kugele (18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017, 2017)

From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case - Mario Gleirscher; Stefan Kugele (NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, 2017)

Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps - Mario Gleirscher (Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017, 2017)

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

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

Specifying Properties of Dynamic Architectures Using Configuration Traces - Diego Marmsoler; Mario Gleirscher (Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016)

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

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

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

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

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

A model-based approach to innovation management of automotive control systems - Mario Gleirscher; Andreas Vogelsang; Steffen Fuhrmann (8th IEEE International Workshop on Software Product Management, IWSPM 2014, Karlskrona, Sweden, August 26, 2014, 2014)

Hazard Analysis for Technical Systems - Mario Gleirscher (Software Quality. Increasing Value in Software and Systems Development - 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings, 2013)

On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises - Mario Gleirscher; Dmitriy Golubitskiy; Maximilian Irlbeck; Stefan Wagner (Software Quality. Process Automation in Software Development - 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings, 2012)

Hazard-based selection of test cases - Mario Gleirscher (Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011, 2011)

On the Extent and Nature of Software Reuse in Open Source Java Projects - Lars Heinemann; Florian Deissenboeck; Mario Gleirscher; Benjamin Hummel; Maximilian Irlbeck (Top Productivity through Software Reuse - 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings, 2011)

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

Incremental Integration of Heterogeneous Systems Views - Mario Gleirscher; Daniel Ratiu; Bernhard Schätz (1st International ICST Conference on Systems Engineering and Modeling, ICSEM 2007, Herzliyya-Haifa, Israel, March 20-23, 2007, 2007)