made with Tagul.com

"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

CV

Contact & Directions

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

Affiliations


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
  • 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: An Explorative Analysis of Case Reports
  • Use Case-based HazOp-Analysis: An Exploratory Case Study
  • Current Challenges of System Safety Practitioners: Qualitative Analysis of On-line Discussions

Professional Activities

  • Int. Workshop on Safety Assurance of Autonomous Adaptive Vehicles: in preparation, venue and CfP to be announced soon!

Teaching

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 of Dynamic Fault Trees from Transition System Models
  • A Study of Cross-Domain Component Concepts
  • A 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 -