Scholar
Alessandro Cimatti
Google Scholar ID: lbZ6n5IAAAAJ
Fondazione Bruno Kessler
Formal Verification
Model Checking
SMT
Automated Planning
FDIR
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
25,751
H-index
67
i10-index
212
Publications
20
Co-authors
66
list available
Publications
1 items
Verification of Configurable SRA Systems
2026
Cited
0
Co-authors
12 total
Marco Roveri
University of Trento - Department of Information Engineering and Computer Science
Stefano Tonetta
Fondazione Bruno Kessler
Alberto Griggio
Researcher, Fondazione Bruno Kessler
Roberto Sebastiani
Full Professor in Computer Science, DISI, University of Trento, Italy
Fausto Giunchiglia
Professor of Computer Science, Università di Trento
Andrea Micheli
Fondazione Bruno Kessler
Sergio Mover
École Polytechnique and LIX
Armin Biere
Professor of Computer Science, University of Freiburg
