Grégoire Hamon

According to our database, Grégoire Hamon authored at least 11 papers between 2000 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Tool Integration with the Evidential Tool Bus.

Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar

Proceedings of the Verification, 2013

2009

Towards Computational Hybrid System Semantics for Time-Based Block Diagrams.

Pieter J. Mosterman, Justyna Zander, Grégoire Hamon, Ben Denckla

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Clock-directed modular code generation for synchronous data-flow languages.

Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

2007

An operational semantics for Stateflow.

Grégoire Hamon, John M. Rushby

Int. J. Softw. Tools Technol. Transf., 2007

2006

Mixing signals and modes in synchronous data-flow systems.

Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

A denotational semantics for stateflow.

Grégoire Hamon

Proceedings of the EMSOFT 2005, 2005

2004

Synchronous Dataflow Pattern Matching.

Grégoire Hamon

Proceedings of the Third International Workshop on Synchronous Languages, 2004

Generating Efficient Test Sets with a Model Checker.

Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Towards a higher-order synchronous data-flow language.

Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet

Proceedings of the EMSOFT 2004, 2004

2001

Certifying Synchrony for Free.

Sylvain Boulmé, Grégoire Hamon

Proceedings of the Logic for Programming, 2001

2000

Modular resetting of synchronous data-flow programs.

Grégoire Hamon, Marc Pouzet

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000