Rechercher

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 25 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01309195v1 Communication dans un congrès 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>
	inria-00476910v1 Communication dans un congrès Gwenaël Delaval, Hervé Marchand, Eric 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>
	hal-01165686v1 Communication dans un congrès 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
	inria-00436560v1 Rapport Gwenaël Delaval, Hervé Marchand, Eric Rutten. BZR Contracts for Modular Discrete Controller Synthesis [Research Report] RR-7111, INRIA. 2009
	hal-00784999v1 Communication dans un congrès Noël De Palma, Gwenaël Delaval, Eric 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-01006186v1 Communication dans un congrès 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-01006106v1 Communication dans un congrès 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-01161509v1 Communication dans un congrès 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
	inria-00498394v1 Rapport Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon. Automatic generation of discrete handlers of real-time continuous control tasks [Research Report] RR-7332, INRIA. 2010, pp.17
	hal-00640406v1 Communication dans un congrès Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Eric 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
	inria-00596883v2 Rapport Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Eric Rutten. Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study [Research Report] RR-7631, INRIA. 2011, pp.31
	hal-01309681v1 Communication dans un congrès 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>
	inria-00629104v1 Communication dans un congrès Gwenaël Delaval, Eric 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
	hal-01091149v1 Communication dans un congrès 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
	tel-00750832v1 Thèse Gwenaël Delaval. Répartition modulaire de programmes synchrones Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français
	hal-00750870v1 Communication dans un congrès 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>
	inria-00193731v2 Rapport 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
	hal-00784971v1 Communication dans un congrès 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-00838928v1 Communication dans un congrès Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Eric 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-00863276v1 Communication dans un congrès Gwenaël Delaval, Noel De Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Eric 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-01116015v1 Communication dans un congrès 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-00784991v1 Article dans une revue Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Eric 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-01011741v1 Communication dans un congrès 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-00863286v1 Article dans une revue Gwenaël Delaval, Eric 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-00784474v1 Article dans une revue Gwenaël Delaval, Eric Rutten. A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis EURASIP Journal on Embedded Systems, SpringerOpen, 2007, 2007 (1), pp.084192
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 25 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année