Georgios Bakirtzis

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 42

Top Topics

Security Analysis

Imperfect Information

Security Requirements

Top Venues

ACM Trans. Cyber Phys. Syst.

Publications

Georgios Bakirtzis, Manolis Chiou, Andreas Theodorou
Negotiating Control: Neurosymbolic Variable Autonomy. CoRR (2024)
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
Memoryless Adversaries in Imperfect Information Games. AAMAS (2023)
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
Dynamic Certification for Autonomous Systems. Commun. ACM 66 (9) (2023)
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal Methods for Autonomous Systems. Found. Trends Syst. Control. 10 (3-4) (2023)
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal Methods for Autonomous Systems. CoRR (2023)
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
On the complexity of sabotage games for network security. CoRR (2023)
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
Sensor Placement for Online Fault Diagnosis. CoRR (2022)
Georgios Bakirtzis, Ufuk Topcu
AlgebraicSystems: Compositional Verification for Autonomous System Design. CoRR (2022)
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection. SAFECOMP (2022)
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira V. Jayakumar, Carl R. Elks
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection. CoRR (2022)
Georgios Bakirtzis, Michail Savvas, Ufuk Topcu
Categorical semantics of compositional reinforcement learning. CoRR (2022)
Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
Yoneda Hacking: The Algebra of Attacker Actions. ACM Trans. Cyber Phys. Syst. 6 (3) (2022)
Minghui Sun, Zhaoyang Chen, Georgios Bakirtzis, Hassan Jafarzadeh, Cody H. Fleming
A formal process of hierarchical functional requirements development for Set-Based Design. CoRR (2022)
Georgios Bakirtzis, Tim Sherburne, Stephen C. Adams, Barry M. Horowitz, Peter A. Beling, Cody Harrison Fleming
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering. Softw. Syst. Model. 21 (1) (2022)
Georgios Bakirtzis, Ufuk Topcu
AlgebraicSystems: Compositional Verification for Autonomous System Design. ICCPS (2022)
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
Dynamic Certification for Autonomous Systems. CoRR (2022)
Georgios Bakirtzis, Cody Harrison Fleming, Christina Vasilakopoulou
Categorical Semantics of Cyber-Physical Systems Theory. ACM Trans. Cyber Phys. Syst. 5 (3) (2021)
Georgios Bakirtzis
Compositional Cyber-Physical Systems Theory. CoRR (2021)
Georgios Bakirtzis, Fabrizio Genovese, Cody Harrison Fleming
Yoneda Hacking: The Algebra of Attacker Actions. CoRR (2021)
Cody Harrison Fleming, Carl R. Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan T. Carter, Peter A. Beling, Barry M. Horowitz
Cyberphysical Security Through Resiliency: A Systems-Centric Approach. Computer 54 (6) (2021)
Georgios Bakirtzis, Eswaran Subrahmanian, Cody Harrison Fleming
Compositional Thinking in Cyber-Physical Systems Theory. CoRR (2021)
Georgios Bakirtzis, Eswaran Subrahmanian, Cody Harrison Fleming
Compositional Thinking in Cyberphysical Systems Theory. Computer 54 (12) (2021)
Georgios Bakirtzis, Christina Vasilakopoulou, Cody Harrison Fleming
Compositional Cyber-Physical Systems Modeling. ACT (2020)
Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody Fleming
Fundamental Challenges of Cyber-Physical Systems Security Modeling. DSN (Supplements) (2020)
Georgios Bakirtzis, Tim Sherburne, Stephen C. Adams, Barry M. Horowitz, Peter A. Beling, Cody Harrison Fleming
An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering. CoRR (2020)
Cody Fleming, Carl R. Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan T. Carter, Peter A. Beling, Barry M. Horowitz
Cyber-Physical Security Through Resiliency: A Systems-centric Approach. CoRR (2020)
Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody Harrison Fleming, Carl R. Elks
Data-Driven Vulnerability Exploration for Design Phase System Analysis. IEEE Syst. J. 14 (4) (2020)
Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody Harrison Fleming
Fundamental Challenges of Cyber-Physical Systems Security Modeling. CoRR (2020)
Georgios Bakirtzis, Cody Harrison Fleming, Christina Vasilakopoulou
Categorical Semantics of Cyber-Physical Systems Theory. CoRR (2020)
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody Harrison Fleming
Systems-theoretic security requirements modeling for cyber-physical systems. Syst. Eng. 22 (5) (2019)
Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody Harrison Fleming, Carl R. Elks
Data Driven Vulnerability Exploration for Design Phase System Analysis. CoRR (2019)
Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh, Cody Fleming
Correct-by-construction: a contract-based semi-automated requirement decomposition process. CoRR (2019)
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract. ICCPS (2019)
Bryan T. Carter, Stephen C. Adams, Georgios Bakirtzis, Tim Sherburne, Peter A. Beling, Barry M. Horowitz, Cody Harrison Fleming
A Preliminary Design-Phase Security Methodology for Cyber-Physical Systems. Syst. 7 (2) (2019)
Georgios Bakirtzis, Brandon J. Simon, Cody Harrison Fleming, Carl R. Elks
Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis. CoRR (2018)
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems. CoRR (2018)
Georgios Bakirtzis, Brandon J. Simon, Cody Harrison Fleming, Carl R. Elks
Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis. VizSEC (2018)
Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody Harrison Fleming
A model-based approach to security analysis for cyber-physical systems. SysCon (2018)
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody Harrison Fleming
A systems approach for eliciting mission-centric security requirements. SysCon (2018)
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody Harrison Fleming
A Systems Approach for Eliciting Mission-Centric Security Requirements. CoRR (2017)
Georgios Bakirtzis, Bryan T. Carter, Cody Harrison Fleming, Carl R. Elks
MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis. CoRR (2017)
Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody Harrison Fleming
A Model-Based Approach to Security Analysis for Cyber-Physical Systems. CoRR (2017)