MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
Publications dans lesquelles il/elle collabore avec JESÚS CORREAS FERNÁNDEZ (3)
2015
-
Object-sensitive cost analysis for concurrent objects
Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271
-
Resource analysis: From sequential to concurrent and distributed programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Automatic inference of bounds on resource consumption
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)