5
Publications
131
Citations
5
H-Index
2017
Active since
Affiliations
The University of Texas at Austin(Current)
Kostas Ferles is an author at The University of Texas at Austin specializing in formal verification, formal methods, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationSystem SoftwareSoftware TestingSoftware Engineering
Publications per year
2017–2021
5
5
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Jon Stephens, Kostas Ferles, Benjamin Mariano et al. · 2021 · 55 citations
Singularity: pattern fuzzing for worst case complexity
Jiayi Wei, Jia Chen, Yu Feng et al. · 2018 · 32 citations · Full text
Failure-directed program trimming
Kostas Ferles, Valentin Wüstholz, Maria Christakis · 2017 · 22 citations
A Datalog model of must-alias analysis
George Balatsouras, Kostas Ferles, George Kastrinis et al. · 2017 · 11 citations
Engineering, Symbolic Data Analysis, Software Engineering +26
Rows per page
1–5 of 5