Scholar
Francisco Durán
Google Scholar ID: qPxrPsIAAAAJ
University of Málaga
Rewriting
Formal Verification
Component-Based Software
Cloud Computing
Model-Driven Engineering
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,745
H-index
18
i10-index
39
Publications
20
Co-authors
55
list available
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
Co-authors
10 total
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Narciso Martí-Oliet
Full professor, Facultad de Informática, Universidad Complutense de Madrid
Ernesto Pimentel
Full Professor of Computer Science, University of Malaga
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
Camilo Rocha
Professor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704
Salvador Lucas
DSIC & VRAIN, Universitat Politècnica de València
Steffen Zschaler
Reader in Software Engineering, Department of Informatics, King's College London
Javier Troya
Universidad de Málaga
