The SCEAS System
Navigation Menu

Search the dblp DataBase


Grégoire Hamon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet
    Towards a higher-order synchronous data-flow language. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:230-239 [Conf]
  2. Grégoire Hamon
    A denotational semantics for stateflow. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:164-172 [Conf]
  3. Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
    Mixing signals and modes in synchronous data-flow systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:73-82 [Conf]
  4. Grégoire Hamon, John M. Rushby
    An Operational Semantics for Stateflow. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:229-243 [Conf]
  5. Sylvain Boulmé, Grégoire Hamon
    Certifying Synchrony for Free. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:495-506 [Conf]
  6. Grégoire Hamon, Marc Pouzet
    Modular resetting of synchronous data-flow programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:289-300 [Conf]
  7. Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby
    Generating Efficient Test Sets with a Model Checker. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:261-270 [Conf]
  8. Grégoire Hamon
    Synchronous Dataflow Pattern Matching. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:37-54 [Journal]

  9. Clock-directed modular code generation for synchronous data-flow languages. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002