| Categorical semantics of cyber-physical systems theory G Bakirtzis, CH Fleming, C Vasilakopoulou ACM Transactions on Cyber-Physical Systems, 2021 | 42 | 2021 |
| A model-based approach to security analysis for cyber-physical systems G Bakirtzis, BT Carter, CR Elks, CH Fleming SYSCON, 2018 | 40 | 2018 |
| A preliminary design-phase security methodology for cyber–physical systems B Carter, S Adams, G Bakirtzis, T Sherburne, P Beling, B Horowitz, ... Systems, 2019 | 39 | 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, 2022 | 37 | 2022 |
| Compositional cyber-physical systems modeling G Bakirtzis, C Vasilakopoulou, CH Fleming ACT, 2021 | 27 | 2021 |
| A systems approach for eliciting mission-centric security requirements BT Carter, G Bakirtzis, CR Elks, CH Fleming SYSCON, 2018 | 23 | 2018 |
| Data-driven vulnerability exploration for design phase system analysis G Bakirtzis, BJ Simon, AG Collins, CH Fleming, CR Elks IEEE Systems Journal, 2019 | 21 | 2019 |
| Dynamic certification for autonomous systems G Bakirtzis, S Carr, D Danks, U Topcu Communications of the ACM, 2023 | 18 | 2023 |
| Cyberphysical security through resiliency: A systems-centric approach CH Fleming, C Elks, G Bakirtzis, S Adams, B Carter, P Beling, B Horowitz Computer, 2021 | 18 | 2021 |
| 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, ... SERC Tech Report, 2019 | 17 | 2019 |
| 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 VIZSEC, 2018 | 16 | 2018 |
| Compositional thinking in cyberphysical systems theory G Bakirtzis, E Subrahmanian, CH Fleming Computer, 2021 | 15 | 2021 |
| Fundamental challenges of cyber-physical systems security modeling G Bakirtzis, G Ward, C Deloglos, C Elks, B Horowitz, C Fleming DSN, 2020 | 14 | 2020 |
| Autonomy Verification & Validation Roadmap and Vision 2045 GP Brat, H Yu, E Atkins, P Sharma, D Cofer, M Durling, B Meng, ... NASA Tech Report, 2023 | 13 | 2023 |
| Systems‐theoretic security requirements modeling for cyber‐physical systems BT Carter, G Bakirtzis, CR Elks, CH Fleming Systems Engineering, 2019 | 13 | 2019 |
| STPA-driven multilevel runtime monitoring for in-time hazard detection S Gautham, G Bakirtzis, A Will, AV Jayakumar, CR Elks SAFECOMP, 2022 | 12 | 2022 |
| Cyber security requirements methodology B Horowitz, P Beling, C Fleming, S Adams, B Carter, T Sherburne, C Elks, ... SERC Tech Report, 2018 | 12 | 2018 |
| Systems Aware Cybersecurity B Horowitz, P Beling, C Fleming, S Adams, B Carter, K Vemuru, C Elks, ... SERC Tech Report, 2017 | 12* | 2017 |
| Yoneda hacking: The algebra of attacker actions G Bakirtzis, F Genovese, CH Fleming ACM Transactions on Cyber-Physical Systems, 2022 | 11 | 2022 |
| MISSION AWARE: Evidence-based, mission-centric cybersecurity analysis G Bakirtzis, BT Carter, CH Fleming, CR Elks arXiv:1712.01448, 2017 | 11 | 2017 |
