Salvador Tamarit

Inf. Softw. Technol., 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

2019

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

[BibT_eX]

[DOI]

Julián Alarte

ACM Trans. Web, 2019

Automatic Testing of Program Slicers.

[BibT_eX]

[DOI]

Sergio Pérez

Sci. Program., 2019

Tracking CSP computations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

A core Erlang semantics for declarative debugging.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

2018

Behaviour Preservation across Code Versions in Erlang.

[BibT_eX]

[DOI]

Sci. Program., 2018

Declarative debugging of concurrent Erlang programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Enhancing POI testing approach through the use of additional information.

[BibT_eX]

[DOI]

Sergio Pérez

CoRR, 2018

Erlang Code Evolution Control (Use Cases).

[BibT_eX]

[DOI]

CoRR, 2018

Main Content Extraction from Heterogeneous Webpages.

[BibT_eX]

[DOI]

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

Runtime Verification in Erlang by Using Contracts.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2018

Enhancing POI Testing Through the Use of Additional Information.

[BibT_eX]

[DOI]

Sergio Pérez

Proceedings of the Functional and Constraint Logic Programming, 2018

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

David Insa

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

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures.

[BibT_eX]

[DOI]

CoRR, 2016

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.

[BibT_eX]

[DOI]

CoRR, 2016

Debugging Meets Testing in Erlang.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Where You Sit MattersHow Classroom Seating Might Affect Marks.

[BibT_eX]

[DOI]

David Insa

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

2015

A zoom-declarative debugger for sequential Erlang programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

TeMex: The Web Template Extractor.

[BibT_eX]

[DOI]

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

A Haskell Implementation of a Rule-Based Program Transformation for C Programs.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2015

Site-Level Web Template Extraction Based on DOM Analysis.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2015

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

EDD: A Declarative Debugger for Sequential Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

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

[BibT_eX]

[DOI]

David Insa

J. Log. Algebraic Methods Program., 2013

A Declarative Debugger for Sequential Erlang Programs.

[BibT_eX]

[DOI]

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

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

Static slicing of explicitly synchronized languages.

[BibT_eX]

[DOI]

Inf. Comput., 2012

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

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2012

System Dependence Graphs in Sequential Erlang.

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

César Tomás

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

XQuery optimization based on program slicing.

[BibT_eX]

[DOI]

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

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

2009

Improving Size-Change Analysis in Offline Partial Evaluation

[BibT_eX]

[DOI]

Michael Leuschel

Germán Vidal

CoRR, 2009

Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.

[BibT_eX]

[DOI]

Michael Leuschel