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: Curic:Adrian
Contributed to:
2006
2003Wrote 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.