Seuraa
Cody Fleming
Cody Fleming
Iowa State University
Vahvistettu sähköpostiosoite verkkotunnuksessa iastate.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1602014
Safety assurance in NextGen and complex transportation systems
CH Fleming, M Spencer, J Thomas, N Leveson, C Wilkinson
Safety science 55, 173-187, 2013
1352013
A platoon-based intersection management system for autonomous vehicles
M Bashiri, CH Fleming
2017 IEEE Intelligent Vehicles Symposium (IV), 667-672, 2017
1082017
Towards improved testing for deep learning
J Sekhon, C Fleming
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
702019
Paim: Platoon-based autonomous intersection management
M Bashiri, H Jafarzadeh, CH Fleming
2018 21st International Conference on Intelligent Transportation Systems …, 2018
652018
Improving hazard analysis and certification of integrated modular avionics
CH Fleming, NG Leveson
Journal of Aerospace Information Systems 11 (6), 397-411, 2014
572014
Safety-driven early concept analysis and development
CH Fleming
Massachusetts Institute of Technology, 2015
552015
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
522014
Categorical semantics of cyber-physical systems theory
G Bakirtzis, CH Fleming, C Vasilakopoulou
ACM Transactions on Cyber-Physical Systems 5 (3), 1-32, 2021
432021
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
412020
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
402018
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
392019
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
392018
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
372022
Shieldnn: A provably safe nn filter for unsafe nn controllers
J Ferlez, M Elnaggar, Y Shoukry, C Fleming
arXiv preprint arXiv:2006.09564, 2020
372020
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
302012
Compositional cyber-physical systems modeling
G Bakirtzis, C Vasilakopoulou, CH Fleming
arXiv preprint arXiv:2101.10484, 2021
272021
SCAN: A spatial context attentive network for joint multi-agent intent prediction
J Sekhon, C Fleming
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6119-6127, 2021
252021
A spatially and temporally attentive joint trajectory prediction framework for modeling vessel intent
J Sekhon, C Fleming
Learning for Dynamics and Control, 318-327, 2020
252020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20