| 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 | 52 | 2022 |
| Categorical semantics of cyber-physical systems theory G Bakirtzis, CH Fleming, C Vasilakopoulou ACM Transactions on Cyber-Physical Systems, 2021 | 47 | 2021 |
| A preliminary design-phase security methodology for cyber–physical systems B Carter, S Adams, G Bakirtzis, T Sherburne, P Beling, B Horowitz, ... Systems, 2019 | 45 | 2019 |
| A model-based approach to security analysis for cyber-physical systems G Bakirtzis, BT Carter, CR Elks, CH Fleming SYSCON, 2018 | 45 | 2018 |
| Compositional cyber-physical systems modeling G Bakirtzis, C Vasilakopoulou, CH Fleming ACT, 2021 | 31 | 2021 |
| Dynamic certification for autonomous systems G Bakirtzis, S Carr, D Danks, U Topcu Communications of the ACM, 2023 | 26 | 2023 |
| A systems approach for eliciting mission-centric security requirements BT Carter, G Bakirtzis, CR Elks, CH Fleming SYSCON, 2018 | 26 | 2018 |
| Data-driven vulnerability exploration for design phase system analysis G Bakirtzis, BJ Simon, AG Collins, CH Fleming, CR Elks IEEE Systems Journal, 2019 | 23 | 2019 |
| Cyberphysical security through resiliency: A systems-centric approach CH Fleming, C Elks, G Bakirtzis, S Adams, B Carter, P Beling, B Horowitz Computer, 2021 | 21 | 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 | 19 | 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 | 19 | 2018 |
| Compositional thinking in cyberphysical systems theory G Bakirtzis, E Subrahmanian, CH Fleming Computer, 2021 | 18 | 2021 |
| STPA-driven multilevel runtime monitoring for in-time hazard detection S Gautham, G Bakirtzis, A Will, AV Jayakumar, CR Elks SAFECOMP, 2022 | 16 | 2022 |
| Fundamental challenges of cyber-physical systems security modeling G Bakirtzis, G Ward, C Deloglos, C Elks, B Horowitz, C Fleming DSN, 2020 | 16 | 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 | 15 | 2023 |
| Systems‐theoretic security requirements modeling for cyber‐physical systems BT Carter, G Bakirtzis, CR Elks, CH Fleming Systems Engineering, 2019 | 15 | 2019 |
| Cyber security requirements methodology B Horowitz, P Beling, C Fleming, S Adams, B Carter, T Sherburne, C Elks, ... SERC Tech Report, 2018 | 14 | 2018 |
| Mission Aware Cyber‐Physical Security G Bakirtzis, B Carter, CH Fleming, CR Elks Systems Engineering, 2025 | 13* | 2025 |
| Formal Methods for Autonomous Systems T Wongpiromsarn, M Ghasemi, M Cubuktepe, G Bakirtzis, S Carr, ... Foundations and Trends in Systems and Control, 2023 | 13 | 2023 |
| Systems Aware Cybersecurity B Horowitz, P Beling, C Fleming, S Adams, B Carter, K Vemuru, C Elks, ... SERC Tech Report, 2017 | 13* | 2017 |
