Gwenaël Delaval

Statistics

Publications

Citations

233

H-Index

Active since

2007

Affiliations

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

Université Grenoble Alpes

Centre Inria de l'Université Grenoble Alpes

Laboratoire d'Informatique de Grenoble

Centre Inria de l'Université de Rennes

Gwenaël Delaval is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computer engineering, and controller synthesis.

ORCID

Publications per year

2007–2017

Publications

Contracts for modular discrete controller synthesis

Gwenaël Delaval, Hervé Marchand, Éric Rutten · 2010 · 70 citations · Full text

Engineering, Computer Engineering, Computer Science +16

Integrating discrete controller synthesis into a reactive programming language compiler

Gwenaël Delaval, Éric Rutten, Hervé Marchand · Discrete Event Dynamic Systems · 2013 · 46 citations · Full text

Computing, Computer Engineering, Computer Science +12

A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis

Gwenaël Delaval, Éric Rutten · EURASIP Journal on Embedded Systems · 2007 · 22 citations

Engineering, Computer Engineering, Computer Science +15

Synchronous control of reconfiguration in fractal component-based systems

Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval et al. · 2011 · 21 citations

Engineering, Computer Engineering, Computer Science +17

A type system for the automatic distribution of higher-order synchronous dataflow programs

Gwenaël Delaval, Alain Girault, Marc Pouzet · 2008 · 20 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 8