Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Rechercher
Déposer
Consulter
Services
Par structure de recherche UGA
Par collection de laboratoire UGA
Par auteur
Par discipline
Par type de publication
Par année
2017
2016
2015
2014
2013
2012
2011
2010
Par décennie
Les derniers dépôts
Créer sa page web
Rechercher
Filtres
Structure : Identifiant HAL de la structure ×
Auteur : IdHal (chaîne de caractères) ×
Tous ×
51 résultats
enregistrer la recherche
Type de document
Communication dans un congrès
(24)
Article dans une revue
(17)
Rapport
(8)
Chapitre d'ouvrage
(1)
Document associé à des manifestations scientifiques
(1)
Auteur
Eric Rutten
(51)
Gwenaël Delaval
(19)
Abdoulaye Gamatié
(10)
Hervé Marchand
(10)
Soguy Mak-Karé Gueye
(7)
Jean-Philippe Diguet
(7)
Alain Girault
(6)
Guy Gogniat
(5)
Huafeng Yu
(5)
Noël De Palma
(5)
Nicolas Le Griguer
(4)
Noel De Palma
(4)
Sébastien Guillet
(4)
Xin An
(4)
Daniel Simon
(4)
Alain Tchana
(3)
Emil Dumitrescu
(3)
Florent De Lamotte
(3)
Jean-Luc Dekeyser
(3)
Nicolas Berthier
(3)
Ahmed Soufyane Aboubekr
(2)
Julio Cano
(2)
Roger Pissard-Gibollet
(2)
Sarra Boumedien
(2)
Jean-François Méhaut
(2)
Nicolas Marchand
(2)
Adja Ndeye Sylla
(1)
Amine Belhaj Seboui
(1)
Bogdan Robu
(1)
Brigitte Plateau
(1)
Béatrice Buccio
(1)
Catherine Garbay
(1)
Christian Laugier
(1)
El-Bay Bourennane
(1)
Elisabeth Pons
(1)
Eric Gaussier
(1)
Fabienne Boyer
(1)
Florent Frizon de Lamotte
(1)
François Chaumette
(1)
Frederico Alvares
(1)
Frédéric Prost
(1)
Gilberto Ochoa Ruiz
(1)
Gilles Privat
(1)
Guillet Sébastien
(1)
Hassane Alla
(1)
Hervé Martin
(1)
Imran Rafiq Quadri
(1)
Isabelle Guillet
(1)
Jacky Coutin
(1)
Joëlle Coutaz
(1)
Joëlle Prévost
(1)
Levent Gurgen
(1)
Marc Pouzet
(1)
Marie-Christine Rousset
(1)
Maxime Louvel
(1)
Mengxuan Zhao
(1)
Michael Mendler
(1)
Moez Yeddes
(1)
Nadine Mandran
(1)
Naweiluo Zhou
(1)
Nejib Ben Hadj-Alouane
(1)
Nicolas Balacheff
(1)
Olivier Gruber
(1)
Patrick Chapuis
(1)
Patrick Reignier
(1)
Quentin Sabah
(1)
Rachid Echahed
(1)
Samy Meftali
(1)
Soguy Mak Karé Gueye
(1)
Tayeb Bouhadiba
(1)
Thierry Morturier
(1)
Vincent Quint
(1)
Vlad Rusu
(1)
Yazid Benazzouz
(1)
Yves Denneulin
(1)
Yves Ledru
(1)
Andrzej Duda
(1)
Arnaud Legrand
(1)
Éric Marchand
(1)
Florence Maraninchi
(1)
Franck Rousseau
(1)
James L. Crowley
(1)
Lionel Seinturier
(1)
Lydie Du Bousquet
(1)
Marie-Christine Fauvet
(1)
Michel Vacher
(1)
Pierre Boulet
(1)
Domaine
Informatique [cs]
(48)
Sciences de l'ingénieur [physics]
(3)
Laboratoire
Inria Grenoble - Rhône-Alpes
(51)
Laboratoire d'Informatique de Grenoble
(47)
Inria Rennes – Bretagne Atlantique
(17)
Inria Lille - Nord Europe
(9)
Laboratoire d'Informatique Fondamentale de Lille
(9)
Institut de Recherche en Informatique et Systèmes Aléatoires
(8)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(7)
Grenoble Images Parole Signal Automatique
(6)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(4)
Inria Sophia Antipolis - Méditerranée
(3)
Ampère
(2)
Laboratoire d'Electronique et des Technologies de l'Information
(2)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(1)
Ingénierie des Matériaux Polymères-Laboratoire des Matériaux Polymères et des Biomatériaux
(1)
Institut de recherche en informatique de Toulouse
(1)
Laboratoire Electronique, Informatique et Image
(1)
Laboratoire de Recherche en Informatique
(1)
Laboratoire des Sciences du Numérique de Nantes
(1)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
(1)
Optimisation des systèmes industriels et de services [Tunis]
(1)
Orange Labs [Grenoble]
(1)
VERIMAG
(1)
Langue
anglais
(48)
français
(3)
Type de dépôt
Document
(33)
Notice
(18)
Année
2017
(1)
2016
(5)
2015
(4)
2014
(6)
2013
(4)
2012
(4)
2011
(6)
2010
(8)
2009
(4)
2008
(5)
2007
(3)
1997
(1)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : Référence
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Date de publication : année
Date de mise en ligne : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
Tri
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
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 51 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00424279
v1
Communication dans un congrès
Emil Dumitrescu
,
Alain Girault
,
Hervé Marchand
,
Eric Rutten
.
Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs
, Oct 2007, Lyon, France. pp.71-86, 2007
hal-00773168
v1
Rapport
Nicolas Balacheff
,
Béatrice Buccio
,
Patrick Chapuis
,
Jacky Coutin
,
Joëlle Coutaz
et al.
The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report
2011
hal-00756597
v1
Document associé à des manifestations scientifiques
Eric Rutten
,
Alain Girault
.
Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P) 2008
SLA++P - Third International Workshop on Model-driven High-level Programming of Embedded Systems 2008
, Apr 2008, Budapest, Hungary
inria-00510019
v1
Communication dans un congrès
Emil Dumitrescu
,
Alain Girault
,
Hervé Marchand
,
Eric Rutten
.
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
Workshop on Discrete Event Systems, WODES'10
, Aug 2010, Berlin, Germany. IFAC, pp.366-373, 2010
hal-00375564
v1
Communication dans un congrès
Emil Dumitrescu
,
Eric Rutten
,
Alain Girault
,
Hervé Marchand
.
Optimal discrete controller synthesis for modeling fault-tolerant distributed systems
DCDS
, Jun 2007, Cachan, France. 2007
inria-00476910
v1
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>
inria-00436560
v1
Rapport
Gwenaël Delaval
,
Hervé Marchand
,
Eric Rutten
.
BZR Contracts for Modular Discrete Controller Synthesis
[Research Report] RR-7111, INRIA. 2009
hal-00784999
v1
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-01285014
v1
Chapitre d'ouvrage
Eric Rutten
,
Nicolas Marchand
,
Daniel Simon
.
Feedback Control as MAPE-K loop in Autonomic Computing
Software Engineering for Self-Adaptive Systems
, Springer, 2016, Lecture Notes in Computer Science
hal-00852849
v1
Communication dans un congrès
Xin An
,
Eric Rutten
,
Jean-Philippe Diguet
,
Nicolas Le Griguer
,
Abdoulaye Gamatié
.
Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control
ICAC: International Conference on Autonomic Computing
, Jun 2013, San Jose CA, United States. 10th International Conference on Autonomic Computing, 2013
lirmm-01241594
v1
Rapport
Eric Rutten
,
Nicolas Marchand
,
Daniel Simon
.
Feedback Control as MAPE-K loop in Autonomic Computing
[Research Report] RR-8827, INRIA Sophia Antipolis - Méditerranée; INRIA Grenoble - Rhône-Alpes. 2015
hal-01006186
v1
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-01006106
v1
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-01161509
v1
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-00498394
v1
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-00640406
v1
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-00596883
v2
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-01309681
v1
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>
hal-01416799
v1
Communication dans un congrès
Adja Ndeye Sylla
,
Maxime Louvel
,
Eric Rutten
.
Combining Transactional and Behavioural Reliability in Adaptive Middleware
15th Workshop on Adaptive and Reflective Middleware, ARM 2016, Colocated with ACM/IFIP/USENIX Middleware 2016
, Dec 2016, Trento, Italy. 2016,
<http://arm2016.unine.ch/>
.
<10.1145/3008167.3008172>
inria-00629104
v1
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-01091140
v1
Communication dans un congrès
Mengxuan Zhao
,
Gilles Privat
,
Hassane Alla
,
Eric Rutten
.
Discrete Control for Smart Environments through a Generic Finite-State-Models-Based Infrastructure
European Conference on Ambient Intelligence, AmI-14
, Nov 2014, Eindhoven, Netherlands. Springer, LNCS 8850
hal-01091149
v1
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
inria-00308660
v2
Rapport
Eric Rutten
.
Reactive control of adaptive embedded systems
[Research Report] RR-6604, INRIA. 2008, pp.20
hal-00784971
v1
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-00784459
v1
Article dans une revue
Abdoulaye Gamatié
,
Eric Rutten
,
Huafeng Yu
,
Pierre Boulet
,
Jean-Luc Dekeyser
.
Synchronous Modeling and Analysis of Data Intensive Applications
EURASIP Journal on Embedded Systems
, SpringerOpen, 2008, 2008 (1), pp.561863.
<10.1155/2008/561863>
hal-00683822
v1
Rapport
Xin An
,
Sarra Boumedien
,
Abdoulaye Gamatié
,
Eric Rutten
.
CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs
[Research Report] RR-7918, INRIA. 2012, pp.23
hal-00758194
v1
Communication dans un congrès
Xin An
,
Sarra Boumedien
,
Abdoulaye Gamatié
,
Eric Rutten
.
CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs
Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems
, May 2012, St. Goar, Germany. ACM, pp.3--12, 2012,
<http://delivery.acm.org/10.1145/2240000/2236577/p3-an.pdf?ip=134.206.11.177&acc=ACTIVE%20SERVICE&CFID=213116942&CFTOKEN=89241860&__acm__=1354100462_fd58c65634d444dc247f9b1316455eb6>
.
<10.1145/2236576.2236577>
inria-00525015
v2
Article dans une revue
Imran Rafiq Quadri
,
Huafeng Yu
,
Abdoulaye Gamatié
,
Samy Meftali
,
Jean-Luc Dekeyser
et al.
Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation
International Journal of Embedded Systems
, Inderscience, 2010, 18 p
inria-00536883
v1
Article dans une revue
Huafeng Yu
,
Abdoulaye Gamatié
,
Eric Rutten
,
Jean-Luc Dekeyser
.
Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design
Knowledge Engineering Review
, Cambridge University Press (CUP), 2010, 21 p
inria-00522787
v1
Communication dans un congrès
Abdoulaye Gamatié
,
Vlad Rusu
,
Eric Rutten
.
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010)
, Jul 2010, Istanbul, Turkey. 2010
1
2
Tri
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
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 51 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.