2006 |
4 | EE | 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: 445-449 |
2005 |
3 | EE | Stavros Tripakis,
Christos Sofronis,
Paul Caspi,
Adrian Curic:
Translating discrete-time simulink to lustre.
ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005) |
2003 |
2 | EE | Paul Caspi,
Adrian Curic,
Aude Maignan,
Christos Sofronis,
Stavros Tripakis:
Translating Discrete-Time Simulink to Lustre.
EMSOFT 2003: 84-99 |
1 | EE | 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: 153-162 |