Cody H. Fleming

75 papers A* 3B 2C 4Misc 1Journal 51Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Correct-by-construction requirement decomposition. Softw. Syst. Model. Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh, Cody H. Fleming
2026	J	`jnl`	LCLA: Language-Conditioned Latent Alignment for Vision-Language Navigation. CoRR Nitesh Subedi, Adam Haroon, Samuel T. K. Tetteh, Prajwal Koirala, Cody H. Fleming, Soumik Sarkar
2026	J	`jnl`	LexiSafe: Offline Safe Reinforcement Learning with Lexicographic Safety-Reward Hierarchy. CoRR Hsin-Jung Yang, Zhanhong Jiang, Prajwal Koirala, Qisai Liu, Cody H. Fleming, Soumik Sarkar
2026	J	`jnl`	Toward Faithful and Complete Answer Construction from a Single Document. CoRR Zhaoyang Chen, Cody H. Fleming
2025	J	`jnl`	Can Pretrained Vision-Language Embeddings Alone Guide Robot Navigation? CoRR Nitesh Subedi, Adam Haroon, Shreyan Ganguly, Samuel T. K. Tetteh, Prajwal Koirala, Cody H. Fleming, Soumik Sarkar
2025	J	`jnl`	Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility. CoRR Jaejeong Park, Mahmoud Elfar, Cody H. Fleming, Yasser Shoukry
2025	C	`conf`	Enhancing Multi-Agent Collision Avoidance through Model Predictive Control and Intent Communication. ACC Zhaoyang Chen, Cody H. Fleming
2025	—	`conf`	Feasibility Informed Advantage Weighted Regression for Persistent Safety in Offline Reinforcement Learning. CDC Prajwal Koirala, Zhanhong Jiang, Soumik Sarkar, Cody H. Fleming
2025	J	`jnl`	Flow-Based Single-Step Completion for Efficient and Expressive Policy Learning. CoRR Prajwal Koirala, Cody H. Fleming
2025	J	`jnl`	HopCast: Calibration of Autoregressive Dynamics Models. CoRR Muhammad Bilal Shahid, Cody H. Fleming
2025	J	`jnl`	HopCast: Calibration of Autoregressive Dynamics Models. Trans. Mach. Learn. Res. Muhammad Bilal Shahid, Cody H. Fleming
2025	A*	`conf`	Latent Safety-Constrained Policy Approach for Safe Offline Reinforcement Learning. ICLR Prajwal Koirala, Zhanhong Jiang, Soumik Sarkar, Cody H. Fleming
2025	J	`jnl`	Modular Diffusion Policy Training: Decoupling and Recombining Guidance and Diffusion for Offline RL. CoRR Zhaoyang Chen, Cody H. Fleming
2025	J	`jnl`	Neural CDEs as Correctors for Learned Time Series Models. CoRR Muhammad Bilal Shahid, Prajwal Koirla, Cody H. Fleming
2025	C	`conf`	ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers. ACC James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody H. Fleming
2024	—	`conf`	F1tenth Autonomous Racing With Offline Reinforcement Learning Methods. ITSC Prajwal Koirala, Cody H. Fleming
2024	J	`jnl`	F1tenth Autonomous Racing With Offline Reinforcement Learning Methods. CoRR Prajwal Koirala, Cody H. Fleming
2024	J	`jnl`	FAWAC: Feasibility Informed Advantage Weighted Regression for Persistent Safety in Offline Reinforcement Learning. CoRR Prajwal Koirala, Zhanhong Jiang, Soumik Sarkar, Cody H. Fleming
2024	J	`jnl`	Latent Safety-Constrained Policy Approach for Safe Offline Reinforcement Learning. CoRR Prajwal Koirala, Zhanhong Jiang, Soumik Sarkar, Cody H. Fleming
2024	J	`jnl`	Reframing Offline Reinforcement Learning as a Regression Problem. CoRR Prajwal Koirala, Cody H. Fleming
2024	Misc	`conf`	Solving Offline Reinforcement Learning with Decision Tree Regression. CoRL Prajwal Koirala, Cody H. Fleming
2024	J	`jnl`	Towards Robust Car Following Dynamics Modeling via Blackbox Models: Methodology, Analysis, and Recommendations. CoRR Muhammad Bilal Shahid, Cody H. Fleming
2022	J	`jnl`	A formal process of hierarchical functional requirements development for Set-Based Design. CoRR Minghui Sun, Zhaoyang Chen, Georgios Bakirtzis, Hassan Jafarzadeh, Cody H. Fleming
2022	J	`jnl`	A new safety-guided design methodology to complement model-based safety analysis for safety assurance. CoRR Minghui Sun, Cody H. Fleming
2022	J	`jnl`	An ontological metamodel for cyber-physical system safety, security, and resilience coengineering. Softw. Syst. Model. Georgios Bakirtzis, Tim Sherburne, Stephen C. Adams, Barry M. Horowitz, Peter A. Beling, Cody H. Fleming
2022	J	`jnl`	Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis. CoRR Minghui Sun, Smitha Gautham, Carl R. Elks, Cody H. Fleming
2022	J	`jnl`	Yoneda Hacking: The Algebra of Attacker Actions. ACM Trans. Cyber Phys. Syst. Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
2021	J	`jnl`	A Graduate Curriculum in Cyber-Physical Systems. IEEE Des. Test 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
2021	J	`jnl`	Categorical Semantics of Cyber-Physical Systems Theory. ACM Trans. Cyber Phys. Syst. Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou
2021	J	`jnl`	Compositional Thinking in Cyber-Physical Systems Theory. CoRR Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming
2021	J	`jnl`	Compositional Thinking in Cyberphysical Systems Theory. Computer Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming
2021	J	`jnl`	Cyberphysical Security Through Resiliency: A Systems-Centric Approach. Computer Cody H. Fleming, Carl R. Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan T. Carter, Peter A. Beling, Barry M. Horowitz
2021	J	`jnl`	DMPC: A Data-and Model-Driven Approach to Predictive Control. CoRR Hassan Jafarzadeh, Cody H. Fleming
2021	J	`jnl`	DMPC: A data-and model-driven approach to predictive control. Autom. Hassan Jafarzadeh, Cody H. Fleming
2021	—	`conf`	Gaussian Process-based Model Predictive Controller for Connected Vehicles with Uncertain Wireless Channel. ITSC Hassan Jafarzadeh, Cody H. Fleming
2021	J	`jnl`	Gaussian Process-based Model Predictive Controller for Connected Vehicles with Uncertain Wireless Channel. CoRR Hassan Jafarzadeh, Cody H. Fleming
2021	A*	`conf`	SCAN: A Spatial Context Attentive Network for Joint Multi-Agent Intent Prediction. AAAI Jasmine Sekhon, Cody H. Fleming
2021	J	`jnl`	SCAN: A Spatial Context Attentive Network for Joint Multi-Agent Intent Prediction. CoRR Jasmine Sekhon, Cody H. Fleming
2021	J	`jnl`	Yoneda Hacking: The Algebra of Attacker Actions. CoRR Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
2020	—	`conf`	A Spatially and Temporally Attentive Joint Trajectory Prediction Framework for Modeling Vessel Intent. L4DC Jasmine Sekhon, Cody H. Fleming
2020	J	`jnl`	An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering. CoRR Georgios Bakirtzis, Tim Sherburne, Stephen C. Adams, Barry M. Horowitz, Peter A. Beling, Cody H. Fleming
2020	J	`jnl`	Categorical Semantics of Cyber-Physical Systems Theory. CoRR Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou
2020	—	`conf`	Compositional Cyber-Physical Systems Modeling. ACT Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming
2020	J	`jnl`	Cyber-Physical Security Through Resiliency: A Systems-centric Approach. CoRR Cody H. Fleming, Carl R. Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan T. Carter, Peter A. Beling, Barry M. Horowitz
2020	—	`conf`	Fundamental Challenges of Cyber-Physical Systems Security Modeling. DSN (Supplements) Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming
2020	J	`jnl`	Fundamental Challenges of Cyber-Physical Systems Security Modeling. CoRR Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming
2020	J	`jnl`	ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers. CoRR James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody H. Fleming
2019	J	`jnl`	A Preliminary Design-Phase Security Methodology for Cyber-Physical Systems. Syst. Bryan T. Carter, Stephen C. Adams, Georgios Bakirtzis, Tim Sherburne, Peter A. Beling, Barry M. Horowitz, Cody H. Fleming
2019	J	`jnl`	A Spatially and Temporally Attentive Joint Trajectory Prediction Framework for Modeling Vessel Intent. CoRR Jasmine Sekhon, Cody H. Fleming
2019	C	`conf`	Active Learning to Improve Static Analysis. ICMLA Maxwell Berman, Stephen C. Adams, Tim Sherburne, Cody H. Fleming, Peter A. Beling
2019	A*	`conf`	Characterizing Uncertainties of Wireless Channels in Connected Vehicles. MobiCom Elahe Soltanaghaei, Mahmoud Elnaggar, Katie Kleeman, Kamin Whitehouse, Cody H. Fleming
2019	J	`jnl`	Correct-by-construction: a contract-based semi-automated requirement decomposition process. CoRR Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh, Cody H. Fleming
2019	J	`jnl`	Data Driven Vulnerability Exploration for Design Phase System Analysis. CoRR Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody H. Fleming, Carl R. Elks
2019	—	`conf`	Learning Model Predictive Control for Connected Autonomous Vehicles. CDC Hassan Jafarzadeh, Cody H. Fleming
2019	J	`jnl`	Research Advances with Systems Engineering in Context. Syst. Eng. Stephen C. Adams, Peter A. Beling, William T. Scherer, Cody H. Fleming, James H. Lambert
2019	J	`jnl`	Systems-theoretic security requirements modeling for cyber-physical systems. Syst. Eng. Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming
2019	J	`jnl`	Towards Improved Testing For Deep Learning. CoRR Jasmine Sekhon, Cody H. Fleming
2019	—	`conf`	Towards improved testing for deep learning. ICSE (NIER) Jasmine Sekhon, Cody H. Fleming
2018	J	`jnl`	A Human-Machine Methodology for Investigating Systems Thinking in a Complex Corpus. IEEE Syst. J. Ryan C. Boyer, William T. Scherer, Cody H. Fleming, Casey D. Connors, N. Peter Whitehead
2018	—	`conf`	A model-based approach to security analysis for cyber-physical systems. SysCon Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming
2018	—	`conf`	A systems approach for eliciting mission-centric security requirements. SysCon Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming
2018	J	`jnl`	An Exact Geometry-Based Algorithm for Path Planning. Int. J. Appl. Math. Comput. Sci. Hassan Jafarzadeh, Cody H. Fleming
2018	C	`conf`	Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis. VizSEC Georgios Bakirtzis, Brandon J. Simon, Cody H. Fleming, Carl R. Elks
2018	J	`jnl`	Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis. CoRR Georgios Bakirtzis, Brandon J. Simon, Cody H. Fleming, Carl R. Elks
2018	—	`conf`	PAIM: Platoon-based Autonomous Intersection Management. ITSC Masoud Bashiri, Hassan Jafarzadeh, Cody H. Fleming
2018	J	`jnl`	PAIM: Platoon-based Autonomous Intersection Management. CoRR Masoud Bashiri, Hassan Jafarzadeh, Cody H. Fleming
2018	—	`conf`	Selecting System Specific Cybersecurity Attack Patterns Using Topic Modeling. TrustCom/BigDataSE Stephen C. Adams, Bryan T. Carter, Cody H. Fleming, Peter A. Beling
2017	J	`jnl`	A Model-Based Approach to Security Analysis for Cyber-Physical Systems. CoRR Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming
2017	J	`jnl`	A Systems Approach for Eliciting Mission-Centric Security Requirements. CoRR Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming
2017	B	`conf`	A platoon-based intersection management system for autonomous vehicles. Intelligent Vehicles Symposium Masoud Bashiri, Cody H. Fleming
2017	J	`jnl`	MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis. CoRR Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming, Carl R. Elks
2017	—	`conf`	Systems theory and a drive towards model-based safety analysis. SysCon Cody H. Fleming
2016	B	`conf`	A systems-theoretic approach to early concept development. SMC Cody H. Fleming
2016	J	`jnl`	Early Concept Development and Safety Analysis of Future Transportation Systems. IEEE Trans. Intell. Transp. Syst. Cody H. Fleming, Nancy G. Leveson
2014	—	`conf`	Model-based Concept Development and Safety Driven Design. GI-Jahrestagung Cody H. Fleming