Sam Procter
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
FASR: Automated Identification of Unsafe Control Actions in STPA
This paper introduces FASR, a tool that automates the identification of unsafe control actions (UCAs) in System-Theoretic Process Analysis (STPA) using model-based engineering and robustness analysis.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.SERecentMay 29, 2026
FASR: Automated Identification of Unsafe Control Actions in STPA
Ian Dardik, Yining She, Sam Procter, Keaton Hanna +2 more
This paper introduces FASR, a tool that automates the identification of unsafe control actions (UCAs) in System-Theoretic Process Analysis (STPA) using model-based engineering and robustness analysis.
View →