Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Gwenaël Delaval
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.