George Chatzieleftheriou
George Chatzieleftheriou
PhD, Dept. of Informatics, Aristotle University of Thessaloniki
Verified email at
Cited by
Cited by
Abstract model repair
G Chatzieleftheriou, B Bonakdarpour, SA Smolka, P Katsaros
NASA Formal Methods Symposium, 341-355, 2012
Test-driving static analysis tools in search of C code vulnerabilities
G Chatzieleftheriou, P Katsaros
2011 IEEE 35th Annual Computer Software and Applications Conference …, 2011
Abstract model repair for probabilistic systems
G Chatzieleftheriou, P Katsaros
Information and Computation 259, 142-160, 2018
Abstract Model Repair
SA Smolka, P Katsaros, B Bonakdarpour, G Chatzieleftheriou
Logical Methods in Computer Science 11, 2015
Managing Editors
L Birkedal, BC Pierce, GD Plotkin, MY Vardi, J Adámek, S Milius
The system can't perform the operation now. Try again later.
Articles 1–5