Mots-clés

Nombre de documents

30

Gwenaël Delaval


Assistant professor since 2010 in the LIG (Laboratoire d'Informatique de Grenoble).

Current research subjects

  • Compilation of synchronous programming languages
  • Programming methodologies using discrete controller synthesis
  • Distribution of synchronous programs


Article dans une revue3 documents

  • Gwenaël Delaval, Éric Rutten, Hervé Marchand. Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler. Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. 〈10.1007/s10626-013-0163-5〉. 〈hal-00863286〉
  • Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Éric Rutten, Moez Yeddes. An approach for the synthesis of decentralised supervisors for distributed adaptive systems. International Journal on Critical Computer-based Systems, Inderscience, 2011, Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, 2 (3/4), pp.246-265. 〈10.1504/IJCCBS.2011.042328〉. 〈hal-00784991〉
  • Gwenaël Delaval, Éric Rutten. A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis. EURASIP Journal on Embedded Systems, SpringerOpen, 2007, 2007 (1), pp.084192. 〈hal-00784474〉

Communication dans un congrès21 documents

  • Adja Ndeye Sylla, Maxime Louvel, Eric Rutten, Gwenaël Delaval. Design Framework for Reliable Multiple Autonomic Loops in Smart Environments. 2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2017, Tucson, AZ, United States. 〈cea-01570026〉
  • Frederico Alvares, Gwenaël Delaval, Eric Rutten, Lionel Seinturier. Language Support for Modular Autonomic Managers in Reconfigurable Software Components. SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, 2017, 〈10.1109/ICAC.2017.48〉. 〈hal-01575353〉
  • Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut. Control of Autonomic Parallelism Adaptation on Software Transactional Memory. International Conference on High Performance Computing & Simulation (HPCS 2016) , Jul 2016, Innsbruck, Austria. pp.180-187, 2016, 〈10.1109/HPCSim.2016.7568333〉. 〈hal-01309195〉
  • Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut. Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory. 13th IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Wurzburg, Germany. pp.189 - 198, 2016, 〈10.1109/ICAC.2016.54〉. 〈hal-01309681〉
  • Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak-Karé Gueye, et al.. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. Springer, 11th International Conference on Distributed Computing and Internet Technology, LNCS (8956), 2015, 〈http://icdcit.ac.in〉. 〈10.1007/978-3-319-14977-6_6〉. 〈hal-01116015〉
  • Wei-Tsun Sun, Alain Girault, Gwenaël Delaval. A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems. SIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany. 2015. 〈hal-01165686〉
  • Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten. Distributed Execution of Modular Discrete Controllers for Data Center Management. Proc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS'15, May 2015, Cancun, France. 2015. 〈hal-01161509〉
  • Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten, Noël De Palma. Modular Coordination of Multiple Autonomic Managers. 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.291, 2014, 〈10.1145/2602458.2602465〉. 〈hal-01006106〉
  • Julio Cano, Gwenaël Delaval, Eric Rutten, Yazid Benazzouz, Levent Gurgen. ECA rules for IoT environment: a case study in safe design. First Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems QA4SASO 2014; In conjunction with the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Sep 2014, London, United Kingdom. 〈hal-01091149〉
  • Julio Cano, Gwenaël Delaval, Eric Rutten. Coordination of ECA rules by verification and control. 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. 16 p., 2014. 〈hal-01006186〉
  • Julio Cano, Gwenaël Delaval, Eric Rutten. Coordination of ECA Rules by Verification and Control. David Hutchison; Takeo Kanade; Bernhard Steffen; Demetri Terzopoulos; Doug Tygar; Gerhard Weikum; Eva Kühn; Rosario Pugliese; Josef Kittler; Jon M. Kleinberg; Alfred Kobsa; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan. 16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. Springer, Lecture Notes in Computer Science, LNCS-8459, pp.33-48, 2014, Coordination Models and Languages. 〈10.1007/978-3-662-43376-8_3〉. 〈hal-01290066〉
  • Gwenaël Delaval, Noel De Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Éric Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. Manfred Morari. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124, 2013. 〈hal-00863276〉
  • Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon. Automatic generation of discrete handlers of real-time continuous control tasks. 18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy. 2011. 〈hal-00640406〉
  • Fabienne Boyer, Noël De Palma, Gwenaël Delaval, Olivier Gruber, Eric Rutten. Case studies in discrete control for autonomic system administration. Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany. 2011. 〈hal-00784971〉
  • Gwenaël Delaval, Éric Rutten, Hervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. 2011. 〈inria-00629104〉
  • Noël De Palma, Gwenaël Delaval, Éric Rutten. QoS and Energy Management Coordination using Discrete Controller Synthesis. 1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India. 2010. 〈hal-00784999〉
  • Gwenaël Delaval, Hervé Marchand, Éric Rutten. Contracts for modular discrete controller synthesis. Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, 2010, 〈http://portal.acm.org/citation.cfm?doid=1755888.1755898〉. 〈10.1145/1755888.1755898〉. 〈inria-00476910〉
  • Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten. A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, 2009, 〈10.1109/ICESS.2009.12〉. 〈hal-00838928〉
  • Gwenaël Delaval, Alain Girault, Marc Pouzet. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs. LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. ACM, pp.101-110, 2008, Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems. 〈10.1145/1375657.1375672〉. 〈hal-00750870〉
  • Gwenaël Delaval. Modular Distribution and Application to Discrete Controller Synthesis. Third International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P), Mar 2008, Budapest, Hungary. 238 (1), pp.3-19, 2009, 〈10.1016/j.entcs.2008.01.003〉. 〈hal-01011741〉
  • Gwenaël Delaval, Éric Rutten. A domain-specific language for task handlers generation, applying discrete controller synthesis. ACM Symposium on Applied Computing, Apr 2006, Dijon/France, 2006. 〈inria-00000865〉

Rapport5 documents

  • Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten. Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study. [Research Report] RR-7631, INRIA. 2011, pp.31. 〈inria-00596883v2〉
  • Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon. Automatic generation of discrete handlers of real-time continuous control tasks. [Research Report] RR-7332, INRIA. 2010, pp.17. 〈inria-00498394〉
  • Gwenaël Delaval, Hervé Marchand, Éric Rutten. BZR Contracts for Modular Discrete Controller Synthesis. [Research Report] RR-7111, INRIA. 2009. 〈inria-00436560〉
  • Gwenaël Delaval, Alain Girault, Marc Pouzet. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs. [Research Report] RR-6378, INRIA. 2007. 〈inria-00193731v2〉
  • Gwenaël Delaval, Éric Rutten. A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis. [Research Report] RR-5690, INRIA. 2005, pp.44. 〈inria-00000867〉

Thèse1 document

  • Gwenaël Delaval. Répartition modulaire de programmes synchrones. Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. 〈tel-00750832〉