@InProceedings{Emsoft2011, 
	Author = {Bouhadiba, Tayeb and Sabah, Quentin and Delaval, Gwena\"el and Rutten, Éric},
	Title = {Synchronous Control of Reconfiguration in Fractal Component-based Systems: a Case Study},
	BookTitle = {Proceedings of the ninth ACM international conference on Embedded software},
	Pages = {309--318},
	Series = {EMSOFT'11},
	Publisher = {ACM},
	Address = {New York, NY, USA},
 	Year = {2011}
} 


@article{SebouiHDRY11, 
	Author = {Belhaj Seboui, Amine and Ben Hadj-Alouane, Nejib and Delaval, Gwena\"e and Rutten, É and Moez Yeddes, Mohamed},
	Title = {An approach for the synthesis of decentralised supervisors for distributed adaptive systems},
	Journal = {International Journal of Critical Computer-Based Systems},
	Volume = {2},
	Number = {3},
	Pages = {246--265},
	Year = {2011}
} 


@InProceedings{IFAC11, 
	Author = {Aboubekr, Soufyane and Delaval, Gwena\"el and Pissard-Gibollet, Roger and Rutten, Éric and Simon, Daniel},
	Title = {Automatic Generation of Discrete Handlers of Real-Time Continuous Control Tasks},
	BookTitle = {Proceedings of the 18th IFAC World Congress},
	Volume = {18},
	Address = {Milano, Italy},
 	Month = {August},
	Year = {2011}
} 


@InProceedings{MSR11, 
	Author = {Delaval, Gwena\"e and Rutten, É and Marchand, Hervé},
	Title = {Int{é}gration de la synth{è}se de contr{ô}leurs discrets dans un langage de programmation},
	BookTitle = {Actes du 8{è}me Colloque Francophone sur la Mod{é}lisation des Syst{è}mes R{é}actifs (MSR 2011)},
	Pages = {125--140},
	Address = {Lille, France},
 	Month = {November},
	Year = {2011}
} 


@InProceedings{FeBiD11, 
	Author = {Boyer, Fabienne and Delaval, Gwena\"el and de Palma, No\"el and Gruber, Olivier and Rutten, Éric},
	Title = {Case Studies in Discrete Control of Autonomic Computing Systems},
	BookTitle = {Proc. of the Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011)},
	Address = {Karlsruhe, Germany},
 	Month = {June},
	Year = {2011}
} 


@InProceedings{gcm10:_qos_energ_coord_dcs, 
	Author = {De Palma, No\"el and Delaval, Gwena\"el and Rutten, \'Eric},
	Title = {QoS and Energy Management Coordination using Discrete Controller Synthesis},
	BookTitle = {1st International Workshop on Green Computing Middleware (GCM'2010)},
	Address = {Bangalore, India},
 	Month = {November},
	Year = {2010}
} 


@PhdThesis{delaval-these, 
	Author = {Delaval, G.},
	Title = {Répartition Modulaire de Programmes Synchrones},
	School = {INPG},
	Address = {INRIA Grenoble Rhône-Alpes, projet Pop-Art},
 	Month = {July},
	Year = {2008}
} 


@InProceedings{delaval08, 
	Author = {Delaval, G.},
	Title = {Modular Distribution and Application to Discrete Controller Synthesis},
	BookTitle = {International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P'08},
	Series = {ENTCS},
	Address = {Budapest, Hungary},
 	Month = {March},
	Year = {2008}
} 


@InProceedings{delaval08b, 
	Author = {Delaval, G. and Girault, A. and Pouzet, M.},
	Title = {A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs},
	BookTitle = {International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'08},
	Pages = {101--110},
	Publisher = {ACM, New-York},
	Address = {Tucson (AZ), USA},
 	Month = {June},
	Year = {2008}
} 


@article{jes-gd-07, 
	Author = {Delaval, Gwenaël and Rutten, Éric},
	Title = {A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis},
	Journal = {EURASIP Journal on Embedded Systems},
	Volume = {	 2007},
	Pages = {0--17},
	Year = {2007}
} 


@InProceedings{delaval06:_domain_specif_languag_multi_system, 
	Author = {Delaval, G. and Rutten, E.},
	Title = {A Domain-specific Language for Task Handlers Generation, Applying Discrete Controller Synthesis},
	BookTitle = {ACM Symposium on Applied computing, SAC'06},
	Pages = {901--905},
	Publisher = {ACM Press},
	Month = {April},
	Year = {2006}
} 


@TechReport{rr-nemo, 
	Author = {Delaval, G. and Rutten, E.},
	Title = {A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis},
	Number = {5690},
	Institution = {INRIA},
	Month = {September},
	Year = {2005}
}