Adrian Curic

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

Publications

Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. TACAS (2006)
Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
Translating discrete-time simulink to lustre. ACM Trans. Embed. Comput. Syst. 4 (4) (2005)
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. LCTES (2003)
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
Translating Discrete-Time Simulink to Lustre. EMSOFT (2003)