Salvador Tamarit

58 papers A 2B 6C 9Misc 2Journal 25Unranked 14
YearRankTypeTitle / Venue / Authors
2022 J jnl
Maximal and Minimal Dynamic Petri Net Slicing.
Fundam. Informaticae
Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit
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 J jnl
Maximal and minimal dynamic Petri net slicing.
CoRR
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2021 J jnl
Reversible CSP Computations.
IEEE Trans. Parallel Distributed Syst.
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
2021 J jnl
Semiautomatic generation and assessment of Java exercises in engineering education.
Comput. Appl. Eng. Educ.
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2020 C conf
ReverCSP: Time-Travelling in CSP Computations.
RC
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
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
Automatic Testing of Program Slicers.
Sci. Program.
Sergio Pérez, Josep Silva, Salvador Tamarit
2019 J jnl
Tracking CSP computations.
J. Log. Algebraic Methods Program.
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2019 J jnl
What Web Template Extractor Should I Use? A Benchmarking and Comparison for Five Template Extractors.
ACM Trans. Web
Julián Alarte, Josep Silva, Salvador Tamarit
2018 J jnl
Behaviour Preservation across Code Versions in Erlang.
Sci. Program.
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2018 J jnl
Declarative debugging of concurrent Erlang programs.
J. Log. Algebraic Methods Program.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2018 — conf
Enhancing POI Testing Through the Use of Additional Information.
WFLP
Sergio Pérez, Salvador Tamarit
2018 J jnl
Enhancing POI testing approach through the use of additional information.
CoRR
Sergio Pérez, Salvador Tamarit
2018 J jnl
Erlang Code Evolution Control (Use Cases).
CoRR
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2018 — conf
Main Content Extraction from Heterogeneous Webpages.
WISE (1)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
2018 — conf
Runtime Verification in Erlang by Using Contracts.
WFLP
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
2018 J jnl
Runtime verification in Erlang by using contracts.
CoRR
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
2017 B conf
An Integrated Environment for Petri Net Slicing.
Petri Nets
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2017 C conf
Erlang Code Evolution Control.
LOPSTR
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2017 J jnl
Erlang Code Evolution Control.
CoRR
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2017 — conf
In what order should i correct the exercises? Determining the evaluation order for the automatic assessment of programming exercises.
ITHET
Salvador España Boquera, David Insa, Josep Silva, Salvador Tamarit
2016 — conf
Debugging Meets Testing in Erlang.
TAP@STAF
Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero
2016 J jnl
Dynamic slicing of concurrent specification languages.
Parallel Comput.
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2016 J jnl
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures.
CoRR
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2016 J jnl
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
CoRR
Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
2016 — conf
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
PROLE
Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
2016 — conf
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems.
PROLE
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2016 J jnl
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
CoRR
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2016 B conf
Where You Sit MattersHow Classroom Seating Might Affect Marks.
ITiCSE
David Insa, Josep Silva, Salvador Tamarit
2015 C conf
A Haskell Implementation of a Rule-Based Program Transformation for C Programs.
PADL
Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
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 — conf
Site-Level Web Template Extraction Based on DOM Analysis.
Ershov Memorial Conference
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
2015 — conf
TeMex: The Web Template Extractor.
WWW (Companion Volume)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
2014 J jnl
A Benchmark Suite for Template Detection and Content Extraction.
CoRR
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
2014 — conf
Automatic Detection of Webpages that Share the Same Web Template.
WWV
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
2014 A conf
EDD: A Declarative Debugger for Sequential Erlang Programs.
TACAS
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2014 — conf
Web Template Extraction Based on Hyperlink Analysis.
PROLE
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
2013 — conf
A Declarative Debugger for Sequential Erlang Programs.
TAP@STAF
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2013 B conf
An empirical analysis of the influence of classmates on the academic performance.
ITiCSE
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2013 C conf
Precise explanation of success typing errors.
PEPM
Konstantinos Sagonas, Josep Silva, Salvador Tamarit
2013 B conf
The influence of students distribution on their grades.
ITiCSE
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2013 J jnl
Using the words/leafs ratio in the DOM tree for content extraction.
J. Log. Algebraic Methods Program.
David Insa, Josep Silva, Salvador Tamarit
2012 J jnl
Generating a Petri net from a CSP specification: A semantics-based method.
Adv. Eng. Softw.
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2012 J jnl
Static slicing of explicitly synchronized languages.
Inf. Comput.
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2012 B conf
System Dependence Graphs in Sequential Erlang.
FASE
Josep Silva, Salvador Tamarit, César Tomás
2011 A conf
XQuery optimization based on program slicing.
CIKM
Jesús Manuel Almendros-Jiménez, Josep Silva, Salvador Tamarit
2010 B conf
A Tracking Semantics for CSP.
MPC
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2010 Misc conf
An algorithm to generate the context-sensitive synchronized control flow graph.
SAC
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2010 C conf
Graph Generation to Statically Represent CSP Processes.
LOPSTR
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2010 Misc conf
Translating CSP Specifications to Equivalent Petri Nets.
PDPTA
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2009 — conf
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.
WFLP
Michael Leuschel, Salvador Tamarit, Germán Vidal
2009 J jnl
Improving Size-Change Analysis in Offline Partial Evaluation
CoRR
Michael Leuschel, Salvador Tamarit, Germán Vidal
2009 C conf
SOC: a slicer for CSP specifications.
PEPM
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2008 C conf
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.
LOPSTR
Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal
2008 — conf
Dynamic Slicing Techniques for Petri Nets.
RP
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal
2008 C conf
The MEB and CEB Static Analysis for CSP Specifications.
LOPSTR
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2007 C conf
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.
LOPSTR
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal