Number of documents


Gwenaël Delaval

Assistant professor since 2010 in the LIG (Laboratoire d'Informatique de Grenoble).

Current research subjects

  • Compilation of synchronous programming languages
  • Programming methodologies using discrete controller synthesis
  • Distribution of synchronous programs


Conference papers2 documents

  • Gwenaël Delaval, Hervé Marchand, Eric Rutten. Contracts for modular discrete controller synthesis. Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, ⟨10.1145/1755888.1755898⟩. ⟨inria-00476910⟩
  • Noël de Palma, Gwenaël Delaval, Eric Rutten. QoS and Energy Management Coordination using Discrete Controller Synthesis. 1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India. ⟨hal-00784999⟩

Reports1 document

  • Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon. Automatic generation of discrete handlers of real-time continuous control tasks. [Research Report] RR-7332, INRIA. 2010, pp.17. ⟨inria-00498394⟩