Josep Silva

123 papers A* 1A 4B 13C 20Misc 4Journal 40Unranked 38
YearRankTypeTitle / Venue / Authors
2025 J jnl
The expression dependence graph.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2025 B conf
Undecidability of Context-Sensitive Field-Insensitive Analyses.
SMC
Carlos Galindo, Carlos Martín-Abellán, Josep Silva
2024 C conf
DOM-Based Online Store Comments Extraction.
WEBIST
Julián Alarte, Carlos Galindo, Carlos Martín, Josep Silva
2024 J jnl
Field-sensitive program slicing.
J. Syst. Softw.
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
2024 — conf
Programming Contests as Complementary Activities in University Programming Courses.
CSEDU (2)
Julián Alarte, Carlos Galindo, Josep Silva
2024 A conf
RevEx: An Online Consumer Reviews Extraction Tool.
CIKM
Julián Alarte, Carlos Galindo, Carlos Martín, Josep Silva
2023 — conf
Context-sensitive analysis of data interference for concurrent programs.
PNSE@Petri Nets
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2023 J jnl
Exception-sensitive program slicing.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2023 J jnl
Program slicing of Java programs.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2023 — conf
Slicing Petri Nets to Reduce Their Complexity - Abstract.
ATAED/PN4TT@Petri Nets
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2023 A conf
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited.
ICSME
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2022 B conf
A Program Slicer for Java (Tool Paper).
SEFM
Carlos Galindo, Sergio Pérez, Josep Silva
2022 B conf
Field-Sensitive Program Slicing.
SEFM
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
2022 — conf
HybEx: A Hybrid Tool for Template Extraction.
WWW (Companion Volume)
Julián Alarte, Josep Silva
2022 J jnl
Maximal and Minimal Dynamic Petri Net Slicing.
Fundam. Informaticae
Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit
2022 C conf
Program Slicing Techniques with Support for Unconditional Jumps.
ICFEM
Carlos Galindo, Sergio Pérez, Josep Silva
2021 J jnl
Maximal and minimal dynamic Petri net slicing.
CoRR
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2021 J jnl
Page-Level Main Content Extraction From Heterogeneous Webpages.
ACM Trans. Knowl. Discov. Data
Julián Alarte, Josep Silva
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
2020 C conf
Slicing Unconditional Jumps with Unnecessary Control Dependencies.
LOPSTR
Carlos Galindo, Sergio Pérez, Josep Silva
2019 J jnl
Automatic Testing of Program Slicers.
Sci. Program.
Sergio Pérez, Josep Silva, Salvador Tamarit
2019 — ed.
Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
WFLP
Josep Silva
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
Algorithmic debugging generalized.
J. Log. Algebraic Methods Program.
David Insa, Josep Silva
2018 J jnl
Automatic assessment of Java code.
Comput. Lang. Syst. Struct.
David Insa, Josep Silva
2018 J jnl
Behaviour Preservation across Code Versions in Erlang.
Sci. Program.
David Insa, Sergio Pérez, Josep Silva, 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 J jnl
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018).
CoRR
Josep Silva
2017 J jnl
A Survey of Algorithmic Debugging.
ACM Comput. Surv.
Rafael Caballero, Adrián Riesco, Josep Silva
2017 B conf
An Integrated Environment for Petri Net Slicing.
Petri Nets
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2017 — conf
Analyzing the learning process (in Programming) by using data collected from an online IDE.
ITHET
Salvador España Boquera, David Guerrero-Lopez, Alvaro Hermida-Perez, Josep Silva, José-Vicente Benlloch-Dualde
2017 Misc conf
Computing super reduced program slices by composing slicing techniques.
SAC
David Insa, Sergio Pérez, Josep Silva
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
2017 J jnl
Optimization Techniques for Algorithmic Debugging.
Bull. EATCS
David Insa, Josep Silva
2017 B conf
Webpage Menu Detection Based on DOM.
SOFSEM
Julián Alarte, David Insa, Josep Silva
2016 — conf
Computer assisted self-assessment of programming code: A report on university students experience and opinion.
ITHET
David Insa, Josep Silva
2016 J jnl
Dynamic slicing of concurrent specification languages.
Parallel Comput.
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2016 B conf
Where You Sit MattersHow Classroom Seating Might Affect Marks.
ITiCSE
David Insa, Josep Silva, Salvador Tamarit
2015 C conf
A Generalized Model for Algorithmic Debugging.
LOPSTR
David Insa, Josep Silva
2015 J jnl
Automatic transformation of iterative loops into recursive methods.
Inf. Softw. Technol.
David Insa, Josep Silva
2015 J jnl
Editorial for the JLAMP Special Issue on automated specification and verification of web systems.
J. Log. Algebraic Methods Program.
António Ravara, Josep Silva
2015 B conf
Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises.
ITiCSE
David Insa, Josep Silva
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 J jnl
Transforming while/do/for/foreach-Loops into Recursive Methods.
CoRR
David Insa, Josep Silva
2014 — conf
Web Template Extraction Based on Hyperlink Analysis.
PROLE
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
2013 C conf
A New Hybrid Debugging Architecture for Eclipse.
LOPSTR
Juan González, David Insa, Josep Silva
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 — ed.
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013.
WWV
António Ravara, Josep Silva
2013 J jnl
Special issue on Automated Specification and Verification of Web Systems.
J. Log. Algebraic Methods Program.
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi
2013 — conf
Speeding Up Algorithmic Debugging Using Balanced Execution Trees.
TAP@STAF
David Insa, Josep Silva, Adrián Riesco
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
A vocabulary of program slicing-based techniques.
ACM Comput. Surv.
Josep Silva
2012 J jnl
Content Extraction based on Hierarchical Relations in DOM Structures.
Polibits
Sergio López, Josep Silva, David Insa
2012 C conf
Enhancing Declarative Debugging with Loop Expansion and Tree Compression.
LOPSTR
David Insa, Josep Silva, César Tomás
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 — conf
Information Extraction from Webpages Based on DOM Distances.
CICLing (2)
Carlos J. Castillo, Héctor Valero, José Guadalupe Ramos, Josep Silva
2012 — ed.
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012.
WWV
Josep Silva, Francesco Tiezzi
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
2012 — conf
Using the DOM Tree for Content Extraction
WWV
Sergio López, Josep Silva, David Insa
2011 J jnl
A survey on algorithmic debugging strategies.
Adv. Eng. Softw.
Josep Silva
2011 A* conf
An optimal strategy for algorithmic debugging.
ASE
David Insa, Josep Silva
2011 J jnl
Generating CNC Code from a Domain Specific Language.
Res. Comput. Sci.
J. Guadalupe Ramos, Gustavo Arroyo, Josep Silva
2011 — conf
Implementation of an Optimal Strategy for Algorithmic Debugging.
PROLE
David Insa, Josep Silva
2011 J jnl
Optimal Divide and Query (extended version)
CoRR
David Insa, Josep Silva
2011 Misc conf
Optimal Divide and Query.
EPIA
David Insa, Josep Silva
2011 A conf
XQuery optimization based on program slicing.
CIKM
Jesús Manuel Almendros-Jiménez, Josep Silva, Salvador Tamarit
2010 — conf
A New Information Filtering Method for WebPages.
DEXA Workshops
Sergio López, Josep Silva
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 — conf
An algorithmic debugger for Java.
ICSM
David Insa, Josep Silva
2010 — conf
Domain Specific Languages for Software Requirements Capture.
Software Engineering Research and Practice
J. Guadalupe Ramos, Josep Silva, Heriberto Flores, Margarita Torres, Laura E. Mendoza, Juan C. Solorio
2010 C conf
Graph Generation to Statically Represent CSP Processes.
LOPSTR
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2010 — conf
Modeling Implicit Knowledge from Microformatted Websites.
SWWS
J. Guadalupe Ramos, Josep Silva
2010 — conf
Reconstructing Information Retrieved from Multiple Websites.
WWV
Héctor Valero, Carlos J. Castillo, Josep Silva
2010 C conf
Scaling Up Algorithmic Debugging with Virtual Execution Trees.
LOPSTR
David Insa, Josep Silva
2010 Misc conf
Translating CSP Specifications to Equivalent Petri Nets.
PDPTA
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2009 — conf
A Practical Approach to Modeling and Extracting Information from Semantic Web Based on Microformats.
ENC
J. Guadalupe Ramos, Ricardo A. Solís, Héctor Oceguera, Josep Silva
2009 — conf
A Technique for Information Retrieval from Microformatted Websites.
Ershov Memorial Conference
J. Guadalupe Ramos, Josep Silva, Gustavo Arroyo, Juan C. Solorio
2009 C conf
SOC: a slicer for CSP specifications.
PEPM
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2008 J jnl
Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging.
AI Commun.
Josep Silva
2008 — conf
Dynamic Slicing Techniques for Petri Nets.
RP
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal
2008 J jnl
Dynamic slicing of lazy functional programs based on redex trails.
High. Order Symb. Comput.
Claudio Ochoa, Josep Silva, Germán Vidal
2008 — conf
Information Filtering and Information Retrieval with the Web Filtering Toolbar.
WWV
Josep Silva
2008 — conf
State of the Practice in Algorithmic Debugging.
WFLP
Diego Cheda, Josep Silva
2008 C conf
The MEB and CEB Static Analysis for CSP Specifications.
LOPSTR
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2007 — conf
A Program Slicing Based Method to Filter XML/DTD Documents.
SOFSEM (1)
Josep Silva
2007 J jnl
Ensuring the quasi-termination of needed narrowing computations.
Inf. Process. Lett.
J. Guadalupe Ramos, Josep Silva, Germán Vidal
2007 J jnl
Forward slicing of functional logic programs by partial evaluation.
Theory Pract. Log. Program.
Josep Silva, Germán Vidal
2007 C conf
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.
LOPSTR
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
2006 C conf
A Comparative Study of Algorithmic Debugging Strategies.
LOPSTR
Josep Silva
2006 B conf
A Slicing Tool for Lazy Functional Logic Programs.
JELIA
Claudio Ochoa, Josep Silva, Germán Vidal
2006 C conf
Combining algorithmic debugging and program slicing.
PPDP
Josep Silva, Olaf Chitil
2006 J jnl
Forward slicing of functional logic programs by partial evaluation
CoRR
Josep Silva, Germán Vidal
2006 C conf
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.
LOPSTR
Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
2006 C conf
Multi-source Materialized Views Maintenance: Multi-level Views.
ADBIS
Josep Silva, Jorge Belenguer, Matilde Celma
2006 — conf
Multi-source materialized views maintenance.
EDA
Josep Silva, Jorge Belenguer, Matilde Celma
2006 — conf
Static Slicing of Rewrite Systems.
WFLP
Diego Cheda, Josep Silva, Germán Vidal
2005 — conf
An offline partial evaluator for curry programs.
WCFLP
J. Guadalupe Ramos, Josep Silva, Germán Vidal
2005 J jnl
Análisis Teórico-Experimental de Criterios de Comparación de Esquemas Conceptuales Orientados a Objeto.
Computación y Sistemas
Josep Silva, José A. Carsí, Isidro Ramos
2005 A conf
Fast narrowing-driven partial evaluation for inductively sequential programs.
ICFP
J. Guadalupe Ramos, Josep Silva, Germán Vidal
2005 — conf
Lightweight program specialization via dynamic slicing.
WCFLP
Claudio Ochoa, Josep Silva, Germán Vidal
2005 — conf
Slicing XML Documents.
WWV
Josep Silva
2005 — conf
Slicing XML Documents.
WWV
Josep Silva
2004 B conf
An Embedded Language Approach to Router Specification in Curry.
SOFSEM
J. Guadalupe Ramos, Josep Silva, Germán Vidal
2004 C conf
Dynamic slicing based on redex trails.
PEPM
Claudio Ochoa, Josep Silva, Germán Vidal
2004 C conf
Run-Time Profiling of Functional Logic Programs.
LOPSTR
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
2004 — conf
Towards CNC Programming Using Haskell.
IBERAMIA
Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal
2003 — conf
El aspecto de distribución de PRISMA.
JISBD
Josep Silva, Nour Hussein, José A. Carsí, Isidro Ramos
2003 — conf
Time Equations for Lazy Functional (Logic) Languages.
APPIA-GULP-PRODE
Elvira Albert, Josep Silva, Germán Vidal
2002 — conf
An Algorithm to Compare OO-Conceptual Schemas.
ICSM
Josep Silva, Isidro Ramos, José A. Carsí
2002 — conf
Materialización de Vistas Multi-Origen: Vistas Multinivel.
JISBD
Josep Silva, Jorge Belenguer, Matilde Celma