Scholar
Vasileios Koutavas
Google Scholar ID: n1Ws_FcAAAAJ
Assistant Professor, Trinity College Dublin
Programming Languages
Concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
235
H-index
7
i10-index
5
Publications
20
Co-authors
6
list available
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
Co-authors
3 total
Eijiro Sumii
Tohoku University
Paul Blain Levy
Senior Lecturer, University of Birmingham
Claudio Antares Mezzina
Università degli studi di Urbino
