Salvador Tamarit

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 30

Top Topics

Content Extraction

Top Venues

J. Log. Algebraic Methods Program.

Publications

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