BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Spain
1 × Switzerland
1 × Taiwan
Collaborated with:
M.E.Sánchez J.Villalobos J.Fernandez J.Sifakis A.Bouajjani S.Graf H.Garavel L.Mounier A.Rasse
Talks about:
execut (2) model (2) multilevel (1) metamodel (1) composit (1) approach (1) toolbox (1) program (1) semant (1) safeti (1)

Person: Carlos Rodríguez

DBLP DBLP: Rodr=iacute=guez:Carlos

Contributed to:

SAC 20112011
TOOLS Europe 20112011
ICSE 19921992
ICALP 19911991

Wrote 4 papers:

SAC-2011-RodriguezSV #approach #composition #execution #multi
Executable model composition: a multilevel approach (CR, MES, JV), pp. 877–884.
TOOLS-EUROPE-2011-RodriguezSV #dependence #execution #metamodelling #modelling
Metamodel Dependencies for Executable Models (CR, MES, JV), pp. 83–98.
ICSE-1992-FernandezGMRRS #source code #verification
A Toolbox for the Verification of LOTOS Programs (JCF, HG, LM, AR, CR, JS), pp. 246–259.
ICALP-1991-BouajjaniFGRS #branch #safety #semantics
Safety for Branching Time Semantics (AB, JCF, SG, CR, JS), pp. 76–92.

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.