made with

"Replicants are like any other machine.
They are either a benefit or a hazard.
If they are a benefit, it's not my problem."

Harrison Ford in Blade Runner

Dr. Mario Gleirscher
Postdoctoral Research Associate in
Software, Systems and Safety Engineering
Software and Systems Engineering Group
Department of Informatics
Technische Universtät München


Contact & Directions

Boltzmannstraße 3
85748 Garching, Germany
T +49(89)-289-17832
Room MI 00.11.055


Research Interests

  • Dependable autonomous machines (AM)
  • Safety of the intended functionality (SOTIF)
  • Engineering of safe AM controllers
  • Formal methods in safety engineering
  • Empirical foundations of practised system safety
  • Open safety cases
  • System and software verification

Publications listed on ...

Research Under Progress
Method Research:

  • Reaching Verifiably Safest States of AMs
  • Formal Analysis of Dependability Patterns for AMs
  • Synergies between Assurance Argumentation and Risk Assessment
Empirical Research:
  • Systematic Study of Dependability Patterns
  • Replication of a Comparative Study on Safety Analysis Techniques
  • Subtle Hazard Root Causes
  • Use Case-based HazOp
  • Current Challenges of System Safety Practitioners

Professional Activities


Teaching assistance (between 2009-2014) in
  • Modelling distributed systems
  • Safety-critical software development
  • Foundations of program and system development
  • Requirements engineering

Open Thesis Topics (Bachelor's, Guided Research, Master's)

  • Synthesis and Analysis of Dynamic Fault Trees for Design Improvement
  • An Online Survey of Safety Practitioner's Demands, Problems, and Expectations
  • ...
Interested? Please, drop by my office to discuss further details! As I aim on fundamental research in this domain, we might have plenty of flexibility in shaping one of these topics to your specific interests.

last change: Mar 03 2016 -