Cody H. Fleming

According to our database, Cody H. Fleming authored at least 44 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

F1tenth Autonomous Racing With Offline Reinforcement Learning Methods.

Prajwal Koirala, Cody H. Fleming

CoRR, 2024

Reframing Offline Reinforcement Learning as a Regression Problem.

Prajwal Koirala, Cody H. Fleming

CoRR, 2024

2022

Yoneda Hacking: The Algebra of Attacker Actions.

Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming

ACM Trans. Cyber Phys. Syst., 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

Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis.

Minghui Sun, Smitha Gautham, Carl R. Elks, 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

A new safety-guided design methodology to complement model-based safety analysis for safety assurance.

Minghui Sun, Cody H. Fleming

CoRR, 2022

2021

Categorical Semantics of Cyber-Physical Systems Theory.

Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou

ACM Trans. Cyber Phys. Syst., 2021

A Graduate Curriculum in Cyber-Physical Systems.

John A. Stankovic, Homa Alemzadeh, Brad Campbell, John C. Lach, Lu Feng, Cody H. Fleming, Jonathan L. Goodall, Toluwalogo Odumosu, Daniel Quinn, Yuan Tian, Kelley Tobler

IEEE Des. Test, 2021

Compositional Thinking in Cyber-Physical Systems Theory.

Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming

CoRR, 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 Cyberphysical Systems Theory.

Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming

Computer, 2021

DMPC: A data-and model-driven approach to predictive control.

Hassan Jafarzadeh, Cody H. Fleming

Autom., 2021

Gaussian Process-based Model Predictive Controller for Connected Vehicles with Uncertain Wireless Channel.

Hassan Jafarzadeh, Cody H. Fleming

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

SCAN: A Spatial Context Attentive Network for Joint Multi-Agent Intent Prediction.

Jasmine Sekhon, Cody H. Fleming

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Compositional Cyber-Physical Systems Modeling.

Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 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

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers.

James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody H. Fleming

CoRR, 2020

A Spatially and Temporally Attentive Joint Trajectory Prediction Framework for Modeling Vessel Intent.

Jasmine Sekhon, Cody H. Fleming

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

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

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

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

Systems-theoretic security requirements modeling for cyber-physical systems.

Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming

Syst. Eng., 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

Correct-by-construction: a contract-based semi-automated requirement decomposition process.

Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh, Cody H. Fleming

CoRR, 2019

Characterizing Uncertainties of Wireless Channels in Connected Vehicles.

Elahe Soltanaghaei, Mahmoud Elnaggar, Katie Kleeman, Kamin Whitehouse, Cody H. Fleming

Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

Towards improved testing for deep learning.

Jasmine Sekhon, Cody H. Fleming

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Active Learning to Improve Static Analysis.

Maxwell Berman, Stephen C. Adams, Tim Sherburne, Cody H. Fleming, Peter A. Beling

Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

Learning Model Predictive Control for Connected Autonomous Vehicles.

Hassan Jafarzadeh, Cody H. Fleming

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

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

An Exact Geometry-Based Algorithm for Path Planning.

Hassan Jafarzadeh, Cody H. Fleming

Int. J. Appl. Math. Comput. Sci., 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

Proceedings of the 15th IEEE Symposium on Visualization for Cyber Security, 2018

Selecting System Specific Cybersecurity Attack Patterns Using Topic Modeling.

Stephen C. Adams, Bryan T. Carter, Cody H. Fleming, Peter A. Beling

Proceedings of the 17th IEEE International Conference On Trust, 2018

A systems approach for eliciting mission-centric security requirements.

Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

A model-based approach to security analysis for cyber-physical systems.

Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

PAIM: Platoon-based Autonomous Intersection Management.

Masoud Bashiri, Hassan Jafarzadeh, Cody H. Fleming

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2017

MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis.

Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming, Carl R. Elks

CoRR, 2017

Systems theory and a drive towards model-based safety analysis.

Cody H. Fleming

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

A platoon-based intersection management system for autonomous vehicles.

Masoud Bashiri, Cody H. Fleming

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

2016

Early Concept Development and Safety Analysis of Future Transportation Systems.

Cody H. Fleming, Nancy G. Leveson

IEEE Trans. Intell. Transp. Syst., 2016

A systems-theoretic approach to early concept development.

Cody H. Fleming

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2014

Improving Hazard Analysis and Certification of Integrated Modular Avionics.

Cody Harrison Fleming, Nancy G. Leveson

J. Aerosp. Inf. Syst., 2014

Model-based Concept Development and Safety Driven Design.

Cody H. Fleming

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2012

Safety of embedded software.

Nancy G. Leveson, Cody Harrison Fleming, John Thomas

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012