Salvador Tamarit

58 papers A 2B 6C 9Misc 2Journal 25Unranked 14

Year	Rank	Type	Title / 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