2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 2 cited
Anticipating Accidents through Reasoned Simulation
Craig Innes, Andrew Ireland, Yuhui Lin +1
A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an acci…
cs.SE2016
Semi-Automated Design Space Exploration for Formal Modelling
Gudmund Grov, Andrew Ireland, Maria Teresa Llano +3
Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meani…