56 citations · 343 across the 31 of their papers we have counts for
6 papers · 1 filter
Safety Practice and its Practitioners: Exploring a Diverse Profession
Mario Gleirscher, Anne Nyokabi
System safety refers to a diverse engineering discipline assessing and improving various aspects of safety in socio-technical systems and their software-intensive sub-systems. Whil…
New Opportunities for Integrated Formal Methods
Mario Gleirscher, Simon Foster, Jim Woodcock
Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In…
Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America
Mario Gleirscher, Diego Marmsoler
Context: Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvem…
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles
Mario Gleirscher, Sven Linker, Stefan Kugele
This report summarizes the discussions, open issues, take-away messages, and conclusions of the 2nd SCAV workshop.
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles
Mario Gleirscher, Stefan Kugele, Sven Linker
These are the proceedings of the Second International Workshop on Safe Control of Autonomous Vehicles, which took place on the 10th of April 2018 in Porto, Portugal as an affiliate…
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case
Mario Gleirscher, Stefan Kugele
Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, wi…