Mario Gleirscher

78 papers B 6C 2Journal 47Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees.
CoRR
Mario Gleirscher, Philip Hönnecke
2025 J jnl
Does Every Computer Scientist Need to Know Formal Methods?
Formal Aspects Comput.
Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan
2025 J jnl
Solvability of Approximate Reach-Avoid Games.
CoRR
Mario Gleirscher
2024 — conf
A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees.
AISoLA
Mario Gleirscher, Philip Hönnecke
2024 J jnl
A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks.
CoRR
Jan Peleska, Felix Brüning, Mario Gleirscher, Wen-ling Huang
2024 — conf
How Deduction Systems Can Help You To Verify Stability Properties.
CDC
Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
2024 J jnl
How Deduction Systems Can Help You To Verify Stability Properties.
CoRR
Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
2024 J jnl
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale.
J. Autom. Reason.
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
2024 J jnl
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL.
CoRR
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
2024 — conf
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study.
FMAS@iFM
Till Schnittka, Mario Gleirscher
2023 J jnl
A manifesto for applicable formal methods.
Softw. Syst. Model.
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2023 C conf
Complete Property-Oriented Module Testing.
ICTSS
Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
2023 — conf
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains.
FTSCS
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
2023 J jnl
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains.
CoRR
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
2023 — ed.
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023.
FMAS@iFM
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
2023 J jnl
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
CoRR
Mario Gleirscher, Robert Sachtleben, Jan Peleska
2023 J jnl
Qualification of proof assistants, checkers, and generators: Where are we and what next?
Sci. Comput. Program.
Mario Gleirscher, Robert Sachtleben, Jan Peleska
2023 — conf
Supervision of Intelligent Systems: An Overview.
Applicable Formal Methods for Safe Industrial Products
Mario Gleirscher
2022 J jnl
Sound Development of Safety Supervisors.
CoRR
Mario Gleirscher, Lukas Plecher, Jan Peleska
2022 J jnl
Verified synthesis of optimal safety controllers for human-robot collaboration.
Sci. Comput. Program.
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2022 J jnl
Wie geht es dem akademischen Mittelbau?
Inform. Spektrum
Mario Gleirscher, Kerstin Lenk, Jens-Martin Loebel, Tom Petersen, Johannes Wagner
2021 J jnl
A Manifesto for Applicable Formal Methods.
CoRR
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2021 J jnl
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics.
Frontiers Robotics AI
James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law
2021 — conf
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems.
FMAS
Mario Gleirscher, Jan Peleska
2021 B conf
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.
FM
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
2021 J jnl
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.
CoRR
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
2021 J jnl
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM.
Formal Aspects Comput.
Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
2021 — conf
Maintaining driver attentiveness in shared-control autonomous driving.
SEAMS@ICSE
Radu Calinescu, Naif Alasmari, Mario Gleirscher
2021 J jnl
Maintaining driver attentiveness in shared-control autonomous driving.
CoRR
Radu Calinescu, Naif Alasmari, Mario Gleirscher
2021 — ed.
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021.
AppFM@FM
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2021 J jnl
RiskStructures: A design algebra for risk-aware machines.
Formal Aspects Comput.
Mario Gleirscher, Radu Calinescu, Jim Woodcock
2021 J jnl
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration.
CoRR
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2020 J jnl
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots.
CoRR
Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou, Radu Calinescu, James Law, John A. Clark
2020 J jnl
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America.
Empir. Softw. Eng.
Mario Gleirscher, Diego Marmsoler
2020 J jnl
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM.
CoRR
Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
2020 J jnl
Lage und Zukunft des wissenschaftlichen Nachwuchses.
Inform. Spektrum
Kerstin Lenk, Mario Gleirscher, Simon Nestler, Stefan Rödiger, Tom Petersen, Jens-Martin Loebel
2020 J jnl
New Opportunities for Integrated Formal Methods.
ACM Comput. Surv.
Mario Gleirscher, Simon Foster, Jim Woodcock
2020 B conf
Safety Controller Synthesis for Collaborative Robots.
ICECCS
Mario Gleirscher, Radu Calinescu
2020 J jnl
Safety Controller Synthesis for Collaborative Robots.
CoRR
Mario Gleirscher, Radu Calinescu
2020 B conf
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.
ICECCS
Simon Foster, Mario Gleirscher, Radu Calinescu
2020 J jnl
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.
CoRR
Simon Foster, Mario Gleirscher, Radu Calinescu
2020 — conf
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments.
FMAS
Mario Gleirscher
2019 J jnl
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432).
Dagstuhl Reports
Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker
2019 J jnl
Assurance of System Safety: A Survey of Design and Argument Patterns.
CoRR
Mario Gleirscher, Stefan Kugele
2019 B conf
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots.
SEFM
Mario Gleirscher, Simon Foster, Yakoub Nemouchi
2019 B conf
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.
IFM
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
2019 J jnl
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle.
CoRR
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
2019 — conf
Risk Mitigation Strategies in High Automation.
SE/SWM
Mario Gleirscher
2019 J jnl
Risk Structures: Towards Engineering Risk-aware Autonomous Systems.
CoRR
Mario Gleirscher
2018 J jnl
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?
CoRR
Mario Gleirscher, Simon Foster, Jim Woodcock
2018 J jnl
Formal Methods: Oversold? Underused? A Survey.
CoRR
Mario Gleirscher, Diego Marmsoler
2018 J jnl
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case.
CoRR
Mario Gleirscher, Stefan Kugele
2018 — ed.
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018.
SCAV@CPSWeek
Mario Gleirscher, Stefan Kugele, Sven Linker
2018 J jnl
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.
CoRR
Mario Gleirscher, Sven Linker, Stefan Kugele
2018 J jnl
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.
ACM SIGSOFT Softw. Eng. Notes
Mario Gleirscher, Stefan Kugele, Sven Linker
2018 J jnl
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.
ACM SIGSOFT Softw. Eng. Notes
Mario Gleirscher, Stefan Kugele, Sven Linker
2018 J jnl
Safety Practice and its Practitioners: Exploring a Diverse Profession.
CoRR
Mario Gleirscher, Anne Nyokabi
2017 — conf
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern.
HASE
Mario Gleirscher, Carmen Cârlan
2017 J jnl
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern.
CoRR
Mario Gleirscher, Carmen Cârlan
2017 — conf
Defining Risk States in Autonomous Road Vehicles.
HASE
Mario Gleirscher, Stefan Kugele
2017 — conf
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case.
NFM
Mario Gleirscher, Stefan Kugele
2017 — conf
Research Challenges for a Future-Proof E/E Architecture - A Project Statement.
GI-Jahrestagung
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
2017 — conf
Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps.
FVAV@iFM
Mario Gleirscher
2017 J jnl
Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017.
ACM SIGSOFT Softw. Eng. Notes
Mario Gleirscher, Stefan Kugele, Jonathan Sprinkle
2016 J jnl
Introduction of Static Quality Analysis in Small and Medium-Sized Software Enterprises: Experiences from Technology Transfer.
CoRR
Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck, Stefan Wagner
2016 J jnl
On Activation, Connection, and Behavior in Dynamic Architectures.
Sci. Ann. Comput. Sci.
Diego Marmsoler, Mario Gleirscher
2016 J jnl
On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises.
CoRR
Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck, Stefan Wagner
2016 C conf
Specifying Properties of Dynamic Architectures Using Configuration Traces.
ICTAC
Diego Marmsoler, Mario Gleirscher
2015 J jnl
Model-based Hazard and Impact Analysis.
CoRR
Sonila Dobi, Mario Gleirscher, Maria Spichkova, Peter Struss
2014 — conf
A model-based approach to innovation management of automotive control systems.
IWSPM
Mario Gleirscher, Andreas Vogelsang, Steffen Fuhrmann
2014 — —
Behavioural Safety of Technical Systems (Verhaltenssicherheit technischer Systeme)
Mario Gleirscher
2014 J jnl
Introduction of static quality analysis in small- and medium-sized software enterprises: experiences from technology transfer.
Softw. Qual. J.
Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck, Stefan Wagner
2013 — conf
Hazard Analysis for Technical Systems.
SWQD
Mario Gleirscher
2012 — conf
On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises.
SWQD
Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck, Stefan Wagner
2011 — conf
Hazard-based selection of test cases.
AST@ICSE
Mario Gleirscher
2011 B conf
On the Extent and Nature of Software Reuse in Open Source Java Projects.
ICSR
Lars Heinemann, Florian Deissenboeck, Mario Gleirscher, Benjamin Hummel, Maximilian Irlbeck
2009 J jnl
Toward a Holistic and Standardized Automotive Architecture Description.
Computer
Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer
2007 — conf
Incremental Integration of Heterogeneous Systems Views.
ICSEM
Mario Gleirscher, Daniel Ratiu, Bernhard Schätz