| 2008 |
|---|
| 8 | EE | Dariusz Biernacki,
Jean-Louis Colaço,
Grégoire Hamon,
Marc Pouzet:
Clock-directed modular code generation for synchronous data-flow languages.
LCTES 2008: 121-130 |
| 7 | EE | Bruno Pagano,
Olivier Andrieu,
Benjamin Canou,
Emmanuel Chailloux,
Jean-Louis Colaço,
Thomas Moniot,
Philippe Wang:
Certified Development Tools Implementation in Objective Caml.
PADL 2008: 2-17 |
| 2006 |
|---|
| 6 | EE | Jean-Louis Colaço,
Grégoire Hamon,
Marc Pouzet:
Mixing signals and modes in synchronous data-flow systems.
EMSOFT 2006: 73-82 |
| 2005 |
|---|
| 5 | EE | Jean-Louis Colaço,
Bruno Pagano,
Marc Pouzet:
A conservative extension of synchronous data-flow with state machines.
EMSOFT 2005: 173-182 |
| 2004 |
|---|
| 4 | EE | Jean-Louis Colaço,
Alain Girault,
Grégoire Hamon,
Marc Pouzet:
Towards a higher-order synchronous data-flow language.
EMSOFT 2004: 230-239 |
| 3 | EE | Jean-Louis Colaço,
Marc Pouzet:
Type-based initialization analysis of a synchronous dataflow language.
STTT 6(3): 245-255 (2004) |
| 2003 |
|---|
| 2 | EE | Jean-Louis Colaço,
Marc Pouzet:
Clocks as First Class Abstract Types.
EMSOFT 2003: 134-155 |
| 2002 |
|---|
| 1 | EE | Jean-Louis Colaço,
Marc Pouzet:
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language.
Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
