Francisco Durán
Scholar

Francisco Durán

Google Scholar ID: qPxrPsIAAAAJ
University of Málaga
RewritingFormal VerificationComponent-Based SoftwareCloud ComputingModel-Driven Engineering
Google Scholar↗
Citations & Impact
All-time
Citations
1,745
 
H-index
18
 
i10-index
39
 
Publications
20
 
Co-authors
55
list available
Contact
No contact links provided.
Publications
2 items
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
2025
Cited
0
Energy consumption of code small language models serving with runtime engines and execution providers
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
55 total
Jose Meseguer
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Narciso Martí-Oliet
Narciso Martí-Oliet
Full professor, Facultad de Informática, Universidad Complutense de Madrid
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Ernesto Pimentel
Ernesto Pimentel
Full Professor of Computer Science, University of Malaga
Santiago Escobar
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
Camilo Rocha
Camilo Rocha
Professor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704