BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Italy
1 × Spain
1 × USA
Collaborated with:
J.M.Rushby M.Pouzet L.M.d.Moura S.Cruanes S.Owre N.Shankar D.Biernacki J.Colaço
Talks about:
synchron (2) modular (2) generat (2) tool (2) flow (2) data (2) stateflow (1) evidenti (1) program (1) languag (1)

Person: Grégoire Hamon

DBLP DBLP: Hamon:Gr=eacute=goire

Contributed to:

VMCAI 20132013
LCTES 20082008
FASE 20042004
SEFM 20042004
PPDP 20002000

Wrote 5 papers:

VMCAI-2013-CruanesHOS #integration #tool support
Tool Integration with the Evidential Tool Bus (SC, GH, SO, NS), pp. 275–294.
LCTES-2008-BiernackiCHP #code generation #composition #data flow
Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
FASE-2004-HamonR #semantics
An Operational Semantics for Stateflow (GH, JMR), pp. 229–243.
SEFM-2004-HamonMR #generative #model checking #performance #testing
Generating Efficient Test Sets with a Model Checker (GH, LMdM, JMR), pp. 261–270.
PPDP-2000-HamonP #composition #data flow #source code
Modular resetting of synchronous data-flow programs (GH, MP), pp. 289–300.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.