Get started
Author

Georgios Bakirtzis

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering
2021 · Georgios Bakirtzis, Tim Sherburne, et al. · Software & Systems Modeling · 48
PDF
Categorical Semantics of Cyber-Physical Systems Theory
2021 · Georgios Bakirtzis, Cody H. Fleming, et al. · ACM Transactions on Cyber-Physical Systems · 34
PDF
A Preliminary Design-Phase Security Methodology for Cyber–Physical Systems
2019 · Bryan Carter, Stephen Adams, et al. · Systems · 34
A model-based approach to security analysis for cyber-physical systems
2018 · Georgios Bakirtzis, Bryan T. Carter, et al. · IEEE International Systems Conference (SysCon) · 33
PDF
Data-Driven Vulnerability Exploration for Design Phase System Analysis
2019 · Georgios Bakirtzis, Brandon J. Simon, et al. · IEEE Systems Journal · 27
PDF
A systems approach for eliciting mission-centric security requirements
2018 · Bryan T. Carter, Georgios Bakirtzis, et al. · IEEE International Systems Conference (SysCon) · 26
PDF
Dynamic Certification for Autonomous Systems
2023 · Georgios Bakirtzis, Steven Carr, et al. · Communications of the ACM · 23
PDF
Compositional Cyber-Physical Systems Modeling
2021 · Georgios Bakirtzis, Christina Vasilakopoulou, et al. · Electronic Proceedings in Theoretical Computer Science · 20
Systems‐theoretic security requirements modeling for cyber‐physical systems
2019 · Bryan T. Carter, Georgios Bakirtzis, et al. · Systems Engineering · 18
Formal Methods for Autonomous Systems
2023 · Tichakorn Wongpiromsarn, Mahsa Ghasemi, et al. · Foundations and Trends® in Systems and Control · 17
PDF
Compositional Thinking in Cyberphysical Systems Theory
2021 · Georgios Bakirtzis, Eswaran Subrahmanian, et al. · Computer · 14
PDF
Cyberphysical Security Through Resiliency: A Systems-Centric Approach
2021 · Cody H Fleming, Carl Elks, et al. · Computer · 14
PDF
Mission Aware Cyber‐Physical Security
2025 · Georgios Bakirtzis, Bryan Carter, et al. · Systems Engineering · 13
PDF
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection
2022 · Smitha Gautham, Georgios Bakirtzis, et al. · Lecture notes in computer science · 12
PDF
Fundamental Challenges of Cyber-Physical Systems Security Modeling
2020 · Georgios Bakirtzis, Garrett Ward, et al. · IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) · 11
PDF
Cyber-Physical Systems Modeling for Security Using SysML
2019 · Bryan T. Carter, Cody H. Fleming, et al. · Springer eBooks · 8
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems
2019 · Smitha Gautham, Georgios Bakirtzis, et al. · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 7
PDF
Cyber Security Requirements Methodology
2018 · Barry Horowitz, Peter A. Beling, et al. · 7
Security Engineering FY17 Systems Aware Cybersecurity
2017 · Barry Horowitz, Peter A. Beling, et al. · 7
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
2024 · Georgios Bakirtzis, Michail Savvas, et al. · Frontiers in artificial intelligence and applications · 6
Yoneda Hacking: The Algebra of Attacker Actions
2022 · Georgios Bakirtzis, Fabrizio Genovese, et al. · ACM Transactions on Cyber-Physical Systems · 6
PDF
Correct-by-construction requirement decomposition
2025 · Minghui Sun, Georgios Bakirtzis, et al. · Software & Systems Modeling · 5
PDF
Compositional Cyber-Physical Systems Theory
2021 · Georgios Bakirtzis · arXiv (Cornell University) · 5
PDF
A Modular Software Platform for Unmanned Aerial Vehicle Autopilot Systems
2014 · Garrett L. Ward, Georgios Bakirtzis, et al. · AIAA Aerospace Sciences Meeting · 5
Negotiating Control: Neurosymbolic Variable Autonomy
2024 · Georgios Bakirtzis, Manolis Chiou, et al. · Frontiers in artificial intelligence and applications · 4
Works count: 43
Citation count: 422
H-index: 13
I10-index: 15
Year
Topic
Type