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

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)

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)

A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems. - Smitha Gautham; Georgios Bakirtzis; Matthew T. Leccadito; Robert H. Klenke; Carl R. Elks (CoRR, 2018)

A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract. - Smitha Gautham; Georgios Bakirtzis; Matthew T. Leccadito; Robert H. Klenke; Carl R. Elks (ICCPS, 2019)

Correct-by-construction: a contract-based semi-automated requirement decomposition process. - Minghui Sun; Georgios Bakirtzis; Hassan Jafarzadeh; Cody H. Fleming (CoRR, 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)

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)

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)

Compositional Cyber-Physical Systems Theory. - Georgios Bakirtzis (CoRR, 2021)

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

AlgebraicSystems: Compositional Verification for Autonomous System Design. - Georgios Bakirtzis; Ufuk Topcu (ICCPS, 2022)

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection. - Smitha Gautham; Georgios Bakirtzis; Alexander Will; Athira Varma Jayakumar; Carl R. Elks (SAFECOMP, 2022)

Categorical semantics of compositional reinforcement learning. - Georgios Bakirtzis; Michail Savvas; Ufuk Topcu (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)

Sensor Placement for Online Fault Diagnosis. - Dhananjay Raju; Georgios Bakirtzis; Ufuk Topcu (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)

Memoryless Adversaries in Imperfect Information Games. - Dhananjay Raju; Georgios Bakirtzis; Ufuk Topcu (AAMAS, 2023)

On the complexity of sabotage games for network security. - Dhananjay Raju; Georgios Bakirtzis; Ufuk Topcu (CoRR, 2023)

Formal Methods for Autonomous Systems. - Tichakorn Wongpiromsarn; Mahsa Ghasemi; Murat Cubuktepe; Georgios Bakirtzis; Steven Carr 002; Mustafa O. Karabag; Cyrus Neary; Parham Gohari; Ufuk Topcu (Found. Trends Syst. Control., 2023)

Dynamic Certification for Autonomous Systems. - Georgios Bakirtzis; Steven Carr 002; David Danks; Ufuk Topcu (Commun. ACM, 2023)

Negotiating Control: Neurosymbolic Variable Autonomy. - Georgios Bakirtzis; Manolis Chiou; Andreas Theodorou (CCIA, 2024)

Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning. - Georgios Bakirtzis; Michail Savvas; Ruihan Zhao 001; Sandeep Chinchali; Ufuk Topcu (ECAI, 2024)

Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI. - Georgios Bakirtzis; Andrea Aler Tubella; Andreas Theodorou; David Danks; Ufuk Topcu (CoRR, 2024)

Approximate solutions to games of ordered preference. - Pau de las Heras Molins; Eric Roy-Almonacid; Dong Ho Lee; Lasse Peters; David Fridovich-Keil; Georgios Bakirtzis (CoRR, 2025)