Nazareno Aguirre
Scholar

Nazareno Aguirre

Google Scholar ID: MHw5kA0AAAAJ
Universidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas
Software EngineeringFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,305
 
H-index
22
 
i10-index
36
 
Publications
20
 
Co-authors
22
list available
Publications
3 items
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
2026
Cited
0
State Field Coverage: A Metric for Oracle Quality
2025
Cited
0
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
2025
Cited
0
Co-authors
8 total
Pablo Castro
Pablo Castro
Universidad Nacional de Rio Cuarto, Argentina
Facundo Molina
Facundo Molina
Postdoctoral Researcher, IMDEA Software Institute
Juan Pablo Galeotti
Juan Pablo Galeotti
Universidad de Buenos Aires
Sebastian Uchitel
Sebastian Uchitel
Universidad de Buenos Aires and Imperial College London
Dalal Alrajeh
Dalal Alrajeh
Associate professor, Department of Computing, Imperial College London
Bertrand Meyer
Bertrand Meyer
Professor of Software Engineering, Constructor Institute of Technology
Sarfraz Khurshid
Sarfraz Khurshid
Professor, University of Texas at Austin
Carlo Ghezzi
Carlo Ghezzi
Emeritus Professor, Politecnico di Milano