Georgios Bakirtzis
University of Virginia
H-index: 12
North America-United States
Top articles of Georgios Bakirtzis
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Dynamic certification for autonomous systems | Communications of the ACM | Georgios Bakirtzis Steven Carr David Danks Ufuk Topcu | 2023/8/23 |
Memoryless Adversaries in Imperfect Information Games | Dhananjay Raju Georgios Bakirtzis Ufuk Topcu | 2023/5/30 | |
Autonomy Verification & Validation Roadmap and Vision 2045 | Tech. Rep. | Guillaume P Brat Huafeng Yu Ella Atkins Prashin Sharma Darren Cofer | 2023/1/31 |
On the complexity of sabotage games for network security | arXiv preprint arXiv:2312.13132 | Dhananjay Raju Georgios Bakirtzis Ufuk Topcu | 2023/12/20 |
Formal Methods for Autonomous Systems | Foundations and Trends® in Systems and Control | Tichakorn Wongpiromsarn Mahsa Ghasemi Murat Cubuktepe Georgios Bakirtzis Steven Carr | 2023/11/2 |
AlgebraicSystems: Compositional Verification for Autonomous System Design | Georgios Bakirtzis Ufuk Topcu | 2022/3/3 | |
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering | Software and Systems Modeling | Georgios Bakirtzis Tim Sherburne Stephen Adams Barry M Horowitz Peter A Beling | 2022/2 |
Sensor Placement for Online Fault Diagnosis | arXiv preprint arXiv:2211.11741 | Dhananjay Raju Georgios Bakirtzis Ufuk Topcu | 2022/11/21 |
A formal process of hierarchical functional requirements development for Set-Based Design | arXiv preprint arXiv:2210.14434 | Minghui Sun Zhaoyang Chen Georgios Bakirtzis Hassan Jafarzadeh Cody Fleming | 2022/10/26 |
Yoneda hacking: The algebra of attacker actions | ACM Transactions on Cyber-Physical Systems (TCPS) | Georgios Bakirtzis Fabrizio Genovese Cody H Fleming | 2022/9/7 |
Categorical semantics of compositional reinforcement learning | arXiv preprint arXiv:2208.13687 | Georgios Bakirtzis Michail Savvas Ufuk Topcu | 2022/8/29 |
STPA-driven multilevel runtime monitoring for In-time hazard detection | Smitha Gautham Georgios Bakirtzis Alexander Will Athira Varma Jayakumar Carl R Elks | 2022/6/6 | |
Compositional Cyber-Physical Systems Theory | Georgios Bakirtzis | 2021/5 | |
Compositional cyber-physical systems modeling | Proceedings of the 2019 Applied Category Theory Conference (ACT 2020), Electronic Proceedings in Theoretical Computer Science. Open Publishing Association | Georgios Bakirtzis Christina Vasilakopoulou Cody H Fleming | 2020 |
Methods to evaluate cost/technical risk and opportunity decisions for security assurance in design | Tom McDermott CH Fleming M Clifford Tim Sherburne Georgios Bakirtzis | 2021 | |
Compositional thinking in cyberphysical systems theory | Computer | Georgios Bakirtzis Eswaran Subrahmanian Cody H Fleming | 2021/11/19 |
Categorical semantics of cyber-physical systems theory | ACM Transactions on Cyber-Physical Systems | Georgios Bakirtzis Cody H Fleming Christina Vasilakopoulou | 2021/7/10 |
Cyberphysical security through resiliency: A systems-centric approach | Computer | Cody Fleming Carl Elks Georgios Bakirtzis Stephen C Adams Bryan Carter | 2021 |
Fundamental challenges of cyber-physical systems security modeling | Georgios Bakirtzis Garrett Ward Christopher Deloglos Carl Elks Barry Horowitz | 2020/6/29 |