Robert Clarisó

	2011
16		Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff: Preface (OCL 2011 Proceedings). ECEASST 44: (2011)
	2010
15		Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon: Verification-driven slicing of UML/OCL models. ASE 2010: 185-194
14		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Synthesis of OCL Pre-conditions for Graph Transformation Rules. ICMT 2010: 45-60
13		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software 83(2): 283-302 (2010)
12		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: A UML/OCL framework for the analysis of graph transformation rules. Software and System Modeling 9(3): 335-357 (2010)
	2009
11		Jordi Cabot, Robert Clarisó, Daniel Riera: Verifying UML/OCL Operation Contracts. IFM 2009: 40-55
	2008
10		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Analysing Graph Transformation Rules through OCL. ICMT 2008: 229-244
9		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
8		Jordi Cabot, Robert Clarisó, Daniel Riera: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. ASE 2007: 547-548
7		Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera: UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. JISBD 2007: 385-386
6		Robert Clarisó, Jordi Cortadella: Verification of Concurrent Systems with Parametric Delays Using Octahedra. Fundam. Inform. 78(1): 1-33 (2007)
5		Robert Clarisó, Jordi Cortadella: The octahedron abstract domain. Sci. Comput. Program. 64(1): 115-139 (2007)
	2005
4		Robert Clarisó, Jordi Cortadella: Verification of Concurrent Systems with Parametric Delays Using Octahedra. ACSD 2005: 122-131
3		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		Robert Clarisó, Jordi Cortadella: Verification of timed circuits with symbolic delays. ASP-DAC 2004: 628-633
1		Robert Clarisó, Jordi Cortadella: The Octahedron Abstract Domain. SAS 2004: 312-327

Coauthor Index

1	Jordi Cabot	[7] [8] [9] [10] [11] [12] [13] [14] [16]
2	Jordi Cortadella	[1] [2] [3] [4] [5] [6]
3	Patricia de la Fuente	[7]
4	Martin Gogolla	[16]
5	Esther Guerra	[9] [10] [12] [13] [14]
6	Juan de Lara (Juan de Lara Jaramillo)	[9] [10] [12] [13] [14]
7	Nasrullah Memon	[15]
8	Daniel Riera	[7] [8] [11]
9	Enric Rodríguez-Carbonell	[3]
10	Asadullah Shaikh	[15]
11	Uffe Kock Wiil	[15]
12	Burkhart Wolff	[16]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page