Georgios Bakirtzis

53 papers A 2B 1C 1Journal 41Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Breaking Exponential Complexity in Games of Ordered Preference: A Tractable Reformulation.
CoRR
Dong Ho Lee, Jingqi Li, Lasse Peters, Georgios Bakirtzis, David Fridovich-Keil
2026 J jnl
Correct-by-construction requirement decomposition.
Softw. Syst. Model.
Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh, Cody H. Fleming
2026 J jnl
On the Complexity of Sabotage Games for Network Security.
IEEE Trans. Netw.
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
2025 — conf
Approximate Solutions to Games of Ordered Preference.
ITSC
Pau de las Heras Molins, Eric Roy-Almonacid, Dong Ho Lee, Lasse Peters, David Fridovich-Keil, Georgios Bakirtzis
2025 J jnl
Approximate solutions to games of ordered preference.
CoRR
Pau de las Heras Molins, Eric Roy-Almonacid, Dong Ho Lee, Lasse Peters, David Fridovich-Keil, Georgios Bakirtzis
2025 J jnl
Categorical Semantics of Compositional Reinforcement Learning.
J. Mach. Learn. Res.
Georgios Bakirtzis, Michail Savvas, Ufuk Topcu
2025 J jnl
Compositional shield synthesis for safe reinforcement learning in partial observability.
CoRR
Steven Carr, Georgios Bakirtzis, Ufuk Topcu
2024 J jnl
Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI.
CoRR
Georgios Bakirtzis, Andrea Aler Tubella, Andreas Theodorou, David Danks, Ufuk Topcu
2024 — conf
Negotiating Control: Neurosymbolic Variable Autonomy.
CCIA
Georgios Bakirtzis, Manolis Chiou, Andreas Theodorou
2024 J jnl
Negotiating Control: Neurosymbolic Variable Autonomy.
CoRR
Georgios Bakirtzis, Manolis Chiou, Andreas Theodorou
2024 A conf
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning.
ECAI
Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2024 J jnl
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning.
CoRR
Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2023 J jnl
Dynamic Certification for Autonomous Systems.
Commun. ACM
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
2023 J jnl
Formal Methods for Autonomous Systems.
CoRR
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
2023 J jnl
Formal Methods for Autonomous Systems.
Found. Trends Syst. Control.
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
2023 A conf
Memoryless Adversaries in Imperfect Information Games.
AAMAS
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
2023 J jnl
On the complexity of sabotage games for network security.
CoRR
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
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 — conf
AlgebraicSystems: Compositional Verification for Autonomous System Design.
ICCPS
Georgios Bakirtzis, Ufuk Topcu
2022 J jnl
AlgebraicSystems: Compositional Verification for Autonomous System Design.
CoRR
Georgios Bakirtzis, Ufuk Topcu
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
Categorical semantics of compositional reinforcement learning.
CoRR
Georgios Bakirtzis, Michail Savvas, Ufuk Topcu
2022 J jnl
Dynamic Certification for Autonomous Systems.
CoRR
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
2022 B conf
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.
SAFECOMP
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks
2022 J jnl
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection.
CoRR
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira V. Jayakumar, Carl R. Elks
2022 J jnl
Sensor Placement for Online Fault Diagnosis.
CoRR
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
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
Categorical Semantics of Cyber-Physical Systems Theory.
ACM Trans. Cyber Phys. Syst.
Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou
2021 J jnl
Compositional Cyber-Physical Systems Theory.
CoRR
Georgios Bakirtzis
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
Yoneda Hacking: The Algebra of Attacker Actions.
CoRR
Georgios Bakirtzis, Fabrizio Genovese, 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 J jnl
Data-Driven Vulnerability Exploration for Design Phase System Analysis.
IEEE Syst. J.
Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody Harrison Fleming, Carl R. Elks
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
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 — conf
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract.
ICCPS
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks
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 J jnl
Systems-theoretic security requirements modeling for cyber-physical systems.
Syst. Eng.
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming
2018 J jnl
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems.
CoRR
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks
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 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
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 J jnl
MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis.
CoRR
Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming, Carl R. Elks