BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Claris=oacute=:Robert

Facilitated 1 volumes:

MoDELS 2015PrCo

Contributed to:

SEFM 20152015
ASE 20102010
ICMT 20102010
IFM 20092009
ICMT 20082008
MoDELS 20082008
ASE 20072007
SAS 20042004
MoDELS 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.