| 2008 |
|---|
| 10 | 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 |
| 2007 |
|---|
| 9 | EE | Grégoire Hamon,
John M. Rushby:
An operational semantics for Stateflow.
STTT 9(5-6): 447-456 (2007) |
| 2006 |
|---|
| 8 | EE | Jean-Louis Colaço,
Grégoire Hamon,
Marc Pouzet:
Mixing signals and modes in synchronous data-flow systems.
EMSOFT 2006: 73-82 |
| 7 | EE | Grégoire Hamon:
Synchronous Dataflow Pattern Matching.
Electr. Notes Theor. Comput. Sci. 153(4): 37-54 (2006) |
| 2005 |
|---|
| 6 | EE | Grégoire Hamon:
A denotational semantics for stateflow.
EMSOFT 2005: 164-172 |
| 2004 |
|---|
| 5 | EE | Jean-Louis Colaço,
Alain Girault,
Grégoire Hamon,
Marc Pouzet:
Towards a higher-order synchronous data-flow language.
EMSOFT 2004: 230-239 |
| 4 | EE | Grégoire Hamon,
John M. Rushby:
An Operational Semantics for Stateflow.
FASE 2004: 229-243 |
| 3 | EE | Grégoire Hamon,
Leonardo Mendonça de Moura,
John M. Rushby:
Generating Efficient Test Sets with a Model Checker.
SEFM 2004: 261-270 |
| 2001 |
|---|
| 2 | EE | Sylvain Boulmé,
Grégoire Hamon:
Certifying Synchrony for Free.
LPAR 2001: 495-506 |
| 2000 |
|---|
| 1 | EE | Grégoire Hamon,
Marc Pouzet:
Modular resetting of synchronous data-flow programs.
PPDP 2000: 289-300 |
