Yuyuan ventana heptagonal

Publications about Heptagon/BZR: definition, compilation, case studies

titre
Model-based design of correct controllers for dynamically reconfigurable architectures
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Abdoulaye Gamatié
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15 (3), pp.#51. <10.1145/2873056>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01272077/file/tecs-clean.pdf BibTex
titre
Modèles comportementaux pour le contrôle de composants logiciels autonomes
auteur
Frederico Alvares de Oliveira, Eric Rutten, Lionel Seinturier
article
Stephan Merz and Jean-François Pétin. MSR 2015 - Modélisation des Systèmes Réactifs, Nov 2015, Nancy, France. 10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01224291/file/paper%2014.pdf BibTex
titre
High-level Language Support for the Control of Reconfigurations in Component-based Architectures
auteur
Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier
article
9th European Conference on Software Architecture (ECSA), Sep 2015, Dubrovnick, Croatia. Springer, 9278, pp.285-293, 2015, LNCS. <http://ecsa-conference.org/2015/index.php>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01160612/file/main.pdf BibTex
titre
Behavioural Model-based Control for Autonomic Software Components
auteur
Frederico Alvares de Oliveira Jr., Éric Rutten, Lionel Seinturier
article
12th IEEE International Conference on Autonomic Computing (ICAC), Jul 2015, Grenoble, France. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01143196/file/main.pdf BibTex
titre
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems
auteur
Wei-Tsun Sun, Alain Girault, Gwenaël Delaval
article
SIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01165686/file/20140927-0819.pdf BibTex
titre
Distributed Execution of Modular Discrete Controllers for Data Center Management
auteur
Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten
article
Proc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS'15, May 2015, Cancun, France. 2015
Accès au bibtex
BibTex
titre
Discrete Control-Based Design of Adaptive and Autonomic Computing Systems
auteur
Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak-Karé Gueye, Hervé Marchand, Noel De Palma, Eric Rutten
article
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>
Accès au bibtex
BibTex
titre
High-level Language Support for the Control of Reconfiguration in Component-based Architectures
auteur
Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier
article
[Research Report] RR-8669, INRIA Grenoble - Rhône-Alpes; INRIA Lille - Nord Europe; Laboratoire d'Informatique Fondamentale de Lille; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01103548/file/RR-8669.pdf BibTex
titre
Discrete Control for Smart Environments through a Generic Finite-State-Models-Based Infrastructure
auteur
Mengxuan Zhao, Gilles Privat, Hassane Alla, Éric Rutten
article
European Conference on Ambient Intelligence, AmI-14, Nov 2014, Eindhoven, Netherlands. Springer, LNCS 8850
Accès au bibtex
BibTex
titre
ECA rules for IoT environment: a case study in safe design
auteur
Julio Cano, Gwenaël Delaval, Eric Rutten, Yazid Benazzouz, Levent Gurgen
article
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
Accès au bibtex
BibTex
titre
Modular Coordination of Multiple Autonomic Managers
auteur
Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten, Noël De Palma
article
17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.291, 2014, <10.1145/2602458.2602465>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01006106/file/cbse291-Gueye.pdf BibTex
titre
Coordination of ECA rules by verification and control
auteur
Julio Cano, Gwenaël Delaval, Eric Rutten
article
16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. 16 p., 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01006186/file/coord14.pdf BibTex
titre
Coordination of ECA Rules by Verification and Control
auteur
Julio Cano, Gwenaël Delaval, Eric Rutten
article
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>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290066/file/326181_1_En_3_Chapter.pdf BibTex
titre
Coordinating self-sizing and self-repair managers for multi-tier systems
auteur
Soguy Mak-Karé Gueye, Noel De Palma, Éric Rutten, Alain Tchana, Nicolas Berthier
article
Future Generation Computer Systems, Elsevier, 2014, 35, pp.14 - 26. <10.1016/j.future.2013.12.037>
Accès au bibtex
BibTex
titre
Extending UML/MARTE to support Discrete Controller Synthesis, application to Reconfigurable Systems-on-Chip modeling
auteur
Sébastien Guillet, Florent De Lamotte, Nicolas Le Griguer, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet
article
ACM Transactions on Reconfigurable Technology and Systems (TRETS), ACM, 2014, 7 (3), pp.17. <10.1145/2629628>
Accès au bibtex
BibTex
titre
Discrete Control for Reconfigurable FPGA-based Embedded Systems
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié
article
DCDS: Dependable Control of Discrete Systems, Sep 2013, York, United Kingdom. 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013
Accès au bibtex
BibTex
titre
Discrete Control of Computing Systems Administration: a Programming Language supported Approach
auteur
Gwenaël Delaval, Noel De Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Éric Rutten
article
Manfred Morari. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863276/file/ECC2013.pdf BibTex
titre
Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié
article
ICAC: International Conference on Autonomic Computing, Jun 2013, San Jose CA, United States. 10th International Conference on Autonomic Computing, 2013
Accès au bibtex
BibTex
titre
Autonomic Management of Reconfigurable Embedded Systems using Discrete Control: Application to FPGA
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié
article
[Research Report] RR-8308, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00824225/file/RR.pdf BibTex
titre
Discrete control for ensuring consistency between multiple autonomic managers
auteur
Soguy Karé Gueye, Noël De Palma, Eric Rutten, Alain Tchana, Daniel Hagimont
article
Journal of Cloud Computing: Advances, Systems and Applications, 2013, 2 (1), pp.16. <10.1186/2192-113X-2-16 >
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00914179/file/2192-113X-2-16.pdf BibTex
titre
Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler
auteur
Gwenaël Delaval, Éric Rutten, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. <10.1007/s10626-013-0163-5>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863286/file/jdeds.pdf BibTex
titre
Coordinating multiple administration loops using discrete control
auteur
Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten, Alain Tchana
article
Operating Systems Review, Association for Computing Machinery, 2013, 47 (3), pp.18-25. <10.1145/2553070.2553074>
Accès au bibtex
BibTex
titre
Modeling and Synthesis of a Dynamic and Partial Reconfiguration Controller
auteur
Sébastien Guillet, Florent De Lamotte, Nicolas Le Griguer, Éric Rutten, Jean-Philippe Diguet, Guy Gogniat
article
International Conference on Field Programmable Logic and Applications (FPL), Aug 2012, Oslo, Norway. 2012
Accès au bibtex
BibTex
titre
Designing formal reconfiguration control using UML/MARTE
auteur
Sébastien Guillet, Nicolas Le Griguer, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet
article
2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jul 2012, York, United Kingdom. 2012
Accès au bibtex
BibTex
titre
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler
auteur
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet
article
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Beijing, China. ACM, pp.51--60, 2012, <10.1145/2248418.2248426>
Accès au bibtex
BibTex
titre
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation
auteur
Gwenaël Delaval, Éric Rutten, Hervé Marchand
article
Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00629104/file/msr11.pdf BibTex
titre
Automatic generation of discrete handlers of real-time continuous control tasks
auteur
Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon
article
18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00640406/file/bzrccad.pdf BibTex
titre
Case studies in discrete control for autonomic system administration
auteur
Fabienne Boyer, Noël De Palma, Gwenaël Delaval, Olivier Gruber, Eric Rutten
article
Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784971/file/febid2011.pdf BibTex
titre
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study
auteur
Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten
article
[Research Report] RR-7631, INRIA. 2011, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00596883/file/RR-7631.pdf BibTex
titre
Safe Design of Dynamically Reconfigurable Embedded Systems
auteur
Xin An, Abdoulaye Gamatié, Eric Rutten
article
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00903734/file/mbed.pdf BibTex
titre
QoS and Energy Management Coordination using Discrete Controller Synthesis
auteur
Noël De Palma, Gwenaël Delaval, Éric Rutten
article
1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784999/file/delaval-gcm10.pdf BibTex
titre
Automatic generation of discrete handlers of real-time continuous control tasks
auteur
Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon
article
[Research Report] RR-7332, INRIA. 2010, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00498394/file/RR-7332.pdf BibTex
titre
Contracts for modular discrete controller synthesis
auteur
Gwenaël Delaval, Hervé Marchand, Éric Rutten
article
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>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00476910/file/lctes2010.pdf BibTex
titre
Modeling and formal control of partial dynamic reconfiguration
auteur
Sébastien Guillet, Florent Frizon de Lamotte, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet
article
Reconfig, 2010, Cancun, Mexico. 2010
Accès au bibtex
BibTex
titre
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
auteur
Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
article
International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, 2009, <10.1109/ICESS.2009.12>
Accès au bibtex
BibTex
titre
BZR Contracts for Modular Discrete Controller Synthesis
auteur
Gwenaël Delaval, Hervé Marchand, Éric Rutten
article
[Research Report] RR-7111, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00436560/file/RR-7111.pdf BibTex