made with wordle.net
"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
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
85748 Garching, Germany
Room MI 00.11.055
- Safe and dependable autonomous systems
- Formal methods in safety engineering
- Empirical foundations of practised system safety
- System and software verification
- Control theory
Publications listed on ...
Research Under Progress
- Reaching Verifiably Safest States of Autonomous Systems
- Formal Analysis of Dependability Design Patterns for Autonomous Systems
- Synergies between Assurance Argumentation, Hazard Analysis, and Risk Assessment
- 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
Int. Workshop on Safety Assurance of Autonomous Adaptive Vehicles: in preparation, venue and CfP to be announced soon!
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)
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.
- 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
last change: Mar 03 2016