PAPERS

See Google Scholar page for a (perhaps) more accurate and current list.

  • K. Rand and C. Fleming. Decision support architectures for the recovery of interdependent infrastructure with large-scale damage and socially vulnerable populations, Risk Analysis: An International Journal. Accepted for publication. Impact Factor: 4.000.
  • Giorgos Bakirtzis, Christina Vasilakopoulou, and Cody Fleming. Categorical Semantics of Cyber-Physical Systems Theory, ACM Transactions on CPS. Vol. 5, No. 3. https://doi.org/10.1145/3461669,
  • Hassan Jafarzadeh and Cody Fleming. DMPC: A Data-and Model-Driven Approach to Predictive Control, Automatica. Volume 131, September 2021, 109729, Impact Factor: 5.541.
  • Georgios Bakirtzis, Tim Sherburne, Stephen Adams, Barry M. Horowitz, Peter A. Beling, Cody H. Fleming. An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering, International Journal on Software and Systems Modeling (SoSyM), Impact Factor: 1.915.
  • Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming. Compositional Thinking in Cyber-Physical Systems Theory, IEEE Computer. Accepted for publication. Impact Factor: 3.564.
  • John A. Stankovic, Homa Alemzadeh, Brad Campbell, John Lach, Lu Feng, Cody Fleming, Jonathan Goodall, Toluwalogo Odumosu, Daniel Quinn, Yuan Tian, Kelley Tobler. A Graduate Curriculum in Cyber Physical Systems, IEEE Design & Test. Volume 38, Issue 3, June 2021, Impact Factor: 2.409.
  • K. Rand, M. Kurth, C. Fleming, I. Linkov. A resilience matrix approach for measuring and mitigating disaster-induced population displacement, International Journal of Disaster Risk Reduction. Volume 42, January 2020, 101310, Impact Factor: 2.896.
  • Cody Fleming, Carl Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan Carter, Peter A. Beling, and Barry Horowitz. Cyber-Physical Security Through Resiliency: A Systems Centric Approach for Facilitating Resilience in Cyber-Physical Systems, IEEE Computer. Accepted for publication. Impact Factor: 3.564.
  • G. Bakirtzis, B. Simon, A. Collins, C. Fleming and C. Elks. Data Driven Vulnerability Exploration for Design Phase Analysis, IEEE Systems Journal. Vol. 14, No. 4. DOI: 10.1109/JSYST.2019.2940145, Impact Factor: 5.280.
  • K. Rand and C. Fleming. An interdisciplinary review to develop guidelines for modeling population displacement as a function of infrastructure reconstruction decisions, Transportation Research Interdisciplinary Perspectives. Volume 3, December 2019, 100072,
  • B. Carter, G. Bakirtzis, C. Elks, C. Fleming. Systems-Theoretic Security Requirements Modeling for Cyber-Physical Systems, Systems Engineering. 2019; Volume 22, Pages 411-421., Impact Factor: 1.0.
  • Carter B., Adams S., Bakirtzis G., Sherburne T., Beling P., Horowitz B., Fleming C. A Preliminary Design-Phase Security Methodology for Cyber-Physical Systems, Systems. 2019; Vol 7(2):21,
  • Sun, M., Rand, K., and Fleming C. 4 Dimensional Waypoint Generation for conflict-free Trajectory Based Operation, Aerospace Science and Technology. Volume 88, May 2019, Pages 350-361, Impact Factor: 4.499.
  • Jafarzadeh, H. and Fleming C. An Exact Geometry-Based Algorithm for Path Planning, International Journal of Applied Mathematics and Computer Science. Vol. 28, No. 3, 493–504, Impact Factor: 1.694.
  • Boyer, R.; Scherer, W.; Fleming C.; Connors, C.; and Whitehead, N. A Human-Machine Methodology for Investigating Systems Thinking in a Complex Corpus, IEEE Systems Journal. Sept 2018 Vol: 12, Issue:3 Pp: 2937-2948, Impact Factor: 5.280.
  • Fleming C. and Leveson, N.G. Early Concept Development and Safety Analysis of Future Transportation Systems, IEEE Transactions on Intelligent Transportation Systems. Vol. 17, No. 12 (2016), pp. 3512-3523, Impact Factor: 6.319.
  • Fleming C. and Leveson, N. Improving Hazard Analysis and Certification of Integrated Modular Avionics, AIAA Journal of Aerospace Information Systems. Vol. 11, No. 6 (2014), pp. 397-411, Impact Factor: 0.892.
  • Ishimatsu, T., Leveson, N.G., Thomas, J.P., Fleming C., Katahira, M., Miyamoto, Y., Ujiie, R., Nakao, H. and Hoshino, N. Analysis of Complex Spacecraft Using Systems Theoretic Process Analysis, AIAA Journal of Spacecraft and Rockets. Vol. 51, No. 2 (2014), pp. 509-522, Impact Factor: 1.207.
  • Fleming C.; Spencer, M.; Leveson, N.; and Wilkinson, C. Safety assurance in NextGen and complex transportation systems, Safety Science. Volume 55, June 2013, Pages 173-187, Impact Factor: 4.350.
  • Hassan Jafarzadeh and Cody Fleming. Gaussian Process-based Model Predictive Controller for Connected Vehicles with Uncertain Wireless Channel, 24th IEEE Intelligent Transportation Systems Conference (ITSC 2021), September 2021.
  • Neil Singh, Sander Abraham, Minghui Sun, and Cody Fleming. Optimization of Waypoint-based Flight-deck Interval Management for NextGen Concept of Operations, 2021 AIAA SciTech Forum. January 2021.
  • Jasmine Sekhon and Cody Fleming. SCAN: A Spatial Context Attentive Network for Joint Multi-Agent Intent Prediction, Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21). February 2021. Acceptance rate: 21%
  • Georgios Bakirtzis, Fabrizio Genovese, Cody Fleming. Categorical Semantics of Security Modeling, ICRA 21 Workshop on Compositional Robotics: Mathematics and Tools. Xi’an, China, May-June 2021.
  • M. Sun; S. Abraham; N. Singh; C. Fleming. Waypoint-based Flight-deck Interval Management, 2020 AIAA SciTech Forum. January 2020.
  • Austin Anderson, Chris Marshall, Toby Hansford, Mason Jordan, Sragdhara Khakurel, Michael Quinn, Katherine Taylor, Amy Xie, and Cody Fleming. Measuring Airport Similarity to Create a Towering Decision Aid, SIEDS `20 IEEE Systems and Information Engineering Design Symposium. Charlottesville, VA, April 2020.
  • Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, and Cody H. Fleming.Fundamental Challenges of Cyber-Physical Systems Security Modeling, DSN 2020: 50th IEEE IFP International Conference on Dependable Systems and Networks. Acceptance rate: 16.5%
  • Jasmine Sekhon and Cody Fleming, A Spatially and Temporally Attentive Joint Trajectory Prediction Framework for Modeling Vessel Intent, 2nd Conference on Learning for DynamIcs & Control (L4DC). Berkeley, CA, June 2020. Acceptance rate for oral presentation: 11%
  • Georgios Bakirtzis, Christina Vasilakopoulou and Cody Fleming. Compositional Cyber-Physical Systems Modeling, Applied Category Theory 2020. July 2020.
  • Max Bergman, Stephen Adams, Tim Sherburne, Cody Fleming, Peter Beling. Active Learning to Improve Static Analysis, 18th IEEE International Conference on Machine Learning and Applications - ICMLA 2019. Florida, December 2019. Acceptance rate: TBD%
  • Jafarzadeh, H. and Fleming C. Learning Model Predictive Control for Connected Autonomous Vehicles, 58th IEEE Conference on Decision and Control. Nice, France, December 2019.
  • Minghui Sun, Xiyuan Ge, Cody Fleming, Guaranteed Conflict: when speed advisory doesn’t work for Time-based Flow Management, Thirteenth USA-Europe Air Traffic Management Research and Development Seminar (ATM2019). Vienna, Austria, June 2019.
  • Jasmine Sekhon and Cody Fleming, Towards Improved Testing For Deep Learning, 41st ACM-IEEE International Conference on Software Engineering, ICSE 2019, New Ideas and Emerging Results. Acceptance rate: 27%
  • Elahe Soltanaghaei, Mahmoud Elnaggar, Katie Kleeman, Kamin Whitehouse, Cody Fleming. Characterizing Uncertainties of Wireless Channels in Connected Vehicles, MobiCom 2019, The 25th Annual International Conference on Mobile Computing and Networking. Posters & Demos, Oct 21-25, 2019.
  • Charles Rogers, Jonathan Bugg, Chris Nyheim, Will Gebhardt, Brian Andris, Evan Heitman, and Cody Fleming Adversarial Artificial Intelligence for Overhead Imagery Classification Models, SIEDS `19 IEEE Systems and Information Engineering Design Symposium. Charlottesville, VA, April 2019.
  • G. Bakirtzis, B.T. Carter, C.R. Elks, C.H. Fleming, A Model-Based Approach to Security Analysis for Cyber-Physical Systems, 12th Annual IEEE International Systems Conference SYSCON. Vancouver BC, Canada, April 2018. Acceptance rate: 53%
  • Mahmoud Elnaggar, Kamin Whitehouse and Cody Fleming. Bayesian Wireless Channel Prediction for Safety-Critical Connected Autonomous Vehicles, Bayesian Deep Learning Workshop. NeurIPS 2018
  • J. Rowley, A. Liu, S. Sandry, J. Gross, M. Salvador, C. Anton, and C. Fleming, Examining the Driverless Future: An Analysis of Human-Caused Vehicle Accidents and Development of an Autonomous Vehicle Communication Testbed, SIEDS `18, IEEE Systems and Information Engineering Design Symposium. Charlottesville, VA, April 2018.
  • B. Carter, C. Fleming, C. Elks, and G. Bakirtzis. Cyber-Physical Systems Modeling for Security Using SysML. CSER 2018:16th-Annual Conference on Systems Engineering. Charlottesville, VA USA, May 2018.
  • B. Carter, G. Bakirtzis, C. Elks, C. Fleming, A Systems Approach for Eliciting Mission-Centric Security Requirements, 12th Annual IEEE International Systems Conference SYSCON. Vancouver BC, Canada, April 2018. {\bf Best Student Paper Award}. Acceptance rate: 53%
  • S. Adams, B. Carter, C. Fleming, P.A. Beling. Selecting System Specific Cyber-Security Attack Patterns using Topic Modeling, 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18). New York, NY USA, August 2018. Acceptance rate: 16%
  • R. Bailey, C.H. Fleming, W.T. Scherer, M.C. Smith, W.H. Guilford, J.W. Lark, III, D. Elzey, S. Russell, S. Acton, B.L. Smith. Integrating Systems Approaches into Education Using Active Case Studies, Frontiers in Education 2018. San Jose, CA USA, October 2018.
  • Bashiri, M., Jafarzadeh, H., and Fleming C. PAIM: Platoon-based Autonomous Intersection Management, 2018 IEEE Intelligent Transportation Systems Conference (ITSC 2018). Hawaii, November 2018.
  • G. Bakirtzis, B. Simon, C. Fleming, and C. Elks. Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis, IEEE Symposium on Visualization for Cyber Security (VizSec). Berlin, Germany, October 2018. Acceptance rate: 35%
  • Sun, M., Ge, X., and Fleming C. Resolving a Dilemma: Guaranteeing Conflict-free 4D-Trajectories While Leaving Autonomy to Airlines, 2018 IEEE-AIAA 37th Digital Avionics Systems Conference (DASC). London, UK, September 2018.
  • Calhoun, Z., Maribojoc, P., Selzer, N., Procopi, L., Bezzo, N., and Fleming, C. Analysis of Identity and Access Management alternatives for a multinational information-sharing environment. Systems and Information Engineering Design Symposium (SIEDS), 2017. (pp. 208-213). IEEE, April 2017.
  • Bashiri, M. and Fleming C. A Platoon-Based Intersection Management System for Autonomous Vehicles, 2017 IEEE Intelligent Vehicles Symposium (IV 2017). Redondo Beach, CA, June 2017. Acceptance rate: 50% [average for previous years]
  • Fleming C. Systems Theory and a Drive Towards Model-based Safety Analysis, 11th Annual IEEE International Systems Conference, special session on Theoretical Foundations of Systems Engineering (THEFOSE). Montreal, Quebec, April 2017. Acceptance rate: 45% [average for previous years]
  • Fleming C. A Systems-theoretic Approach to Early Concept Development, SMC2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics. Budapest, Hungary, October 2016. Acceptance rate: 42%
  • Bains, P.; Ferris, K.; Gregoire, J.; Kim, J.; Kozloski, J.; Lazenby, J.; Ofiesh, D.; Shank, E.; Wu, K.; Beling, P.; and Fleming C. Risk Analysis of Globalized Airline Supply Chains, SIEDS `16, IEEE Systems and Information Engineering Design Symposium. Charlottesville, VA, April 2016.
  • Leveson, N.; Fleming C.; Thomas, J.; Wilkinson, C. A Comparison of SAE ARP 4761 and STPA Safety Assessment Processes, 23rd Safety-critical Systems Symposium (SSS'15). Bristol, UK, February 2015.
  • Fleming C.; Leveson, N. Including Safety during Early Development Phases of Future Air Traffic Management Concepts, Eleventh USA-Europe Air Traffic Management Research and Development Seminar (ATM2015). Lisbon, Portugal, June 2015. Acceptance rate: 40%
  • Fleming, C.; Leveson, N. Integrating Systems Safety into Systems Engineering during Concept Development, 25th Annual INCOSE International Symposium 2015. Seattle, WA, July 2015. {\bf Brian Marr Best Student Paper Award}.
  • Fleming C. Model-based Concept Development and Safety Driven Design, Informatik 2014: Big Data. Stuttgart, Germany, September 2014.
  • Fleming C.; Leveson, N.G.; Placke, M.S. Assuring Safety of NextGen Procedures, Tenth USA-Europe Air Traffic Management Research and Development Seminar (ATM2013). Chicago, IL, June 2013. Acceptance rate: 40%
  • Leveson, N.G.; Fleming C.; Spencer, M.; Thomas, J.; Wilkinson, C. Safety Assurance of Complex, Software-Intensive Systems, SAE 2012 Aerospace Electronics and Avionics Systems Conference. October 2012.
  • Fleming C.; Ishimatsu, T.; Miyamoto, Y.; Nakao, H.; Katahira, M.; Hoshino, N.; Thomas, J; Leveson, N. Safety-Guided Spacecraft Design Using Model-based Specifications_11th International Association for the Advancement of Space Safety._ Versailles, France, October 2011.
  • Ishimatsu, T.; Leveson, N.; Fleming C.; Katahira, M.; Miyamoto, Y.; Nakao, H. Multiple Controller Contributions to Hazards_11th International Association for the Advancement of Space Safety._ Versailles, France, October 2011.
  • Adams, Stephen, Peter A. Beling, James H. Lambert, William T. Scherer, and Cody H. Fleming. Systems Engineering in Context. Springer. DOI: 10.1007/978-3-030-00114-8
  • Minghui Sun, Cody H. Fleming, and Milena Milich. Defining and Reasoning about Model-based Safety Analysis: A Review, NASA Contractor Report, March 2021.
  • Thomas A. McDermott Jr., Cody Fleming, Megan M. Clifford, Tim Sherburne, Giorgos Bakirtzis, Krista Rand. Concept of Operations (CONOPS) Exploiting Cyber Vulnerabilities of Oil and Gas Pipelines Building the Systems Assurance Framework, SERC-SR-2020-004, December, 2020.
  • Thomas A. McDermott Jr., Cody Fleming, Megan M. Clifford, Tim Sherburne, Giorgos Bakirtzis, Krista Rand. Methods to Evaluate Cost/Technical Risk and Opportunity Decisions for Security Assurance in Design, SERC-TR-2020-005, June 2020.
  • Peter A. Beling, Barry Horowitz, Cody Fleming, Stephen Adams, Tim Sherburne, Davis Loose. RT-1013: Security Engineering. SERC-2020-TR-008, June 2020.
  • Bakirtzis, G. and Fleming, C., Cyber-physical System Safety and Security in the Nuclear Power Plant Context, ANS Student Conference. April 2019, Richmond VA.
  • Moradinasab, Nazanin; Hassan Jafarzadeh, M. R. Amin-Naseri, and Cody H. Fleming. A Dynamic Sustainable Competitive Petroleum Supply Chain Model for Various Stakeholders with Shared Facilities. arXiv preprint. arXiv:1907.11789 (2019).
  • Beling P, Horowitz B, Fleming C, Adams S, Bakirtzis G, Carter B, Sherburne T, Elks C, Collins A, Simon B. Model-based Engineering for Functional Risk Assessment and Design of Cyber Resilient Systems. University of Virginia Charlottesville United States; 2019 Feb 22.
  • Horowitz B, Beling P, Fleming C, Adams S, Carter B, Sherburne T, Elks C, Bakirtzis G, Shull F, Mead NR. Cyber Security Requirements Methodology. Stevens Institute of Technology Hoboken United States; 2018 Jul 26.
  • Bakirtzis, G.; Carter, B.; Elks, C.; and Fleming, C. Cyber Assurance Assessment Using Systems and Control Theory, 26th USENIX Security Symposium (USENIX Security ‘17). Vancouver, BC, Canada, August 2017.
  • Rand, K. and Fleming, C. Population Migration & Infrastructure Resilience: A Review of Theory and Practice, 26th SRA-Europe Conference. Lisbon, Portugal, June 2017.
  • Horowitz B, Beling P, Fleming C, Adams S, Carter B, Vemuru K, Elks C, Bakker T, Cios K, Bakirtzis G, Collins A. Security Engineering FY17 Systems Aware Cybersecurity. Stevens Institute of Technology Hoboken United States; 2017 Dec 7.
  • Leveson, N.; Wilkinson, C.; Fleming C.; and Thomas, J. A Comparison of STPA and the ARP 4761 Safety Assessment Process, MIT Technical Report, June 2014.
  • Fleming C.; Placke, M.S.; and Leveson, N. STPA Analysis of NextGen Interval Management Components, FAA Technical Report, September 2013.
  • Fleming C.; Spencer, M.; Thomas, J.; Leveson, N.; and Wilkinson, C. Mission Assurance in NextGen Technologies, NASA Technical Report, March 2012.
  • An STPA Primer Version 1, August 2013. __
  • Hassan Jafarzadeh. Data- and Model-Driven Predictive Control: With Applications to Connected Autonomous Vehicles, PhD Dissertation. University of Virginia.
  • Georgios Bakirtzis. Compositional Cyber-Physical Systems Theory, PhD Dissertation. University of Virginia.
  • Masoud Bashiri. Data-Driven Intersection ManagementSolutions for Mixed Traffic of Human-Drivenand Connected and Automated Vehicles, PhD Dissertation. University of Virginia.
  • Krista Rand. A System Theoretic Approach to Dynamic Recovery Strategy Design in Networked Systems, PhD Dissertation. University of Virginia.