Antonio Filieri
Scholar

Antonio Filieri

Google Scholar ID: MdbPRwMAAAAJ
Amazon Web Services, Imperial College London
Software EngineeringProgram AnalysisSecurityControl Theory for Adaptive Software
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,960
 
H-index
27
 
i10-index
44
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
21 total
Carlo Ghezzi
Carlo Ghezzi
Emeritus Professor, Politecnico di Milano
Martina Maggio
Martina Maggio
Saarland University, Lund University
Corina Pasareanu
Corina Pasareanu
CMU/NASA Ames
Co-author 4
Co-author 4
Henry Hoffmann
Henry Hoffmann
Liew Family Chair of Computer Science, University of Chicago
Co-author 6
Co-author 6
Raffaela Mirandola
Raffaela Mirandola
Full Professor, Karlsruhe Institute of Technology
Alessandro Vittorio Papadopoulos
Alessandro Vittorio Papadopoulos
Full Professor, Mälardalen University, Sweden | Scientific Advisor, ZeroPoint Technologies, Sweden