Josep Silva

Marisa Llorens

Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022

Maximal and Minimal Dynamic Petri Net Slicing.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2022

HybEx: A Hybrid Tool for Template Extraction.

[BibT_eX]

[DOI]

Proceedings of the Companion of The Web Conference 2022, Virtual Event / Lyon, France, April 25, 2022

A Program Slicer for Java (Tool Paper).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Program Slicing Techniques with Support for Unconditional Jumps.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Reversible CSP Computations.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2021

Page-Level Main Content Extraction From Heterogeneous Webpages.

[BibT_eX]

[DOI]

ACM Trans. Knowl. Discov. Data, 2021

Maximal and minimal dynamic Petri net slicing.

[BibT_eX]

[DOI]

CoRR, 2021

Semiautomatic generation and assessment of Java exercises in engineering education.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2021

2020

ReverCSP: Time-Travelling in CSP Computations.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 12th International Conference, 2020

Slicing Unconditional Jumps with Unnecessary Control Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

What Web Template Extractor Should I Use? A Benchmarking and Comparison for Five Template Extractors.

[BibT_eX]

[DOI]

ACM Trans. Web, 2019

Automatic Testing of Program Slicers.

[BibT_eX]

[DOI]

Sci. Program., 2019

Tracking CSP computations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

2018

Behaviour Preservation across Code Versions in Erlang.

[BibT_eX]

[DOI]

Sci. Program., 2018

Algorithmic debugging generalized.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018).

[BibT_eX]

[DOI]

CoRR, 2018

Erlang Code Evolution Control (Use Cases).

[BibT_eX]

[DOI]

CoRR, 2018

Automatic assessment of Java code.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

Main Content Extraction from Heterogeneous Webpages.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

2017

Optimization Techniques for Algorithmic Debugging.

[BibT_eX]

[DOI]

Bull. EATCS, 2017

A Survey of Algorithmic Debugging.

[BibT_eX]

[DOI]

Rafael Caballero

Adrián Riesco

ACM Comput. Surv., 2017

Webpage Menu Detection Based on DOM.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Computing super reduced program slices by composing slicing techniques.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

Erlang Code Evolution Control.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

In what order should i correct the exercises? Determining the evaluation order for the automatic assessment of programming exercises.

[BibT_eX]

[DOI]

Salvador España Boquera

Proceedings of the 16th International Conference on Information Technology Based Higher Education and Training, 2017

Analyzing the learning process (in Programming) by using data collected from an online IDE.

[BibT_eX]

[DOI]

Salvador España Boquera

David Guerrero-Lopez

Alvaro Hermida-Perez

José-Vicente Benlloch-Dualde

Proceedings of the 16th International Conference on Information Technology Based Higher Education and Training, 2017

An Integrated Environment for Petri Net Slicing.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Dynamic slicing of concurrent specification languages.

[BibT_eX]

[DOI]

Parallel Comput., 2016

Where You Sit MattersHow Classroom Seating Might Affect Marks.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

Computer assisted self-assessment of programming code: A report on university students experience and opinion.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Information Technology Based Higher Education and Training, 2016

2015

Editorial for the JLAMP Special Issue on automated specification and verification of web systems.

[BibT_eX]

[DOI]

António Ravara

J. Log. Algebraic Methods Program., 2015

Automatic transformation of iterative loops into recursive methods.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

TeMex: The Web Template Extractor.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on World Wide Web Companion, 2015

A Generalized Model for Algorithmic Debugging.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

Site-Level Web Template Extraction Based on DOM Analysis.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2015

2014

Transforming while/do/for/foreach-Loops into Recursive Methods.

[BibT_eX]

[DOI]

CoRR, 2014

Web Template Extraction Based on Hyperlink Analysis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

A Benchmark Suite for Template Detection and Content Extraction.

[BibT_eX]

[DOI]

CoRR, 2014

Automatic Detection of Webpages that Share the Same Web Template.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, 2014

2013

Special issue on Automated Specification and Verification of Web Systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2013

Using the words/leafs ratio in the DOM tree for content extraction.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2013

Speeding Up Algorithmic Debugging Using Balanced Execution Trees.

[BibT_eX]

[DOI]

Adrián Riesco

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Precise explanation of success typing errors.

[BibT_eX]

[DOI]

Konstantinos Sagonas

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

A New Hybrid Debugging Architecture for Eclipse.

[BibT_eX]

[DOI]

Juan González

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

An empirical analysis of the influence of classmates on the academic performance.

[BibT_eX]

[DOI]

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

The influence of students distribution on their grades.

[BibT_eX]

[DOI]

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

2012

Content Extraction based on Hierarchical Relations in DOM Structures.

[BibT_eX]

[DOI]

Sergio López

Polibits, 2012

Static slicing of explicitly synchronized languages.

[BibT_eX]

[DOI]

Inf. Comput., 2012

A vocabulary of program slicing-based techniques.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2012

