3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SE2022★ 1 cited
Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis
Minghui Suna, Smitha Gauthamb, Carl Elksb +1
Model-based safety assessment has been one of the leading research thrusts of the System Safety Engineering community for over two decades. However, there is still a lack of consen…
eess.SY2022
A new safety-guided design methodology to complement model-based safety analysis for safety assurance
Minghui Sun, Cody H. Fleming
With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-criti…
eess.SY2019★ 3 cited
Correct-by-construction requirement decomposition
Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh +1
In systems engineering, accurately decomposing requirements is crucial for creating well-defined and manageable system components, particularly in safety-critical domains. Despite…