 | 2009 |
|---|
| 10 |       | Bruno Pagano,
Olivier Andrieu,
Thomas Moniot,
Benjamin Canou,
Emmanuel Chailloux,
Philippe Wang,
Pascal Manoury,
Jean-Louis Colaço:
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.
ICFP 2009: 215-220 |
| 9 | | Paul Caspi,
Jean-Louis Colaço,
Léonard Gérard,
Marc Pouzet,
Pascal Raymond:
Synchronous objects with scheduling policies: introducing safe shared memory in lustre.
LCTES 2009: 11-20 |
| 2008 |
|---|
| 8 | | 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 | | 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 | | Jean-Louis Colaço,
Grégoire Hamon,
Marc Pouzet:
Mixing signals and modes in synchronous data-flow systems.
EMSOFT 2006: 73-82 |
| 2005 |
|---|
| 5 | | Jean-Louis Colaço,
Bruno Pagano,
Marc Pouzet:
A conservative extension of synchronous data-flow with state machines.
EMSOFT 2005: 173-182 |
| 2004 |
|---|
| 4 | | Jean-Louis Colaço,
Alain Girault,
Grégoire Hamon,
Marc Pouzet:
Towards a higher-order synchronous data-flow language.
EMSOFT 2004: 230-239 |
| 3 | | Jean-Louis Colaço,
Marc Pouzet:
Type-based initialization analysis of a synchronous dataflow language.
STTT 6(3): 245-255 (2004) |
| 2003 |
|---|
| 2 | | Jean-Louis Colaço,
Marc Pouzet:
Clocks as First Class Abstract Types.
EMSOFT 2003: 134-155 |
| 2002 |
|---|
| 1 | | Jean-Louis Colaço,
Marc Pouzet:
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language.
Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
