Mario Gleirscher

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 59

Top Topics

Risk Assessment

Technology Transfer

International Workshop

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Inform. Spektrum

Publications

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