arrow
Back
G

Georgios Bakirtzis

imt - institut mines-telecom

8H-index
45Paper Count
218Citation Count
Published Papers 6
Publication Date
Functional requirements decomposition in set-based design
err2026-04-17
err0
errOAAI
errSun, Minghui; Chen, Zhaoyang; Bakirtzis, Georgios; Jafarzadeh, Hassan; Fleming, Cody
errShare
errSave
On the Complexity of Sabotage Games for Network Security
err2026-01-01
err0
PREAI
errRaju, Dhananjay; Bakirtzis, Georgios; Topcu, Ufuk
errShare
errSave
Mission Aware Cyber-Physical Security
err2025-12-01
err0
errOAAI
errBakirtzis, Georgios; Carter, Bryan; Fleming, Cody H.; Elks, Carl R.
errShare
errSave
Dynamic Certification for Autonomous Systems
err2023-08-23
err0
errOAAI
errBakirtzis, Georgios; Carr, Steven; Danks, David; Topcu, Ufuk
errShare
errSave
Formal Methods for Autonomous Systems
err2023-01-01
err0
errOAAI
errWongpiromsarn, Tichakorn; Ghasemi, Mahsa; Cubuktepe, Murat; Bakirtzis, Georgios; Carr, Steven; Karabag, Mustafa O.; Neary, Cyrus; Gohari, Parham; Topcu, Ufuk
errShare
errSave
Data-Driven Vulnerability Exploration for Design Phase System Analysis
err2020-12-01
err15
errOAAI
errBakirtzis, Georgios; Simon, Brandon J.; Collins, Aidan G.; Fleming, Cody Harrison; Elks, Carl R.
errShare
errSave