Mario Gleirscher

According to our database, Mario Gleirscher authored at least 55 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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., December, 2024

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study.

Till Schnittka, Mario Gleirscher

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

How Deduction Systems Can Help You To Verify Stability Properties.

Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth

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

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks.

Jan Peleska, Felix Brüning, Mario Gleirscher, Wen-ling Huang

CoRR, 2024

2023

A manifesto for applicable formal methods.

Mario Gleirscher, Jaco van de Pol, Jim Woodcock

Softw. Syst. Model., December, 2023

Qualification of proof assistants, checkers, and generators: Where are we and what next?

Mario Gleirscher, Robert Sachtleben, Jan Peleska

Sci. Comput. Program., March, 2023

Complete Property-Oriented Module Testing.

Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben

Proceedings of the Testing Software and Systems, 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, 2023

Supervision of Intelligent Systems: An Overview.

Mario Gleirscher

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

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

Wie geht es dem akademischen Mittelbau?

Mario Gleirscher, Kerstin Lenk, Jens-Martin Loebel, Tom Petersen, Johannes Wagner

Inform. Spektrum, 2022

Sound Development of Safety Supervisors.

Mario Gleirscher, Lukas Plecher, Jan Peleska

CoRR, 2022

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

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

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems.

Mario Gleirscher, Jan Peleska

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Maintaining driver attentiveness in shared-control autonomous driving.

Radu Calinescu, Naif Alasmari, Mario Gleirscher

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Lage und Zukunft des wissenschaftlichen Nachwuchses.

Kerstin Lenk, Mario Gleirscher, Simon Nestler, Stefan Rödiger, Tom Petersen, Jens-Martin Loebel

Inform. Spektrum, 2020

Formal methods in dependable systems engineering: a survey of professionals from Europe and North America.

Mario Gleirscher, Diego Marmsoler

Empir. Softw. Eng., 2020

New Opportunities for Integrated Formal Methods.

Mario Gleirscher, Simon Foster, Jim Woodcock

ACM Comput. Surv., 2020

YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments.

Mario Gleirscher

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 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

Safety Controller Synthesis for Collaborative Robots.

Mario Gleirscher, Radu Calinescu

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.

Simon Foster, Mario Gleirscher, Radu Calinescu

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

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

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle.

Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly

CoRR, 2019

Risk Structures: Towards Engineering Risk-aware Autonomous Systems.

Mario Gleirscher

CoRR, 2019

Assurance of System Safety: A Survey of Design and Argument Patterns.

Mario Gleirscher, Stefan Kugele

CoRR, 2019

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots.

Mario Gleirscher, Simon Foster, Yakoub Nemouchi

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Risk Mitigation Strategies in High Automation.

Mario Gleirscher

Proceedings of the Software Engineering and Software Management, 2019

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.

Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

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

Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?

Mario Gleirscher, Simon Foster, Jim Woodcock

CoRR, 2018

Formal Methods: Oversold? Underused? A Survey.

Mario Gleirscher, Diego Marmsoler

CoRR, 2018

Safety Practice and its Practitioners: Exploring a Diverse Profession.

Mario Gleirscher, Anne Nyokabi

CoRR, 2018

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

Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps.

Mario Gleirscher

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case.

Mario Gleirscher, Stefan Kugele

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Defining Risk States in Autonomous Road Vehicles.

Mario Gleirscher, Stefan Kugele

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern.

Mario Gleirscher, Carmen Cârlan

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 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

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Model-based Hazard and Impact Analysis.

Sonila Dobi, Mario Gleirscher, Maria Spichkova, Peter Struss

CoRR, 2015

2014

Behavioural Safety of Technical Systems (Verhaltenssicherheit technischer Systeme)

Mario Gleirscher

PhD thesis, 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

Proceedings of the 8th IEEE International Workshop on Software Product Management, 2014

2013

Hazard Analysis for Technical Systems.

Mario Gleirscher

Proceedings of the Software Quality. Increasing Value in Software and Systems Development, 2013

2012

On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises.

Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck, Stefan Wagner

Proceedings of the Software Quality. Process Automation in Software Development, 2012

2011

On the Extent and Nature of Software Reuse in Open Source Java Projects.

Lars Heinemann, Florian Deissenboeck, Mario Gleirscher, Benjamin Hummel, Maximilian Irlbeck

Proceedings of the Top Productivity through Software Reuse, 2011

Hazard-based selection of test cases.

Mario Gleirscher

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2009

Toward a Holistic and Standardized Automotive Architecture Description.

Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer

Computer, 2009

2007

Incremental Integration of Heterogeneous Systems Views.

Mario Gleirscher, Daniel Ratiu, Bernhard Schätz

Proceedings of the 1st International ICST Conference on Systems Engineering and Modeling, 2007