Safety of embedded software. - Nancy G. Leveson; Cody Harrison Fleming; John Thomas (HILT, 2012)

Model-based Concept Development and Safety Driven Design. - Cody H. Fleming (GI-Jahrestagung, 2014)

Improving Hazard Analysis and Certification of Integrated Modular Avionics. - Cody Harrison Fleming; Nancy G. Leveson (J. Aerosp. Inf. Syst., 2014)

A systems-theoretic approach to early concept development. - Cody H. Fleming (SMC, 2016)

Early Concept Development and Safety Analysis of Future Transportation Systems. - Cody H. Fleming; Nancy G. Leveson (IEEE Trans. Intell. Transp. Syst., 2016)

A platoon-based intersection management system for autonomous vehicles. - Masoud Bashiri; Cody H. Fleming (Intelligent Vehicles Symposium, 2017)

Systems theory and a drive towards model-based safety analysis. - Cody H. Fleming (SysCon, 2017)

MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis. - Georgios Bakirtzis; Bryan T. Carter; Cody H. Fleming; Carl R. Elks (CoRR, 2017)

PAIM: Platoon-based Autonomous Intersection Management. - Masoud Bashiri; Hassan Jafarzadeh; Cody H. Fleming (ITSC, 2018)

A model-based approach to security analysis for cyber-physical systems. - Georgios Bakirtzis; Bryan T. Carter; Carl R. Elks; Cody H. Fleming (SysCon, 2018)

A systems approach for eliciting mission-centric security requirements. - Bryan T. Carter; Georgios Bakirtzis; Carl R. Elks; Cody H. Fleming (SysCon, 2018)

Selecting System Specific Cybersecurity Attack Patterns Using Topic Modeling. - Stephen C. Adams; Bryan T. Carter; Cody H. Fleming; Peter A. Beling (TrustCom/BigDataSE, 2018)

Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis. - Georgios Bakirtzis; Brandon J. Simon; Cody H. Fleming; Carl R. Elks (VizSEC, 2018)

An Exact Geometry-Based Algorithm for Path Planning. - Hassan Jafarzadeh; Cody H. Fleming (Int. J. Appl. Math. Comput. Sci., 2018)

A Human-Machine Methodology for Investigating Systems Thinking in a Complex Corpus. - Ryan C. Boyer; William T. Scherer; Cody H. Fleming; Casey D. Connors; N. Peter Whitehead (IEEE Syst. J., 2018)

Learning Model Predictive Control for Connected Autonomous Vehicles. - Hassan Jafarzadeh; Cody H. Fleming (CDC, 2019)

Active Learning to Improve Static Analysis. - Maxwell Berman; Stephen C. Adams; Tim Sherburne; Cody H. Fleming; Peter A. Beling (ICMLA, 2019)

Towards improved testing for deep learning. - Jasmine Sekhon; Cody H. Fleming (ICSE (NIER), 2019)

Characterizing Uncertainties of Wireless Channels in Connected Vehicles. - Elahe Soltanaghaei; Mahmoud Elnaggar; Katie Kleeman; Kamin Whitehouse; Cody H. Fleming (MobiCom, 2019)

Correct-by-construction: a contract-based semi-automated requirement decomposition process. - Minghui Sun; Georgios Bakirtzis; Hassan Jafarzadeh; Cody H. Fleming (CoRR, 2019)

Research Advances with Systems Engineering in Context. - Stephen C. Adams; Peter A. Beling; William T. Scherer; Cody H. Fleming; James H. Lambert (Syst. Eng., 2019)

Systems-theoretic security requirements modeling for cyber-physical systems. - Bryan T. Carter; Georgios Bakirtzis; Carl R. Elks; Cody H. Fleming (Syst. Eng., 2019)

A Preliminary Design-Phase Security Methodology for Cyber-Physical Systems. - Bryan T. Carter; Stephen C. Adams; Georgios Bakirtzis; Tim Sherburne; Peter A. Beling; Barry M. Horowitz; Cody H. Fleming (Syst., 2019)

Fundamental Challenges of Cyber-Physical Systems Security Modeling. - Georgios Bakirtzis; Garrett L. Ward; Christopher J. Deloglos; Carl R. Elks; Barry M. Horowitz; Cody H. Fleming (DSN (Supplements), 2020)

A Spatially and Temporally Attentive Joint Trajectory Prediction Framework for Modeling Vessel Intent. - Jasmine Sekhon; Cody H. Fleming (L4DC, 2020)

Cyber-Physical Security Through Resiliency: A Systems-centric Approach. - Cody H. Fleming; Carl R. Elks; Georgios Bakirtzis; Stephen C. Adams; Bryan T. Carter; Peter A. Beling; Barry M. Horowitz (CoRR, 2020)

