Georgios Bakirtzis

According to our database, Georgios Bakirtzis authored at least 29 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dynamic Certification for Autonomous Systems.

Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu

Commun. ACM, September, 2023

Formal Methods for Autonomous Systems.

Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu

Found. Trends Syst. Control., 2023

On the complexity of sabotage games for network security.

Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu

CoRR, 2023

Memoryless Adversaries in Imperfect Information Games.

Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Yoneda Hacking: The Algebra of Attacker Actions.

Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming

ACM Trans. Cyber Phys. Syst., 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

Sensor Placement for Online Fault Diagnosis.

Dhananjay Raju, Georgios Bakirtzis, 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

Categorical semantics of compositional reinforcement learning.

Georgios Bakirtzis, Michail Savvas, Ufuk Topcu

CoRR, 2022

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.

Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks

Proceedings of the Computer Safety, Reliability, and Security, 2022

AlgebraicSystems: Compositional Verification for Autonomous System Design.

Georgios Bakirtzis, Ufuk Topcu

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021

Categorical Semantics of Cyber-Physical Systems Theory.

Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou

ACM Trans. Cyber Phys. Syst., 2021

Compositional Cyber-Physical Systems Theory.

Georgios Bakirtzis

CoRR, 2021

Compositional Thinking in Cyber-Physical Systems Theory.

Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming

CoRR, 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 Cyberphysical Systems Theory.

Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming

Computer, 2021

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 Cyber-Physical Systems Modeling.

Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 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

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

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

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

Systems-theoretic security requirements modeling for cyber-physical systems.

Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming

Syst. Eng., 2019

Correct-by-construction: a contract-based semi-automated requirement decomposition process.

Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh, Cody H. Fleming

CoRR, 2019

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

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

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

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

Proceedings of the 15th IEEE Symposium on Visualization for Cyber Security, 2018

A systems approach for eliciting mission-centric security requirements.

Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

A model-based approach to security analysis for cyber-physical systems.

Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2017

MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis.

Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming, Carl R. Elks

CoRR, 2017