Travelled to:1 × Belgium
1 × France
1 × Germany
1 × Italy
1 × Spain
1 × Switzerland
1 × United Kingdom
2 × USA
Collaborated with:J.Cabot E.Guerra J.d.Lara D.Riera J.Cortadella C.A.González A.Shaikh U.K.Wiil N.Memon J.S.Cuadrado
Talks about:model (6) ocl (6) uml (5) transform (4) verif (3) constraint (2) domain (2) graph (2) rule (2) octahedron (1)
♂ Person: Robert Clarisó
DBLP: Claris=oacute=:Robert
Facilitated 1 volumes:
PrCoContributed to:
2015
2010
2010
2009200820082007
20042017Wrote 9 papers:
- SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification
- Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
- ASE-2010-ShaikhCWM #modelling #ocl #slicing #uml
- Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.
- ICMT-2010-CabotCGL #graph transformation #ocl #synthesis
- Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
- IFM-2009-CabotCR #contract #ocl #uml #verification
- Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
- ICMT-2008-CabotCGL #graph transformation #ocl
- Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.
- MoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation
- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
- ASE-2007-CabotCR #constraints #modelling #named #ocl #programming #uml #using #verification
- UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.
- SAS-2004-ClarisoC #abstract domain
- The Octahedron Abstract Domain (RC, JC), pp. 312–327.
- MoDELS-2017-CuadradoGLCC #constraints #model transformation
- Translating Target to Source Constraints in Model-to-Model Transformations (JSC, EG, JdL, RC, JC), pp. 12–22.