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

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

2012

Abstract Model Repair.

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

Proceedings of the NASA Formal Methods, 2012

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