Concepedia

Grégoire Hamon

GH

Statistics

Publications

14

Citations

720

H-Index

13

Active since

1988

Affiliations

MathWorks (United States)(Current)

Institut national de recherche en sciences et technologies du numérique

Chalmers University of Technology

Laboratoire de Recherche en Informatique

Grégoire Hamon is an author at MathWorks (United States) specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisSystems EngineeringComputer EngineeringVerificationAutomated Reasoning

Publications per year

1988–2011

14

Publications

14

Fuzzy querying with SQL: Extensions and implementation aspects

P. Bosc, M. J. Galibourg, Grégoire Hamon · Fuzzy Sets and Systems · 1988 · 139 citations

Fuzzy Logic, Engineering, Information Retrieval +7

Generating efficient test sets with a model checker

Grégoire Hamon, Leonardo de Moura, John Rushby · Software Engineering and Formal Methods · 2004 · 94 citations

Engineering, Verification, Test Data Generation +19

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

Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon et al. · 2008 · 70 citations

Engineering, Compiler Technology, Computer Architecture +19

Generating efficient test sets with a model checker

Grégoire Hamon, Leonardo de Moura, John Rushby · 2004 · 68 citations

Engineering, Verification, Test Data Generation +19

An operational semantics for Stateflow

Grégoire Hamon, John Rushby · International Journal on Software Tools for Technology Transfer · 2007 · 64 citations

Formal Specification, Engineering, Operational Semantics +8

1–5 of 14