Scholar
Angelo Gargantini
Google Scholar ID: DnHHT04AAAAJ
University of Bergamo
Formal methods
software engineering
testing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,488
H-index
18
i10-index
55
Publications
20
Co-authors
22
list available
Contact
Twitter
Open ↗
GitHub
Open ↗
LinkedIn
Open ↗
Publications
4 items
Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
2026
Cited
0
Quantum Computing for Healthcare Digital Twin Systems
2026
Cited
0
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
2025
Cited
0
Search-based Testing of Simulink Models with Requirements Tables
2025
Cited
0
Co-authors
10 total
Elvinia Riccobene
Professore, Università di Milano, Italy
Paolo Arcaini
National Institute of Informatics
Andrea Bombarda
Università degli Studi di Bergamo
Atif Mashkoor
Johannes Kepler University, Linz, Austria
Gordon Fraser
Professor of Computer Science, University of Passau
Matteo Camilli
Associate professor, Politecnico di Milano
Marco Guarnieri
Associate Research Professor, IMDEA Software Institute
Justyna Petke
Professor of Software Engineering, University College London, United Kingdom
