pith. sign in

Mario Gleirscher

Identifiers

  • name variant Mario Gleirscher 0.60 · backfill

Papers (10)

  1. Mechanised Assurance Cases with Integrated Formal Methods in Isabelle cs.LO · 2019 · author #3
  2. Assurance of System Safety: A Survey of Design and Argument Patterns cs.SE · 2019 · author #1
  3. Safety Practice and its Practitioners: Exploring a Diverse Profession cs.SE · 2018 · author #1
  4. SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles cs.SE · 2018 · author #1
  5. Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles cs.SY · 2018 · author #1
  6. From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case cs.SE · 2018 · author #1
  7. Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern cs.SE · 2017 · author #1
  8. Introduction of Static Quality Analysis in Small and Medium-Sized Software Enterprises: Experiences from Technology Transfer cs.SE · 2016 · author #1
  9. On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises cs.SE · 2016 · author #1
  10. Model-based Hazard and Impact Analysis cs.SE · 2015 · author #2

Mentions

  • 1811.01774 #1 · arxiv_oai · confidence 0.70 Mario Gleirscher
  • 1804.03406 #1 · arxiv_oai · confidence 0.70 Mario Gleirscher
  • 1802.08327 #1 · arxiv_oai · confidence 0.70 Mario Gleirscher
  • 1704.03672 #1 · arxiv_oai · confidence 0.70 Mario Gleirscher

Frequent Coauthors