Follow
Cody Fleming
Title
Cited by
Cited by
Year
Hazard analysis of complex spacecraft using systems-theoretic process analysis
T Ishimatsu, NG Leveson, JP Thomas, CH Fleming, M Katahira, ...
Journal of Spacecraft and Rockets 51 (2), 509-522, 2014
1432014
Safety assurance in NextGen and complex transportation systems
CH Fleming, M Spencer, J Thomas, N Leveson, C Wilkinson
Safety science 55, 173-187, 2013
1252013
A platoon-based intersection management system for autonomous vehicles
M Bashiri, CH Fleming
2017 IEEE Intelligent Vehicles Symposium (IV), 667-672, 2017
972017
Paim: Platoon-based autonomous intersection management
M Bashiri, H Jafarzadeh, CH Fleming
2018 21st International Conference on Intelligent Transportation Systems …, 2018
602018
Safety-driven early concept analysis and development
CH Fleming
Massachusetts Institute of Technology, 2015
562015
Towards improved testing for deep learning
J Sekhon, C Fleming
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
532019
Improving hazard analysis and certification of integrated modular avionics
CH Fleming, NG Leveson
Journal of Aerospace Information Systems 11 (6), 397-411, 2014
532014
A comparison of STPA and the ARP 4761 safety assessment process
N Leveson, C Wilkinson, C Fleming, J Thomas, I Tracy
Massachusetts Institute of Technology, Cambridge, MA, 2014
452014
Early concept development and safety analysis of future transportation systems
CH Fleming, NG Leveson
IEEE Transactions on Intelligent Transportation Systems 17 (12), 3512-3523, 2016
422016
A resilience matrix approach for measuring and mitigating disaster-induced population displacement
K Rand, M Kurth, CH Fleming, I Linkov
International journal of disaster risk reduction 42, 101310, 2020
352020
Selecting system specific cybersecurity attack patterns using topic modeling
S Adams, B Carter, C Fleming, PA Beling
2018 17th IEEE International Conference On Trust, Security And Privacy In …, 2018
352018
A model-based approach to security analysis for cyber-physical systems
G Bakirtzis, BT Carter, CR Elks, CH Fleming
2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018
352018
A preliminary design-phase security methodology for cyber–physical systems
B Carter, S Adams, G Bakirtzis, T Sherburne, P Beling, B Horowitz, ...
Systems 7 (2), 21, 2019
312019
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering
G Bakirtzis, T Sherburne, S Adams, BM Horowitz, PA Beling, CH Fleming
Software and Systems Modeling 21 (1), 113-137, 2022
302022
Categorical semantics of cyber-physical systems theory
G Bakirtzis, CH Fleming, C Vasilakopoulou
ACM Transactions on Cyber-Physical Systems 5 (3), 1-32, 2021
292021
Shieldnn: A provably safe nn filter for unsafe nn controllers
J Ferlez, M Elnaggar, Y Shoukry, C Fleming
arXiv preprint arXiv:2006.09564, 2020
282020
Safety assessment of complex, software-intensive systems
NG Leveson, CH Fleming, M Spencer, J Thomas, C Wilkinson
SAE International Journal of Aerospace 5 (2012-01-2134), 233-244, 2012
252012
Compositional cyber-physical systems modeling
G Bakirtzis, C Vasilakopoulou, CH Fleming
arXiv preprint arXiv:2101.10484, 2021
222021
A systems approach for eliciting mission-centric security requirements
BT Carter, G Bakirtzis, CR Elks, CH Fleming
2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018
222018
Integrating systems safety into systems engineering during concept development
CH Fleming, N Leveson
INCOSE International Symposium 25 (1), 989-1003, 2015
182015
The system can't perform the operation now. Try again later.
Articles 1–20