| 2009 |
|---|
| 10 | EE | Michael Leuschel,
Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit:
SOC: a slicer for CSP specifications.
PEPM 2009: 165-168 |
| 2008 |
|---|
| 9 | EE | Michael Leuschel,
Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit:
The MEB and CEB Static Analysis for CSP Specifications.
LOPSTR 2008: 103-118 |
| 8 | | Marisa Llorens,
Javier Oliver,
Oscar Vega:
Structural Dynamic Changes with CPNs.
PDPTA 2008: 149-156 |
| 7 | EE | Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit,
Germán Vidal:
Dynamic Slicing Techniques for Petri Nets.
Electr. Notes Theor. Comput. Sci. 223: 153-165 (2008) |
| 2006 |
|---|
| 6 | EE | Marisa Llorens,
Javier Oliver:
Marked-Controlled Reconfigurable Workflow Nets.
SYNASC 2006: 407-413 |
| 5 | EE | Marisa Llorens,
Javier Oliver:
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets.
ECEASST 2: (2006) |
| 2005 |
|---|
| 4 | EE | Marisa Llorens,
Javier Oliver:
MCReNet: a tool for Marked-Controlled Reconfigurable Nets.
QEST 2005: 255-256 |
| 2004 |
|---|
| 3 | EE | Marisa Llorens,
Javier Oliver:
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets.
ATVA 2004: 310-323 |
| 2 | EE | Marisa Llorens,
Javier Oliver:
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets.
IEEE Trans. Computers 53(9): 1147-1158 (2004) |
| 2003 |
|---|
| 1 | | Eric Badouel,
Marisa Llorens,
Javier Oliver:
Modeling Concurrent Systems: Reconfigurable Nets.
PDPTA 2003: 1568-1574 |
