ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Publicacións nas que colabora con ELVIRA MARÍA ALBERT ALBIOL (13)
2023
-
Formally Verified EVM Block-Optimizations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Lower-Bound Synthesis Using Loop Specialization and Max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234
2019
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming
-
Resource Analysis driven by (Conditional) Termination Proofs
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739
2017
-
A formal, resource consumption-preserving translation of actors to Haskell
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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)
2014
-
SACO: Static analyzer for concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Static inference of transmission data sizes in distributed systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
May-happen-in-parallel analysis for priority-based scheduling
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)