Compositional Cyber-Physical Systems Modeling. - Georgios Bakirtzis; Christina Vasilakopoulou; Cody H. Fleming (ACT, 2020)

Data-Driven Vulnerability Exploration for Design Phase System Analysis. - Georgios Bakirtzis; Brandon J. Simon; Aidan G. Collins; Cody Harrison Fleming; Carl R. Elks (IEEE Syst. J., 2020)

SCAN: A Spatial Context Attentive Network for Joint Multi-Agent Intent Prediction. - Jasmine Sekhon; Cody H. Fleming (AAAI, 2021)

Gaussian Process-based Model Predictive Controller for Connected Vehicles with Uncertain Wireless Channel. - Hassan Jafarzadeh; Cody H. Fleming (ITSC, 2021)

DMPC: A data-and model-driven approach to predictive control. - Hassan Jafarzadeh; Cody H. Fleming (Autom., 2021)

Compositional Thinking in Cyberphysical Systems Theory. - Georgios Bakirtzis; Eswaran Subrahmanian; Cody H. Fleming (Computer, 2021)

Cyberphysical Security Through Resiliency: A Systems-Centric Approach. - Cody H. Fleming; Carl R. Elks; Georgios Bakirtzis; Stephen C. Adams; Bryan T. Carter; Peter A. Beling; Barry M. Horowitz (Computer, 2021)

Compositional Thinking in Cyber-Physical Systems Theory. - Georgios Bakirtzis; Eswaran Subrahmanian; Cody H. Fleming (CoRR, 2021)

A Graduate Curriculum in Cyber-Physical Systems. - John A. Stankovic; Homa Alemzadeh; Brad Campbell; John C. Lach; Lu Feng 001; Cody H. Fleming; Jonathan L. Goodall; Toluwalogo Odumosu; Daniel Quinn; Yuan Tian 001; Kelley Tobler (IEEE Des. Test, 2021)

Categorical Semantics of Cyber-Physical Systems Theory. - Georgios Bakirtzis; Cody H. Fleming; Christina Vasilakopoulou (ACM Trans. Cyber Phys. Syst., 2021)

A new safety-guided design methodology to complement model-based safety analysis for safety assurance. - Minghui Sun; Cody H. Fleming (CoRR, 2022)

A formal process of hierarchical functional requirements development for Set-Based Design. - Minghui Sun; Zhaoyang Chen; Georgios Bakirtzis; Hassan Jafarzadeh; Cody H. Fleming (CoRR, 2022)

Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis. - Minghui Sun; Smitha Gautham; Carl R. Elks; Cody H. Fleming (CoRR, 2022)

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering. - Georgios Bakirtzis; Tim Sherburne; Stephen C. Adams; Barry M. Horowitz; Peter A. Beling; Cody H. Fleming (Softw. Syst. Model., 2022)

Yoneda Hacking: The Algebra of Attacker Actions. - Georgios Bakirtzis; Fabrizio Genovese; Cody H. Fleming (ACM Trans. Cyber Phys. Syst., 2022)

Solving Offline Reinforcement Learning with Decision Tree Regression. - Prajwal Koirala; Cody H. Fleming (CoRL, 2024)

F1tenth Autonomous Racing With Offline Reinforcement Learning Methods. - Prajwal Koirala; Cody H. Fleming (ITSC, 2024)

Reframing Offline Reinforcement Learning as a Regression Problem. - Prajwal Koirala; Cody H. Fleming (CoRR, 2024)

FAWAC: Feasibility Informed Advantage Weighted Regression for Persistent Safety in Offline Reinforcement Learning. - Prajwal Koirala; Zhanhong Jiang; Soumik Sarkar; Cody H. Fleming (CoRR, 2024)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers. - James Ferlez; Mahmoud Elnaggar; Yasser Shoukry; Cody H. Fleming (ACC, 2025)

Latent Safety-Constrained Policy Approach for Safe Offline Reinforcement Learning. - Prajwal Koirala; Zhanhong Jiang; Soumik Sarkar; Cody H. Fleming (ICLR, 2025)

Can Pretrained Vision-Language Embeddings Alone Guide Robot Navigation? - Nitesh Subedi; Adam Haroon; Shreyan Ganguly; Samuel T. K. Tetteh; Prajwal Koirala; Cody H. Fleming; Soumik Sarkar (CoRR, 2025)

Flow-Based Single-Step Completion for Efficient and Expressive Policy Learning. - Prajwal Koirala; Cody H. Fleming (CoRR, 2025)