ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Technical University of Darmstadt
Darmstadt, AlemaniaPublicaciones en colaboración con investigadores/as de Technical University of Darmstadt (4)
2017
-
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings
Journal of Automated Reasoning, Vol. 59, Núm. 1, pp. 47-85
2015
-
May-happen-in-parallel analysis for actor-based concurrency
ACM Transactions on Computational Logic, Vol. 17, Núm. 2
2014
-
SACO: Static analyzer for concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Termination and cost analysis of loops with concurrent interleavings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)