| 2009 |
|---|
| 10 | EE | Jordi Cabot,
Robert Clarisó,
Daniel Riera:
Verifying UML/OCL Operation Contracts.
IFM 2009: 40-55 |
| 2008 |
|---|
| 9 | EE | Jordi Cabot,
Robert Clarisó,
Esther Guerra,
Juan de Lara:
Analysing Graph Transformation Rules through OCL.
ICMT 2008: 229-244 |
| 8 | EE | Jordi Cabot,
Robert Clarisó,
Esther Guerra,
Juan de Lara:
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.
MoDELS 2008: 37-52 |
| 2007 |
|---|
| 7 | EE | Jordi Cabot,
Robert Clarisó,
Daniel Riera:
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.
ASE 2007: 547-548 |
| 6 | EE | Robert Clarisó,
Jordi Cortadella:
Verification of Concurrent Systems with Parametric Delays Using Octahedra.
Fundam. Inform. 78(1): 1-33 (2007) |
| 5 | EE | Robert Clarisó,
Jordi Cortadella:
The octahedron abstract domain.
Sci. Comput. Program. 64(1): 115-139 (2007) |
| 2005 |
|---|
| 4 | EE | Robert Clarisó,
Jordi Cortadella:
Verification of Concurrent Systems with Parametric Delays Using Octahedra.
ACSD 2005: 122-131 |
| 3 | EE | Robert Clarisó,
Enric Rodríguez-Carbonell,
Jordi Cortadella:
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.
ICATPN 2005: 188-207 |
| 2004 |
|---|
| 2 | EE | Robert Clarisó,
Jordi Cortadella:
Verification of timed circuits with symbolic delays.
ASP-DAC 2004: 628-633 |
| 1 | EE | Robert Clarisó,
Jordi Cortadella:
The Octahedron Abstract Domain.
SAS 2004: 312-327 |
