Enrique Martin-Martin

42 papers A 2B 5C 6Journal 22Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
LearnSQL: Impact of an Automatic Judge in Database Learning.
ACM Trans. Comput. Educ.
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio, Fernando Sáenz-Pérez
2025 J jnl
Secure Optimizations on Ethereum Bytecode Jump-Free Sequences.
IEEE Trans. Dependable Secur. Comput.
Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
2025 B conf
Securely Optimized (Ethereum) Smart Contracts Using Formal Methods.
SEFM
Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio
2023 — conf
Formally Verified EVM Block-Optimizations.
CAV (3)
Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
2023 J jnl
Verification of the ROS NavFn planner using executable specification languages.
J. Log. Algebraic Methods Program.
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio
2022 C conf
Improving Database Learning with an Automatic Judge.
SEKE
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio
2021 J jnl
A unified framework for declarative debugging and testing.
Inf. Softw. Technol.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2021 — conf
Lower-Bound Synthesis Using Loop Specialization and Max-SMT.
CAV (2)
Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio
2020 J jnl
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell.
Fundam. Informaticae
Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2020 J jnl
A Transformational Approach to Resource Analysis with Typed-norms Inference.
Theory Pract. Log. Program.
Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin
2019 J jnl
A Transformational Approach to Resource Analysis with Typed-norms Inference.
CoRR
Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin
2019 J jnl
A core Erlang semantics for declarative debugging.
J. Log. Algebraic Methods Program.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2019 J jnl
FlinkCheck: Property-Based Testing for Apache Flink.
IEEE Access
Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco, Juan Rodríguez-Hortalá
2019 J jnl
Resource Analysis driven by (Conditional) Termination Proofs.
CoRR
Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio
2019 J jnl
Resource Analysis driven by (Conditional) Termination Proofs.
Theory Pract. Log. Program.
Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio
2018 J jnl
A Language-Independent Technique for Assessing Tweet Success: An Experience Report.
IEEE Access
Enrique Martin-Martin, Adrián Riesco, Manuel Rodríguez
2018 J jnl
Declarative debugging of concurrent Erlang programs.
J. Log. Algebraic Methods Program.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2017 J jnl
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings.
J. Autom. Reason.
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2016 C conf
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.
LOPSTR
Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2016 J jnl
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.
CoRR
Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2016 — conf
Debugging Meets Testing in Erlang.
TAP@STAF
Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero
2016 J jnl
May-Happen-in-Parallel Analysis for Actor-Based Concurrency.
ACM Trans. Comput. Log.
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2015 J jnl
A liberal type system for functional logic programs.
Math. Struct. Comput. Sci.
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
2015 J jnl
A zoom-declarative debugger for sequential Erlang programs.
Sci. Comput. Program.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2015 B conf
Resource Analysis: From Sequential to Concurrent and Distributed Programs.
FM
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
2014 A conf
EDD: A Declarative Debugger for Sequential Erlang Programs.
TACAS
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2014 J jnl
FLOP: A User-Friendly System for Automated Program Assessment.
J. Univers. Comput. Sci.
Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide
2014 J jnl
Rewriting and narrowing for constructor systems with call-time choice semantics.
Theory Pract. Log. Program.
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2014 A conf
SACO: Static Analyzer for Concurrent Objects.
TACAS
Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
2014 J jnl
Safe typing of functional logic programs with opaque patterns and local bindings.
Inf. Comput.
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
2014 — conf
Static Inference of Transmission Data Sizes in Distributed Systems.
ISoLA (2)
Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez
2013 — conf
A Declarative Debugger for Sequential Erlang Programs.
TAP@STAF
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2013 B conf
May-Happen-in-Parallel Analysis for Priority-Based Scheduling.
LPAR
Elvira Albert, Samir Genaim, Enrique Martin-Martin
2013 B conf
Termination and Cost Analysis of Loops with Concurrent Interleavings.
ATVA
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2013 C conf
Typing as functional-logic evaluation.
PEPM
Francisco Javier López-Fraguas, Enrique Martin-Martin
2012 — conf
FLOP, a free laboratory of programming.
Koli Calling
Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores
2012 J jnl
Rewriting and narrowing for constructor systems with call-time choice semantics
CoRR
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2012 C conf
Transparent function types: clearing up opacity.
PPDP
Enrique Martin-Martin, Juan Rodríguez-Hortalá
2012 C conf
Well-typed narrowing with extra variables in functional-logic programming.
PEPM
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
2011 C conf
Type classes in functional logic programming.
PEPM
Enrique Martin-Martin
2010 B conf
Liberal Typing for Functional Logic Programs.
APLAS
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
2009 — conf
New Results on Type Systems for Functional Logic Programming.
WFLP
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá