12 citations · 33 across the 11 of their papers we have counts for
5 papers · 1 filter
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…
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…