12 citations · 33 across the 11 of their papers we have counts for
12 papers
Maximal and minimal dynamic Petri net slicing
Marisa Llorens, Javier Oliver, Josep Silva +1
Context: Petri net slicing is a technique to reduce the size of a Petri net to ease the analysis or understanding of the original Petri net. Objective: Presenting two new Petri net…
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
Josep Silva
This volume constitutes the pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018). It is formed of those papers selected by the program…
Erlang Code Evolution Control (Use Cases)
David Insa, Sergio Pérez, Josep Silva +1
The main goal of this work is to show how SecEr can be used in different scenarios. Concretely, we demonstrate how a user can run SecEr to obtain reports about the behaviour preser…
Erlang Code Evolution Control
David Insa, Sergio Pérez, Josep Silva +1
During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. Thes…
Web Template Extraction Based on Hyperlink Analysis
Julián Alarte, David Insa, Josep Silva +1
Web templates are one of the main development resources for website engineers. Templates allow them to increase productivity by plugin content into already formatted and prepared p…
Transforming while/do/for/foreach-Loops into Recursive Methods
David Insa, Josep Silva
In software engineering, taking a good election between recursion and iteration is essential because their efficiency and maintenance are different. In fact, developers often need…
Automatic Detection of Webpages that Share the Same Web Template
Julián Alarte, David Insa, Josep Silva +1
Template extraction is the process of isolating the template of a given webpage. It is widely used in several disciplines, including webpages development, content extraction, block…
A Benchmark Suite for Template Detection and Content Extraction
Julián Alarte, Josep Silva
Template detection and content extraction are two of the main areas of information retrieval applied to the Web. They perform different analyses over the structure and content of w…
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems
António Ravara, Josep Silva
This volume contains the accepted papers of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13), which took place in Florence, Italy,…
Using the DOM Tree for Content Extraction
Sergio López, Josep Silva, David Insa
The main information of a webpage is usually mixed between menus, advertisements, panels, and other not necessarily related information; and it is often difficult to automatically…
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems
Josep Silva, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012).…
Optimal Divide and Query (extended version)
David Insa, Josep Silva
Algorithmic debugging is a semi-automatic debugging technique that allows the programmer to precisely identify the location of bugs without the need to inspect the source code. The…