Grgoire Hamon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2000–2013
Best venue rank
Journal Published
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | VMCAI | Tool Integration with the Evidential Tool Bus. | Simon Cruanes, Grgoire Hamon, Sam Owre, Natarajan Shankar |
| 2006 | EMSOFT | Mixing signals and modes in synchronous data-flow systems. | Jean-Louis Colao, Grgoire Hamon, Marc Pouzet |
| 2005 | EMSOFT | A denotational semantics for stateflow. | Grgoire Hamon |
| 2004 | EMSOFT | Towards a higher-order synchronous data-flow language. | Jean-Louis Colao, Alain Girault, Grgoire Hamon, Marc Pouzet |
| 2004 | FASE | An Operational Semantics for Stateflow. | Grgoire Hamon, John M. Rushby |
| 2004 | SEFM | Generating Efficient Test Sets with a Model Checker. | Grgoire Hamon, Leonardo Mendona de Moura, John M. Rushby |
| 2001 | LPAR | Certifying Synchrony for Free. | Sylvain Boulm, Grgoire Hamon |
| 2000 | PPDP | Modular resetting of synchronous data-flow programs. | Grgoire Hamon, Marc Pouzet |