MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
Technical University of Darmstadt
Darmstadt, AlemaniaPublicaciones en colaboración con investigadores/as de Technical University of Darmstadt (3)
2014
-
SACO: Static analyzer for concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Testing abstract behavioral specifications
International Journal on Software Tools for Technology Transfer, Vol. 17, Núm. 1, pp. 107-119
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)