Angelo Gargantini
Scholar

Angelo Gargantini

Google Scholar ID: DnHHT04AAAAJ
University of Bergamo
Formal methodssoftware engineeringtesting
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,488
 
H-index
18
 
i10-index
55
 
Publications
20
 
Co-authors
22
list available
Contact
TwitterOpen ↗GitHubOpen ↗LinkedInOpen ↗
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
Resume (English only)
Co-authors
22 total
Elvinia Riccobene
Elvinia Riccobene
Professore, Università di Milano, Italy
Paolo Arcaini
Paolo Arcaini
National Institute of Informatics
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Andrea Bombarda
Andrea Bombarda
Università degli Studi di Bergamo
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Atif Mashkoor
Atif Mashkoor
Johannes Kepler University, Linz, Austria