George Chatzieleftheriou

According to our database, George Chatzieleftheriou authored at least 5 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Επιδιόρθωση συστημάτων μεταβάσεων μέσω αφαίρεσης

George Chatzieleftheriou

PhD thesis, 2018

Abstract model repair for probabilistic systems.

George Chatzieleftheriou, Panagiotis Katsaros

Inf. Comput., 2018

2015

Abstract Model Repair.

George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka

Log. Methods Comput. Sci., 2015

2014

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract).

George Chatzieleftheriou, Apostolos Chatzopoulos, Panagiotis Katsaros

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2011

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities.

George Chatzieleftheriou, Panagiotis Katsaros

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011