Travelled to:
1 × Czech Republic
1 × Sweden
1 × USA
2 × France
Collaborated with:
É.Rutten H.Marchand A.Girault M.Pouzet S.M.K.Gueye N.D.Palma
Talks about:
control (3) synthesi (2) modular (2) discret (2) model (2) base (2) reconfigur (1) distribut (1) synchron (1) dataflow (1)
Person: Gwenaël Delaval
DBLP: Delaval:Gwena=euml=l
Contributed to:
Wrote 5 papers:
- CBSE-2014-DelavalGRP #composition #coordination #multi
- Modular coordination of multiple autonomic managers (GD, SMKG, ÉR, NDP), pp. 3–12.
- CBSE-2010-DelavalR #component #configuration management #modelling
- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model (GD, ÉR), pp. 93–112.
- LCTES-2010-DelavalMR #composition #contract #synthesis
- Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.
- LCTES-2008-DelavalGP #automation #data flow #higher-order #source code #type system
- A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.
- SAC-2006-DelavalR #domain-specific language #generative #synthesis
- A domain-specific language for task handlers generation, applying discrete controller synthesis (GD, ÉR), pp. 901–905.