Georgios Bakirtzis

53 papers A 2B 1C 1Journal 41Unranked 8

Year	Rank	Type	Title / 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