Josep Silva

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 45

Top Venues

CoRR

J. Log. Algebraic Methods Program.

LOPSTR

ITHET

Publications

Julián Alarte, Carlos Galindo, Josep Silva
Programming Contests as Complementary Activities in University Programming Courses. CSEDU (2) (2024)
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
Field-sensitive program slicing. J. Syst. Softw. 210 (2024)
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited. ICSME (2023)
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Slicing Petri Nets to Reduce Their Complexity - Abstract. ATAED/PN4TT@Petri Nets (2023)
Carlos Galindo, Sergio Pérez, Josep Silva
Program slicing of Java programs. J. Log. Algebraic Methods Program. 130 (2023)
Carlos Galindo, Sergio Pérez, Josep Silva
Exception-sensitive program slicing. J. Log. Algebraic Methods Program. 130 (2023)
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Context-sensitive analysis of data interference for concurrent programs. PNSE@Petri Nets (2023)
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
Field-Sensitive Program Slicing. SEFM (2022)
Julián Alarte, Josep Silva
HybEx: A Hybrid Tool for Template Extraction. WWW (Companion Volume) (2022)
Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit
Maximal and Minimal Dynamic Petri Net Slicing. Fundam. Informaticae 188 (4) (2022)
Carlos Galindo, Sergio Pérez, Josep Silva
A Program Slicer for Java (Tool Paper). SEFM (2022)
Carlos Galindo, Sergio Pérez, Josep Silva
Program Slicing Techniques with Support for Unconditional Jumps. ICFEM (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)
Julián Alarte, Josep Silva
Page-Level Main Content Extraction From Heterogeneous Webpages. ACM Trans. Knowl. Discov. Data 15 (6) (2021)
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
ReverCSP: Time-Travelling in CSP Computations. RC (2020)
Carlos Galindo, Sergio Pérez, Josep Silva
Slicing Unconditional Jumps with Unnecessary Control Dependencies. LOPSTR (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)
David Insa, Josep Silva
Automatic assessment of Java code. Comput. Lang. Syst. Struct. 53 (2018)
David Insa, Josep Silva
Algorithmic debugging generalized. J. Log. Algebraic Methods Program. 97 (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)
Josep Silva
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018). 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
Computing super reduced program slices by composing slicing techniques. SAC (2017)
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)
David Insa, Josep Silva
Optimization Techniques for Algorithmic Debugging. Bull. EATCS 122 (2017)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An Integrated Environment for Petri Net Slicing. Petri Nets (2017)
Rafael Caballero, Adrián Riesco, Josep Silva
A Survey of Algorithmic Debugging. ACM Comput. Surv. 50 (4) (2017)
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
Erlang Code Evolution Control. LOPSTR (2017)
Julián Alarte, David Insa, Josep Silva
Webpage Menu Detection Based on DOM. SOFSEM (2017)
Salvador España Boquera, David Guerrero-Lopez, Alvaro Hermida-Perez, Josep Silva, José-Vicente Benlloch-Dualde
Analyzing the learning process (in Programming) by using data collected from an online IDE. ITHET (2017)
David Insa, Josep Silva, Salvador Tamarit
Where You Sit MattersHow Classroom Seating Might Affect Marks. ITiCSE (2016)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Dynamic slicing of concurrent specification languages. Parallel Comput. 53 (2016)
David Insa, Josep Silva
Computer assisted self-assessment of programming code: A report on university students experience and opinion. ITHET (2016)
António Ravara, Josep Silva
Editorial for the JLAMP Special Issue on automated specification and verification of web systems. J. Log. Algebraic Methods Program. 84 (4) (2015)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
TeMex: The Web Template Extractor. WWW (Companion Volume) (2015)
David Insa, Josep Silva
Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises. ITiCSE (2015)
David Insa, Josep Silva
A Generalized Model for Algorithmic Debugging. LOPSTR (2015)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
Site-Level Web Template Extraction Based on DOM Analysis. Ershov Memorial Conference (2015)
David Insa, Josep Silva
Automatic transformation of iterative loops into recursive methods. Inf. Softw. Technol. 58 (2015)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
Web Template Extraction Based on Hyperlink Analysis. PROLE (2014)
David Insa, Josep Silva
Transforming while/do/for/foreach-Loops into Recursive Methods. CoRR (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)
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebraic Methods Program. 82 (8) (2013)
Konstantinos Sagonas, Josep Silva, Salvador Tamarit
Precise explanation of success typing errors. PEPM (2013)
David Insa, Josep Silva, Adrián Riesco
Speeding Up Algorithmic Debugging Using Balanced Execution Trees. TAP@STAF (2013)
Juan González, David Insa, Josep Silva
A New Hybrid Debugging Architecture for Eclipse. LOPSTR (2013)
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
The influence of students distribution on their grades. ITiCSE (2013)
Sergio López, Josep Silva, David Insa
Content Extraction based on Hierarchical Relations in DOM Structures. Polibits 45 (2012)
Carlos J. Castillo, Héctor Valero, José Guadalupe Ramos, Josep Silva
Information Extraction from Webpages Based on DOM Distances. CICLing (2) (2012)
Josep Silva
A vocabulary of program slicing-based techniques. ACM Comput. Surv. 44 (3) (2012)
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)
David Insa, Josep Silva, César Tomás
Enhancing Declarative Debugging with Loop Expansion and Tree Compression. LOPSTR (2012)
Sergio López, Josep Silva, David Insa
Using the DOM Tree for Content Extraction WWV (2012)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Static slicing of explicitly synchronized languages. Inf. Comput. 214 (2012)
David Insa, Josep Silva
Implementation of an Optimal Strategy for Algorithmic Debugging. Electron. Notes Theor. Comput. Sci. 282 (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)
David Insa, Josep Silva
Optimal Divide and Query (extended version) CoRR (2011)
David Insa, Josep Silva
Optimal Divide and Query. EPIA (2011)
David Insa, Josep Silva
An optimal strategy for algorithmic debugging. ASE (2011)
Josep Silva
A survey on algorithmic debugging strategies. Adv. Eng. Softw. 42 (11) (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)
Sergio López, Josep Silva
A New Information Filtering Method for WebPages. DEXA Workshops (2010)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
A Tracking Semantics for CSP. MPC (2010)
David Insa, Josep Silva
Scaling Up Algorithmic Debugging with Virtual Execution Trees. LOPSTR (2010)
J. Guadalupe Ramos, Josep Silva, Heriberto Flores, Margarita Torres, Laura E. Mendoza, Juan C. Solorio
Domain Specific Languages for Software Requirements Capture. Software Engineering Research and Practice (2010)
J. Guadalupe Ramos, Josep Silva
Modeling Implicit Knowledge from Microformatted Websites. SWWS (2010)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Translating CSP Specifications to Equivalent Petri Nets. PDPTA (2010)
Héctor Valero, Carlos J. Castillo, Josep Silva
Reconstructing Information Retrieved from Multiple Websites. WWV (2010)
David Insa, Josep Silva
An algorithmic debugger for Java. ICSM (2010)
J. Guadalupe Ramos, Josep Silva, Gustavo Arroyo, Juan C. Solorio
A Technique for Information Retrieval from Microformatted Websites. Ershov Memorial Conference (2009)
Diego Cheda, Josep Silva
State of the Practice in Algorithmic Debugging. Electron. Notes Theor. Comput. Sci. 246 (2009)
J. Guadalupe Ramos, Ricardo A. Solís, Héctor Oceguera, Josep Silva
A Practical Approach to Modeling and Extracting Information from Semantic Web Based on Microformats. ENC (2009)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
SOC: a slicer for CSP specifications. PEPM (2009)
Josep Silva
Information Filtering and Information Retrieval with the Web Filtering Toolbar. Electron. Notes Theor. Comput. Sci. 235 (2009)
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)
Claudio Ochoa, Josep Silva, Germán Vidal
Dynamic slicing of lazy functional programs based on redex trails. High. Order Symb. Comput. 21 (1-2) (2008)
Josep Silva
Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging. AI Commun. 21 (1) (2008)
Josep Silva, Germán Vidal
Forward slicing of functional logic programs by partial evaluation. Theory Pract. Log. Program. 7 (1-2) (2007)
J. Guadalupe Ramos, Josep Silva, Germán Vidal
Ensuring the quasi-termination of needed narrowing computations. Inf. Process. Lett. 101 (5) (2007)
Diego Cheda, Josep Silva, Germán Vidal
Static Slicing of Rewrite Systems. Electron. Notes Theor. Comput. Sci. 177 (2007)
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR (2007)
Josep Silva
A Program Slicing Based Method to Filter XML/DTD Documents. SOFSEM (1) (2007)
Josep Silva
A Comparative Study of Algorithmic Debugging Strategies. LOPSTR (2006)
Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. LOPSTR (2006)
Josep Silva, Jorge Belenguer, Matilde Celma
Multi-source materialized views maintenance. EDA (2006)
Josep Silva, Jorge Belenguer, Matilde Celma
Multi-source Materialized Views Maintenance: Multi-level Views. ADBIS (2006)
Josep Silva
Slicing XML Documents. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Claudio Ochoa, Josep Silva, Germán Vidal
A Slicing Tool for Lazy Functional Logic Programs. JELIA (2006)

Josep Silva.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Josep Silva