Grégoire Hamon

12 papers B 5C 1Misc 3Journal 1Unranked 2
YearRankTypeTitle / Venue / Authors
2013 B conf
Tool Integration with the Evidential Tool Bus.
VMCAI
Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar
2009 — conf
Towards Computational Hybrid System Semantics for Time-Based Block Diagrams.
ADHS
Pieter J. Mosterman, Justyna Zander, Grégoire Hamon, Ben Denckla
2008 B conf
Clock-directed modular code generation for synchronous data-flow languages.
LCTES
Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
2007 J jnl
An operational semantics for Stateflow.
Int. J. Softw. Tools Technol. Transf.
Grégoire Hamon, John M. Rushby
2006 Misc conf
Mixing signals and modes in synchronous data-flow systems.
EMSOFT
Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
2005 Misc conf
A denotational semantics for stateflow.
EMSOFT
Grégoire Hamon
2004 B conf
An Operational Semantics for Stateflow.
FASE
Grégoire Hamon, John M. Rushby
2004 B conf
Generating Efficient Test Sets with a Model Checker.
SEFM
Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby
2004 — conf
Synchronous Dataflow Pattern Matching.
SLAP
Grégoire Hamon
2004 Misc conf
Towards a higher-order synchronous data-flow language.
EMSOFT
Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet
2001 B conf
Certifying Synchrony for Free.
LPAR
Sylvain Boulmé, Grégoire Hamon
2000 C conf
Modular resetting of synchronous data-flow programs.
PPDP
Grégoire Hamon, Marc Pouzet