Using the DOM Tree for Content Extraction

[BibT_eX]

[DOI]

Sergio López

Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012

Generating a Petri net from a CSP specification: A semantics-based method.

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2012

The New Generation of Algorithmic Debuggers (Keynote).

[BibT_eX]

[DOI]

Josep Silva Galiana

Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

Enhancing Declarative Debugging with Loop Expansion and Tree Compression.

[BibT_eX]

[DOI]

César Tomás

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

System Dependence Graphs in Sequential Erlang.

[BibT_eX]

[DOI]

César Tomás

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Information Extraction from Webpages Based on DOM Distances.

[BibT_eX]

[DOI]

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2012

2011

Implementation of an Optimal Strategy for Algorithmic Debugging.

[BibT_eX]

[DOI]

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

Optimal Divide and Query (extended version)

[BibT_eX]

[DOI]

CoRR, 2011

A survey on algorithmic debugging strategies.

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2011

An optimal strategy for algorithmic debugging.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Optimal Divide and Query.

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

Proceedings of the Progress in Artificial Intelligence, 2011

XQuery optimization based on program slicing.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

2010

Preface.

[BibT_eX]

[DOI]

Víctor M. Gulías

Josep Silva Galiana

Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

Reconstructing Information Retrieved from Multiple Websites.

[BibT_eX]

[DOI]

Héctor Valero

Carlos J. Castillo

Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010

Modeling Implicit Knowledge from Microformatted Websites.

[BibT_eX]

Proceedings of the 2010 International Conference on Semantic Web & Web Services, 2010

Domain Specific Languages for Software Requirements Capture.

[BibT_eX]

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

An algorithm to generate the context-sensitive synchronized control flow graph.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Translating CSP Specifications to Equivalent Petri Nets.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

A Tracking Semantics for CSP.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Graph Generation to Statically Represent CSP Processes.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Scaling Up Algorithmic Debugging with Virtual Execution Trees.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

An algorithmic debugger for Java.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

A New Information Filtering Method for WebPages.

[BibT_eX]

[DOI]

Sergio López

Proceedings of the Database and Expert Systems Applications, 2010

2009

SOC: a slicer for CSP specifications.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

A Technique for Information Retrieval from Microformatted Websites.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2009

A Practical Approach to Modeling and Extracting Information from Semantic Web Based on Microformats.

[BibT_eX]

[DOI]

Proceedings of the 2009 Mexican International Conference on Computer Science, 2009

2008

Dynamic slicing of lazy functional programs based on redex trails.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2008

Information Filtering and Information Retrieval with the Web Filtering Toolbar.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

Dynamic Slicing Techniques for Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

State of the Practice in Algorithmic Debugging.

[BibT_eX]

[DOI]

Diego Cheda

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging.

[BibT_eX]

[DOI]

AI Commun., 2008

The MEB and CEB Static Analysis for CSP Specifications.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2007

Forward slicing of functional logic programs by partial evaluation.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

Ensuring the quasi-termination of needed narrowing computations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

A Program Slicing Based Method to Filter XML/DTD Documents.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

2006

Static Slicing of Rewrite Systems.

[BibT_eX]

[DOI]

Diego Cheda

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Combining algorithmic debugging and program slicing.

[BibT_eX]

[DOI]

Olaf Chitil

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A Comparative Study of Algorithmic Debugging Strategies.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

A Slicing Tool for Lazy Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Multi-source materialized views maintenance.

[BibT_eX]

[DOI]

Jorge Belenguer

Matilde Celma

Proceedings of the Actes de la 2ème journée francophone sur les Entrepôts de Données et l'Analyse en ligne, 2006

Multi-source Materialized Views Maintenance: Multi-level Views.

[BibT_eX]

[DOI]

Jorge Belenguer

Matilde Celma

Proceedings of the Advances in Databases and Information Systems, 2006

2005

Slicing XML Documents.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Análisis Teórico-Experimental de Criterios de Comparación de Esquemas Conceptuales Orientados a Objeto.

[BibT_eX]

[DOI]

José A. Carsí

Isidro Ramos

Computación y Sistemas, 2005

An offline partial evaluator for curry programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Lightweight program specialization via dynamic slicing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Fast narrowing-driven partial evaluation for inductively sequential programs.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

An Embedded Language Approach to Router Specification in Curry.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2004: Theory and Practice of Computer Science, 2004

Dynamic slicing based on redex trails.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

Run-Time Profiling of Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Towards CNC Programming Using Haskell.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

2003

El aspecto de distribución de PRISMA.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Time Equations for Lazy Functional (Logic) Languages.

[BibT_eX]

Elvira Albert

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Materialización de Vistas Multi-Origen: Vistas Multinivel.

[BibT_eX]

Jorge Belenguer

Matilde Celma

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

An Algorithm to Compare OO-Conceptual Schemas.

[BibT_eX]

[DOI]