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

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

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

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

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

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

A model-based approach to innovation management of automotive control systems. - Mario Gleirscher; Andreas Vogelsang; Steffen Fuhrmann (IWSPM, 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 001 (Softw. Qual. J., 2014)

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

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

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

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

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 (GI-Jahrestagung, 2017)

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

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

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

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

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)

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 001; Jim Woodcock 001 (CoRR, 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)

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

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

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. - Mario Gleirscher; Simon Foster 001; Yakoub Nemouchi (SEFM, 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 001; 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)

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

Safety Controller Synthesis for Collaborative Robots. - Mario Gleirscher; Radu Calinescu (ICECCS, 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)

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

New Opportunities for Integrated Formal Methods. - Mario Gleirscher; Simon Foster 001; Jim Woodcock 001 (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)

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

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

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

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

RiskStructures: A design algebra for risk-aware machines. - Mario Gleirscher; Radu Calinescu; Jim Woodcock 001 (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)

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

Wie geht es dem akademischen Mittelbau? - Mario Gleirscher; Kerstin Lenk; Jens-Martin Loebel; Tom Petersen; Johannes Wagner 008 (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)

Supervision of Intelligent Systems: An Overview. - Mario Gleirscher (Applicable Formal Methods for Safe Industrial Products, 2023)

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

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

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

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

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

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks. - Jan Peleska 001; 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 001; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman (CoRR, 2024)

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

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

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)