56 citations · 343 across the 31 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 3 cited
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
Yakoub Nemouchi, Simon Foster, Mario Gleirscher +1
Assurance cases are often required as a means to certify a critical system. Use of formal methods in assurance can improve automation, and overcome problems with ambiguity, faulty…
cs.SE2019★ 7 cited
Risk Structures: Towards Engineering Risk-aware Autonomous Systems
Mario Gleirscher
Inspired by widely-used techniques of causal modelling in risk, failure, and accident analysis, this work discusses a compositional framework for risk modelling. Risk models captur…
cs.SE2019★ 5 cited
Assurance of System Safety: A Survey of Design and Argument Patterns
Mario Gleirscher, Stefan Kugele
The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on s…