BibTeX records: Gwenaël Delaval

download as .bib file

@article{DBLP:journals/concurrency/ZhouDRRM18,
  author       = {Naweiluo Zhou and
                  Gwena{\"{e}}l Delaval and
                  Bogdan Robu and
                  {\'{E}}ric Rutten and
                  Jean{-}Fran{\c{c}}ois M{\'{e}}haut},
  title        = {An autonomic-computing approach on mapping threads to multi-cores
                  for software transactional memory},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {30},
  number       = {18},
  year         = {2018},
  url          = {https://doi.org/10.1002/cpe.4506},
  doi          = {10.1002/CPE.4506},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/ZhouDRRM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/SyllaLRD18,
  author       = {Adja Ndeye Sylla and
                  Maxime Louvel and
                  {\'{E}}ric Rutten and
                  Gwena{\"{e}}l Delaval},
  title        = {Modular and Hierarchical Discrete Control for Applications and Middleware
                  Deployment in IoT and Smart Buildings},
  booktitle    = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2018,
                  Copenhagen, Denmark, August 21-24, 2018},
  pages        = {1472--1479},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CCTA.2018.8511406},
  doi          = {10.1109/CCTA.2018.8511406},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ccta/SyllaLRD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/GueyeDRD18,
  author       = {Soguy Mak Kar{\'{e}} Gueye and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten and
                  Jean{-}Philippe Diguet},
  title        = {Discrete and Logico-Numerical Control for Dynamic Partial Reconfigurable
                  FPGA-Based Embedded Systems: {A} Case Study},
  booktitle    = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2018,
                  Copenhagen, Denmark, August 21-24, 2018},
  pages        = {1480--1487},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CCTA.2018.8511552},
  doi          = {10.1109/CCTA.2018.8511552},
  timestamp    = {Tue, 01 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccta/GueyeDRD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/GueyeDRHD18,
  author       = {Soguy Mak Kar{\'{e}} Gueye and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten and
                  Dominique Heller and
                  Jean{-}Philippe Diguet},
  title        = {A Domain-Specific Language for Autonomic Managers in {FPGA} Reconfigurable
                  Architectures},
  booktitle    = {2018 {IEEE} International Conference on Autonomic Computing, {ICAC}
                  2018, Trento, Italy, September 3-7, 2018},
  pages        = {111--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICAC.2018.00021},
  doi          = {10.1109/ICAC.2018.00021},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icac/GueyeDRHD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/BerthierAMDR17,
  author       = {Nicolas Berthier and
                  Frederico Alvares and
                  Herv{\'{e}} Marchand and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  title        = {Logico-numerical control for software components reconfiguration},
  booktitle    = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2017,
                  Mauna Lani Resort, HI, USA, August 27-30, 2017},
  pages        = {1599--1606},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/CCTA.2017.8062685},
  doi          = {10.1109/CCTA.2017.8062685},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ccta/BerthierAMDR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/AlvaresDRS17,
  author       = {Frederico Alvares and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten and
                  Lionel Seinturier},
  editor       = {Xiaorui Wang and
                  Christopher Stewart and
                  Hui Lei},
  title        = {Language Support for Modular Autonomic Managers in Reconfigurable
                  Software Components},
  booktitle    = {2017 {IEEE} International Conference on Autonomic Computing, {ICAC}
                  2017, Columbus, OH, USA, July 17-21, 2017},
  pages        = {271--278},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICAC.2017.48},
  doi          = {10.1109/ICAC.2017.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icac/AlvaresDRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccac/SyllaLRD17,
  author       = {Adja Ndeye Sylla and
                  Maxime Louvel and
                  {\'{E}}ric Rutten and
                  Gwena{\"{e}}l Delaval},
  title        = {Design Framework for Reliable Multiple Autonomic Loops in Smart Environments},
  booktitle    = {2017 International Conference on Cloud and Autonomic Computing, {ICCAC}
                  2017, Tucson, AZ, USA, September 18-22, 2017},
  pages        = {131--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICCAC.2017.20},
  doi          = {10.1109/ICCAC.2017.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccac/SyllaLRD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/ZhouDRRM16,
  author       = {Naweiluo Zhou and
                  Gwena{\"{e}}l Delaval and
                  Bogdan Robu and
                  {\'{E}}ric Rutten and
                  Jean{-}Fran{\c{c}}ois M{\'{e}}haut},
  editor       = {Samuel Kounev and
                  Holger Giese and
                  Jie Liu},
  title        = {Autonomic Parallelism and Thread Mapping Control on Software Transactional
                  Memory},
  booktitle    = {2016 {IEEE} International Conference on Autonomic Computing, {ICAC}
                  2016, Wuerzburg, Germany, July 17-22, 2016},
  pages        = {189--198},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICAC.2016.54},
  doi          = {10.1109/ICAC.2016.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icac/ZhouDRRM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/ZhouDRRM16,
  author       = {Naweiluo Zhou and
                  Gwena{\"{e}}l Delaval and
                  Bogdan Robu and
                  {\'{E}}ric Rutten and
                  Jean{-}Fran{\c{c}}ois M{\'{e}}haut},
  title        = {Control of autonomic parallelism adaptation on software transactional
                  memory},
  booktitle    = {International Conference on High Performance Computing {\&} Simulation,
                  {HPCS} 2016, Innsbruck, Austria, July 18-22, 2016},
  pages        = {180--187},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/HPCSim.2016.7568333},
  doi          = {10.1109/HPCSIM.2016.7568333},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ieeehpcs/ZhouDRRM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/AnDDGGMPR15,
  author       = {Xin An and
                  Gwena{\"{e}}l Delaval and
                  Jean{-}Philippe Diguet and
                  Abdoulaye Gamati{\'{e}} and
                  Soguy Mak Kar{\'{e}} Gueye and
                  Herv{\'{e}} Marchand and
                  No{\"{e}}l De Palma and
                  {\'{E}}ric Rutten},
  editor       = {Raja Natarajan and
                  Gautam Barua and
                  Manas Ranjan Patra},
  title        = {Discrete Control-Based Design of Adaptive and Autonomic Computing
                  Systems},
  booktitle    = {Distributed Computing and Internet Technology - 11th International
                  Conference, {ICDCIT} 2015, Bhubaneswar, India, February 5-8, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8956},
  pages        = {93--113},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-14977-6\_6},
  doi          = {10.1007/978-3-319-14977-6\_6},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcit/AnDDGGMPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SunGD15,
  author       = {Wei{-}Tsun Sun and
                  Alain Girault and
                  Gwena{\"{e}}l Delaval},
  title        = {A formal approach for the synthesis and implementation of fault-tolerant
                  industrial embedded systems},
  booktitle    = {10th {IEEE} International Symposium on Industrial Embedded Systems,
                  {SIES} 2015, Siegen, Germany, June 8-10, 2015},
  pages        = {264--272},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SIES.2015.7185068},
  doi          = {10.1109/SIES.2015.7185068},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sies/SunGD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/DelavalGRP14,
  author       = {Gwena{\"{e}}l Delaval and
                  Soguy Mak Kar{\'{e}} Gueye and
                  {\'{E}}ric Rutten and
                  No{\"{e}}l De Palma},
  editor       = {Lionel Seinturier and
                  Eduardo Santana de Almeida and
                  Jan Carlson},
  title        = {Modular coordination of multiple autonomic managers},
  booktitle    = {CBSE'14, Proceedings of the 17th International {ACM} {SIGSOFT} Symposium
                  on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul,
                  Lille, France, June 30 - July 4, 2014},
  pages        = {3--12},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2602458.2602465},
  doi          = {10.1145/2602458.2602465},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/cbse/DelavalGRP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CanoDR14,
  author       = {Julio Cano and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  editor       = {Eva K{\"{u}}hn and
                  Rosario Pugliese},
  title        = {Coordination of {ECA} Rules by Verification and Control},
  booktitle    = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2014, Held as Part of the 9th International
                  Federated Conferences on Distributed Computing Techniques, DisCoTec
                  2014, Berlin, Germany, June 3-5, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8459},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43376-8\_3},
  doi          = {10.1007/978-3-662-43376-8\_3},
  timestamp    = {Tue, 15 Nov 2022 15:22:35 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/CanoDR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CanoRDBG14,
  author       = {Julio Cano and
                  {\'{E}}ric Rutten and
                  Gwena{\"{e}}l Delaval and
                  Yazid Benazzouz and
                  Levent G{\"{u}}rgen},
  title        = {{ECA} Rules for IoT Environment: {A} Case Study in Safe Design},
  booktitle    = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems Workshops, {SASOW} 2014, London, United Kingdom, September
                  8-12, 2014},
  pages        = {116--121},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SASOW.2014.32},
  doi          = {10.1109/SASOW.2014.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/CanoRDBG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/DelavalRM13,
  author       = {Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten and
                  Herv{\'{e}} Marchand},
  title        = {Integrating discrete controller synthesis into a reactive programming
                  language compiler},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {23},
  number       = {4},
  pages        = {385--418},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10626-013-0163-5},
  doi          = {10.1007/S10626-013-0163-5},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/DelavalRM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/DelavalPGMR13,
  author       = {Gwena{\"{e}}l Delaval and
                  No{\"{e}}l De Palma and
                  Soguy Mak Kar{\'{e}} Gueye and
                  Herv{\'{e}} Marchand and
                  {\'{E}}ric Rutten},
  title        = {Discrete control of computing systems administration: {A} programming
                  language supported approach},
  booktitle    = {12th European Control Conference, {ECC} 2013, Zurich, Switzerland,
                  July 17-19, 2013},
  pages        = {117--124},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.23919/ECC.2013.6669460},
  doi          = {10.23919/ECC.2013.6669460},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/eucc/DelavalPGMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-2776,
  author       = {Gwena{\"{e}}l Delaval and
                  Alain Girault and
                  Marc Pouzet},
  title        = {A Type System for the Automatic Distribution of Higher-order Synchronous
                  Dataflow Programs},
  journal      = {CoRR},
  volume       = {abs/1211.2776},
  year         = {2012},
  url          = {http://arxiv.org/abs/1211.2776},
  eprinttype    = {arXiv},
  eprint       = {1211.2776},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-2776.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/SebouiHDRY11,
  author       = {Amine Belhaj Seboui and
                  Nejib Ben Hadj{-}Alouane and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten and
                  Mohamed Moez Yeddes},
  title        = {An approach for the synthesis of decentralised supervisors for distributed
                  adaptive systems},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {2},
  number       = {3/4},
  pages        = {246--265},
  year         = {2011},
  url          = {https://doi.org/10.1504/IJCCBS.2011.042328},
  doi          = {10.1504/IJCCBS.2011.042328},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijccbs/SebouiHDRY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BouhadibaSDR11,
  author       = {Tayeb Bouhadiba and
                  Quentin Sabah and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  editor       = {Samarjit Chakraborty and
                  Ahmed Jerraya and
                  Sanjoy K. Baruah and
                  Sebastian Fischmeister},
  title        = {Synchronous control of reconfiguration in fractal component-based
                  systems: a case study},
  booktitle    = {Proceedings of the 11th International Conference on Embedded Software,
                  {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
                  Taipei, Taiwan, October 9-14, 2011},
  pages        = {309--318},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038642.2038690},
  doi          = {10.1145/2038642.2038690},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/BouhadibaSDR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-6010,
  author       = {Tayeb Bouhadiba and
                  Quentin Sabah and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  title        = {Synchronous Control of Reconfiguration in Fractal Component-based
                  Systems -- a Case Study},
  journal      = {CoRR},
  volume       = {abs/1105.6010},
  year         = {2011},
  url          = {http://arxiv.org/abs/1105.6010},
  eprinttype    = {arXiv},
  eprint       = {1105.6010},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1105-6010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/DelavalR10,
  author       = {Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  editor       = {Lars Grunske and
                  Ralf H. Reussner and
                  Frantisek Pl{\'{a}}sil},
  title        = {Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based
                  Model},
  booktitle    = {Component-Based Software Engineering, 13th International Symposium,
                  {CBSE} 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6092},
  pages        = {93--112},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13238-4\_6},
  doi          = {10.1007/978-3-642-13238-4\_6},
  timestamp    = {Fri, 21 Oct 2022 16:47:28 +0200},
  biburl       = {https://dblp.org/rec/conf/cbse/DelavalR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/DelavalMR10,
  author       = {Gwena{\"{e}}l Delaval and
                  Herv{\'{e}} Marchand and
                  {\'{E}}ric Rutten},
  editor       = {Jaejin Lee and
                  Bruce R. Childers},
  title        = {Contracts for modular discrete controller synthesis},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2010 conference on Languages,
                  compilers, and tools for embedded systems, {LCTES} 2010, Stockholm,
                  Sweden, April 13-15, 2010},
  pages        = {57--66},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1755888.1755898},
  doi          = {10.1145/1755888.1755898},
  timestamp    = {Tue, 22 Jun 2021 17:10:57 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/DelavalMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/AboubekrDR09,
  author       = {Soufyane Aboubekr and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  title        = {A programming language for adaptation control: case study},
  journal      = {{SIGBED} Rev.},
  volume       = {6},
  number       = {3},
  pages        = {11},
  year         = {2009},
  url          = {https://doi.org/10.1145/1851340.1851353},
  doi          = {10.1145/1851340.1851353},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/AboubekrDR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/GamatieYDR09,
  author       = {Abdoulaye Gamati{\'{e}} and
                  Huafeng Yu and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  editor       = {Tianzhou Chen and
                  Dimitrios N. Serpanos and
                  Walid Taha},
  title        = {A Case Study on Controller Synthesis for Data-Intensive Embedded Systems},
  booktitle    = {International Conference on Embedded Software and Systems, {ICESS}
                  '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
  pages        = {75--82},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICESS.2009.12},
  doi          = {10.1109/ICESS.2009.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icess/GamatieYDR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Delaval08,
  author       = {Gwena{\"{e}}l Delaval},
  title        = {R{\'{e}}partition modulaire de programmes synchrones. (Modular
                  distribution of synchronous programs)},
  school       = {Grenoble Institute of Technology, France},
  year         = {2008},
  url          = {https://tel.archives-ouvertes.fr/tel-00750832},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Delaval08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/DelavalGP08,
  author       = {Gwena{\"{e}}l Delaval and
                  Alain Girault and
                  Marc Pouzet},
  editor       = {Kriszti{\'{a}}n Flautner and
                  John Regehr},
  title        = {A type system for the automatic distribution of higher-order synchronous
                  dataflow programs},
  booktitle    = {Proceedings of the 2008 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
                  Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ,
                  USA, June 12-13, 2008},
  pages        = {101--110},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1375657.1375672},
  doi          = {10.1145/1375657.1375672},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/DelavalGP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Delaval09,
  author       = {Gwena{\"{e}}l Delaval},
  editor       = {Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Modular Distribution and Application to Discrete Controller Synthesis},
  booktitle    = {Proceedings of the Third International Workshop on Model-driven High-level
                  Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary,
                  March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {1},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.01.003},
  doi          = {10.1016/J.ENTCS.2008.01.003},
  timestamp    = {Fri, 24 Feb 2023 13:01:02 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Delaval09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/DelavalR07,
  author       = {Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  title        = {A Domain-Specific Language for Multitask Systems, Applying Discrete
                  Controller Synthesis},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2007},
  year         = {2007},
  url          = {https://doi.org/10.1155/2007/84192},
  doi          = {10.1155/2007/84192},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejes/DelavalR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DelavalR06,
  author       = {Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten},
  editor       = {Hisham Haddad},
  title        = {A domain-specific language for task handlers generation, applying
                  discrete controller synthesis},
  booktitle    = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
                  Dijon, France, April 23-27, 2006},
  pages        = {901--905},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1141277.1141487},
  doi          = {10.1145/1141277.1141487},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/DelavalR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics