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: Rodr=iacute=guez:Carlos
Contributed to:
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.