Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities. - George Chatzieleftheriou; Panagiotis Katsaros (COMPSAC Workshops, 2011)

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract). - George Chatzieleftheriou; Apostolos Chatzopoulos; Panagiotis Katsaros (ISoLA (2), 2014)

Abstract Model Repair. - George Chatzieleftheriou; Borzoo Bonakdarpour; Panagiotis Katsaros; Scott A. Smolka (Log. Methods Comput. Sci., 2015)

Abstract model repair for probabilistic systems. - George Chatzieleftheriou; Panagiotis Katsaros (Inf. Comput., 2018)

Επιδιόρθωση συστημάτων μεταβάσεων μέσω αφαίρεσης - George Chatzieleftheriou (2018)