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 × Austria
1 × USA
Collaborated with:
P.Caspi A.Maignan C.Sofronis S.Tripakis P.Niebert H.Garavel R.Mateescu D.Bergamini N.Descoubes C.Joubert I.Smarandache-Sturm G.Stragier
Talks about:
distribut (2) distributor (1) simulink (1) explicit (1) approach (1) generat (1) applic (1) state (1) space (1) scade (1)

Person: Adrian Curic

DBLP DBLP: Curic:Adrian

Contributed to:

TACAS 20062006
LCTES 20032003

Wrote 2 papers:

TACAS-2006-GaravelMBCDJSS #distributed #generative #tool support
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.
LCTES-2003-CaspiCMSTN #approach #distributed #embedded
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications (PC, AC, AM, CS, ST, PN), pp. 153–162.

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.