George Chatzieleftheriou
According to our database1,
George Chatzieleftheriou
authored at least 5 papers
between 2011 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
2015
2014
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
2011
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011