| |
| 2009 | ||
|---|---|---|
| 4 | EE | Jordi Cabot, Robert Clarisó, Daniel Riera: Verifying UML/OCL Operation Contracts. IFM 2009: 40-55 |
| 2007 | ||
| 3 | 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 |
| 2002 | ||
| 2 | EE | Daniel Riera, Miquel A. Piera, Antoni Guasch: PN to CSP Methodology: Improved Bounds. CCIA 2002: 145-158 |
| 1 | EE | Daniel Riera, Neil Yorke-Smith: An Improved Hybrid Model for the Generic Hoist Scheduling Problem. Annals OR 115(1-4): 173-191 (2002) |
| 1 | Jordi Cabot | [3] [4] |
| 2 | Robert Clarisó | [3] [4] |
| 3 | Antoni Guasch | [2] |
| 4 | Miquel A. Piera | [2] |
| 5 | Neil Yorke-Smith | [1] |