Sledovat
Cody Fleming
Název
Citace
Citace
Rok
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
1322013
A platoon-based intersection management system for autonomous vehicles
M Bashiri, CH Fleming
2017 IEEE Intelligent Vehicles Symposium (IV), 667-672, 2017
1062017
Towards improved testing for deep learning
J Sekhon, C Fleming
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
722019
Paim: Platoon-based autonomous intersection management
M Bashiri, H Jafarzadeh, CH Fleming
2018 21st International Conference on Intelligent Transportation Systems …, 2018
662018
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
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
432016
Categorical semantics of cyber-physical systems theory
G Bakirtzis, CH Fleming, C Vasilakopoulou
ACM Transactions on Cyber-Physical Systems 5 (3), 1-32, 2021
422021
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
402020
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
392022
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
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
392018
Shieldnn: A provably safe nn filter for unsafe nn controllers
J Ferlez, M Elnaggar, Y Shoukry, C Fleming
arXiv preprint arXiv:2006.09564, 2020
382020
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
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
312012
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
242021
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
232020
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20