Categorical semantics of cyber-physical systems theory G Bakirtzis, CH Fleming, C Vasilakopoulou ACM Transactions on Cyber-Physical Systems 5 (3), 1-32, 2021 | 35 | 2021 |
A model-based approach to security analysis for cyber-physical systems G Bakirtzis, BT Carter, CR Elks, CH Fleming 2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018 | 35 | 2018 |
A preliminary design-phase security methodology for cyber–physical systems B Carter, S Adams, G Bakirtzis, T Sherburne, P Beling, B Horowitz, ... Systems 7 (2), 21, 2019 | 32 | 2019 |
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering G Bakirtzis, T Sherburne, S Adams, BM Horowitz, PA Beling, CH Fleming Software and Systems Modeling 21 (1), 113-137, 2022 | 30 | 2022 |
Compositional cyber-physical systems modeling G Bakirtzis, C Vasilakopoulou, CH Fleming 3rd Annual International Applied Category Theory Conference (ACT 2020), 2021 | 24 | 2021 |
A systems approach for eliciting mission-centric security requirements BT Carter, G Bakirtzis, CR Elks, CH Fleming Systems Conference (SysCon), 2018 Annual IEEE International, 1-8, 2018 | 22 | 2018 |
Data-driven vulnerability exploration for design phase system analysis G Bakirtzis, BJ Simon, AG Collins, CH Fleming, CR Elks IEEE Systems Journal 14 (4), 4864-4873, 2019 | 18 | 2019 |
Model-based engineering for functional risk assessment and design of cyber resilient systems P Beling, B Horowitz, C Fleming, S Adams, G Bakirtzis, B Carter, ... Systems Engineering Research Center (SERC), Tech. Rep, 2019 | 17 | 2019 |
Cyberphysical security through resiliency: A systems-centric approach CH Fleming, C Elks, G Bakirtzis, S Adams, B Carter, P Beling, B Horowitz Computer 54 (6), 36-45, 2021 | 16 | 2021 |
Looking for a black cat in a dark room: Security visualization for cyber-physical system design and analysis G Bakirtzis, BJ Simon, CH Fleming, CR Elks 2018 IEEE Symposium on Visualization for Cyber Security (VizSec), 1-8, 2018 | 15 | 2018 |
Dynamic certification for autonomous systems G Bakirtzis, S Carr, D Danks, U Topcu Communications of the ACM 66 (9), 64-72, 2023 | 13 | 2023 |
Compositional thinking in cyberphysical systems theory G Bakirtzis, E Subrahmanian, CH Fleming Computer 54 (12), 50-59, 2021 | 13 | 2021 |
Fundamental challenges of cyber-physical systems security modeling G Bakirtzis, G Ward, C Deloglos, C Elks, B Horowitz, C Fleming 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems …, 2020 | 13 | 2020 |
Cyber security requirements methodology B Horowitz, P Beling, C Fleming, S Adams, B Carter, T Sherburne, C Elks, ... Systems Engineering Research Center, Technical Report SERC-2018-TR-110, 2018 | 12 | 2018 |
Systems Aware Cybersecurity B Horowitz, P Beling, C Fleming, S Adams, B Carter, K Vemuru, C Elks, ... Stevens Institute of Technology Hoboken United States, 2017 | 12* | 2017 |
MISSION AWARE: Evidence-based, mission-centric cybersecurity analysis G Bakirtzis, BT Carter, CH Fleming, CR Elks arXiv preprint arXiv:1712.01448, 2017 | 10 | 2017 |
Systems‐theoretic security requirements modeling for cyber‐physical systems BT Carter, G Bakirtzis, CR Elks, CH Fleming Systems Engineering 22 (5), 411-421, 2019 | 9 | 2019 |
Yoneda hacking: The algebra of attacker actions G Bakirtzis, F Genovese, CH Fleming ACM Transactions on Cyber-Physical Systems (TCPS) 6 (3), 1-27, 2022 | 8 | 2022 |
Compositional Cyber-Physical Systems Theory G Bakirtzis University of Virginia, 2021 | 8 | 2021 |
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract S Gautham, G Bakirtzis, MT Leccadito, RH Klenke, CR Elks Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019 | 8 | 2019 |