Vasileios Koutavas
Scholar

Vasileios Koutavas

Google Scholar ID: n1Ws_FcAAAAJ
Assistant Professor, Trinity College Dublin
Programming LanguagesConcurrency
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
235
 
H-index
7
 
i10-index
5
 
Publications
20
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
3 items
A Bounded Game Semantics Checker for Precise Smart Contract Analysis
2025
Cited
0
A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
2025
Cited
0
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
2025
Cited
0
Resume (English only)
Co-authors
6 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Paul Blain Levy
Paul Blain Levy
Senior Lecturer, University of Birmingham
Co-author 5
Co-author 5
Co-author 6
Co-author 6