Scholar
Antonio Filieri
Google Scholar ID: MdbPRwMAAAAJ
Amazon Web Services, Imperial College London
Software Engineering
Program Analysis
Security
Control Theory for Adaptive Software
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,960
H-index
27
i10-index
44
Publications
20
Co-authors
21
list available
Publications
2 items
Syntax-driven Incremental Program Verification of Matching Logic Properties
2026
Cited
0
Robust Probabilistic Model Checking with Continuous Reward Domains
2025
Cited
0
Co-authors
13 total
Carlo Ghezzi
Emeritus Professor, Politecnico di Milano
Martina Maggio
Saarland University, Lund University
Corina Pasareanu
CMU/NASA Ames
Henry Hoffmann
Liew Family Chair of Computer Science, University of Chicago
Raffaela Mirandola
Full Professor, Karlsruhe Institute of Technology
Alessandro Vittorio Papadopoulos
Full Professor, Mälardalen University, Sweden | Scientific Advisor, ZeroPoint Technologies, Sweden
Ilias Gerostathopoulos
Assistant Professor at VU Amsterdam
Matthew Dwyer
Thomson Distinguished Professor, University of Virginia; Amazon Scholar
