CTRL-A team publications

2018

Journal articles

titre

Context/Resource-Aware Mission Planning Based on BNs and Concurrent MDPs for Autonomous UAVs

auteur

Chabha Hireche, Catherine Dezan, Stéphane Mocanu, Dominique Heller, Jean-Philippe Diguet

article

Sensors, MDPI, 2018, 18 (4266), pp.1-28. ⟨www.mdpi.com/journal/sensors⟩. ⟨10.3390/s18124266⟩

Accès au texte intégral et bibtex

titre

An Autonomic-Computing Approach on Mapping Threads to Multi-cores for Software Transactional Memory

auteur

Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut

article

Concurrency and Computation: Practice and Experience, Wiley, 2018, 30 (18), pp.e4506. ⟨10.1002/cpe.4506⟩

Accès au bibtex

Conference papers

titre

Some Considerations on Dependability Issues and Cyber-Security of Cyber-Physical Systems

auteur

Jean-Marc Thiriet, Stéphane Mocanu

article

The 7 th IEEE International Conference on Smart Communications in Network Technologies (SACONET’18), Oct 2018, El Oued, Algeria, France

Accès au texte intégral et bibtex

titre

A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable Architectures

auteur

Soguy Mak-Karé Gueye, Gwenaël Delaval, Eric Rutten, Dominique Heller, Jean-Philippe Diguet

article

ICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10

Accès au texte intégral et bibtex

titre

Efficient Mining of Temporal Safety Properties for Intrusion Detection in Industrial Control Systems

auteur

Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc Thiriet, Frédéric Majorczyk

article

10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'18), Aug 2018, Warsaw, Poland. pp.1-8

Accès au texte intégral et bibtex

titre

Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings

auteur

Adja Ndeye Sylla, Maxime Louvel, Eric Rutten, Gwenaël Delaval

article

CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark. pp.1472--1479

Accès au texte intégral et bibtex

titre

Discrete and Logico-numerical Control for Dynamic Partial Reconfigurable FPGA-based Embedded Systems : a Case Study

auteur

Soguy Mak-Karé Gueye, Gwenaël Delaval, Eric Rutten, Jean-Philippe Diguet

article

CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhaguen, Denmark. pp. 1480-1487

Accès au texte intégral et bibtex

titre

Autonomic Management of Reconfigurations in DPR FPGA-based Embedded System

auteur

Soguy Mak Karé Gueye, Eric Rutten, Jean-Philippe Diguet

article

International Workshop on High Performance and Dynamic Reconfigurable Systems and Networks (DRSN 2018), part of HPCS 2018 - International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.557 - 558, ⟨10.1109/HPCS.2018.00093⟩

Accès au texte intégral et bibtex

titre

Towards a control-theory approach for minimizing unused grid resources

auteur

Emmanuel Stahl, Agustín Yabo, Olivier Richard, Bruno Bzeznik, Bogdan Robu, Eric Rutten

article

AI-Science'18 - workshop on Autonomous Infrastructure for Science, in conjunction with the ACM HPDC 2018, Jun 2018, Tempe, AZ, United States. pp.1-8, ⟨10.1145/3217197.3217201⟩

Accès au texte intégral et bibtex

titre

Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management

auteur

Nicolas Berthier, Hervé Marchand, Eric Rutten

article

WODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩

Accès au texte intégral et bibtex

titre

Formation cybersécurité des systèmes industriels pour les ingénieurs non-informaticiens

auteur

Stéphane Mocanu

article

RESSI 2018 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2018, Nancy / La Bresse, France. pp.1-3

Accès au texte intégral et bibtex

Book sections

titre

Feedback Control as MAPE-K loop in Autonomic Computing

auteur

Eric Rutten, Nicolas Marchand, Daniel Simon

article

Software Engineering for Self-Adaptive Systems III. Assurances., 9640, Springer, pp.349-373, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-74183-3_12⟩. ⟨https://doi.org/10.1007/978-3-319-74183-3_12⟩

Accès au texte intégral et bibtex

Poster communications

titre

Planification de Mission de Drone: Implémentation Logicielle/Matérielle

auteur

Chabha Hireche, Catherine Dezan, Jean-Philippe Diguet, Stéphane Mocanu

article

GDR SoC2, Jun 2018, Paris, France

Accès au bibtex

2017

Journal articles

titre

Design Framework for Reliable and Environment Aware Management of Smart Environment Devices

auteur

Adja Ndeye Sylla, Maxime Louvel, Eric Rutten

article

Journal of Internet Services and Applications, Springer, 2017

Accès au texte intégral et bibtex

titre

A Domain-specific Language for The Control of Self-adaptive Component-based Architecture

auteur

Frederico Alvares, Eric Rutten, Lionel Seinturier

article

Journal of Systems and Software, Elsevier, 2017

Accès au texte intégral et bibtex

Conference papers

titre

Design Framework for Reliable Multiple Autonomic Loops in Smart Environments

auteur

Adja Ndeye Sylla, Maxime Louvel, Eric Rutten, Gwenaël Delaval

article

2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2017, Tucson, AZ, United States

Accès au texte intégral et bibtex

titre

Logico-numerical Control for Software Components Reconfiguration

auteur

Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Eric Rutten

article

CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩

Accès au texte intégral et bibtex

titre

Autonomic Management of Missions and Reconfigurations in FPGA-based Embedded System

auteur

Soguy Mak-Karé Gueye, Eric Rutten, Jean-Philippe Diguet

article

The 2017 NASA/ESA Conference on Adaptive Hardware and Systems, Jul 2017, Pasadena, California, United States. pp.8

Accès au texte intégral et bibtex

titre

Language Support for Modular Autonomic Managers in Reconfigurable Software Components

auteur

Frederico Alvares, Gwenaël Delaval, Eric Rutten, Lionel Seinturier

article

SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, ⟨10.1109/ICAC.2017.48⟩

Accès au texte intégral et bibtex

titre

Development Tools for Rule-Based Coordination Programming in LINC

auteur

Maxime Louvel, François Pacull, Eric Rutten, Adja Sylla

article

19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.78-96, ⟨10.1007/978-3-319-59746-1_5⟩

Accès au texte intégral et bibtex

Book sections

titre

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?

auteur

Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi Müller, Holger Giese, Romain Rouvoy, Eric Rutten

article

R. de Lemos; D. Garlan; C. Ghezzi; H. Giese. Software Engineering for Self-Adaptive Systems 3: Assurances, 9640, Springer, 2017, LNCS, ⟨http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=13511⟩

Accès au texte intégral et bibtex

Theses

titre

Support intergiciel pour la conception et le déploiement adaptatifs fiables, application aux bâtiments intelligents

auteur

Adja Ndeye Sylla

article

Performance et fiabilité [cs.PF]. Université Grenoble Alpes, 2017. Français. ⟨NNT : 2017GREAM095⟩

Accès au texte intégral et bibtex

2016

Journal articles

titre

Coordination de la Gestion autonome de la Réparation et du Dimensionnement d'un Système multi-niveaux par Contrôle Discret

auteur

Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten, Alain Tchana, Nicolas Berthier

article

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016, ⟨10.3166/TSI.35.525-555⟩

Accès au texte intégral et bibtex

titre

Designing Autonomic Management Systems by using Reactive Control Techniques

auteur

Nicolas Berthier, Eric Rutten, Noël de Palma, Soguy Mak-Karé Gueye

article

IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18. ⟨http://dx.doi.org/10.1109/TSE.2015.2510004⟩

Accès au texte intégral et bibtex

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

Conference papers

titre

Combining Transactional and Behavioural Reliability in Adaptive Middleware

auteur

Adja Ndeye Sylla, Maxime Louvel, Eric Rutten

article

15th Workshop on Adaptive and Reflective Middleware, ARM 2016, Colocated with ACM/IFIP/USENIX Middleware 2016, Dec 2016, Trento, Italy. ⟨10.1145/3008167.3008172⟩

Accès au texte intégral et bibtex

titre

Detecting Process-Aware Attacks in Sequential Control Systems

auteur

Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc Thiriet, Frédéric Majorczyk

article

21st Nordic Conference on Secure IT Systems (NordSec 2016), Nov 2016, Oulu, Finland

Accès au bibtex

titre

Control of Autonomic Parallelism Adaptation on Software Transactional Memory

auteur

Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut

article

International Conference on High Performance Computing & Simulation (HPCS 2016) , Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩

Accès au texte intégral et bibtex

titre

Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory

auteur

Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut

article

13th IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Wurzburg, Germany. pp.189 - 198, ⟨10.1109/ICAC.2016.54⟩

Accès au texte intégral et bibtex

titre

Autonomic Parallelism Adaptation for Software Transactional Memory

auteur

Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Éric Rutten, Jean-François Méhaut

article

Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS), Jul 2016, Lorient, France

Accès au bibtex

Reports

titre

Autonomic Parallelism Adaptation on Software Transactional Memory

auteur

Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Éric Rutten, Jean-François Méhaut

article

[Research Report] RR-8887, Univ. Grenoble Alpes; INRIA Grenoble. 2016, pp.24

Accès au texte intégral et bibtex

Theses

titre

Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory

auteur

Naweiluo Zhou

article

Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM045⟩

Accès au texte intégral et bibtex

2015

Journal articles

titre

Synthesizing structural and behavioral control for reconfigurations in component-based systems

auteur

Narges Khakpour, Farhad Arbab, Eric Rutten

article

Formal Aspects of Computing, Springer Verlag, 2015, ⟨http://www.springer.com/computer/theoretical+computer+science/journal/165⟩. ⟨10.1007/s00165-015-0346-y⟩

Accès au bibtex

titre

An MDE Approach for Rapid Prototyping and Implementation of Dynamic Reconfigurable Systems

auteur

Gilberto Ochoa Ruiz, Guillet Sébastien, Florent de Lamotte, Eric Rutten, El-Bay Bourennane, Jean-Philippe Diguet, Guy Gogniat

article

ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2015, Vol. 21 Issue 1, Article No. 8, Nov. 2015 ., 21 (1), pp.Article No. 8

Accès au bibtex

titre

High-level design space exploration for adaptive applications on multiprocessor systems-on-chip

auteur

Xin An, Abdoulaye Gamatié, Eric Rutten

article

Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.172-184. ⟨10.1016/j.sysarc.2015.02.002⟩

Accès au bibtex

Conference papers

titre

Génération de règles de coordination à partir de réseaux de Pétri colorés

auteur

Adja Ndeye Sylla, Maxime Louvel, François Pacull, Eric Rutten

article

10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15, Nov 2015, Nancy, France

Accès au texte intégral et bibtex

titre

Modèles comportementaux pour le contrôle de composants logiciels autonomes

auteur

Frederico Alvares de Oliveira, Eric Rutten, Lionel Seinturier

article

MSR 2015 - Modélisation des Systèmes Réactifs, Nov 2015, Nancy, France

Accès au texte intégral et 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), Danny weyns; Raffaela Mirandola; Ivica Crnkovic, Sep 2015, Dubrovnick, Croatia. pp.285-293

Accès au texte intégral et bibtex

titre

Behavioural Model-based Control for Autonomic Software Components

auteur

Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier

article

12th IEEE International Conference on Autonomic Computing (ICAC), IEEE, Jul 2015, Grenoble, France

Accès au texte intégral et 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

Accès au bibtex

titre

Une plate-forme de cybersécurité et interopérabilité des systèmes industriels: le projet G-ICS

auteur

Stéphane Mocanu

article

Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2015), Université de Technologie e Troyes, UTT, May 2015, Troyes, France

Accès au 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. ⟨10.1007/978-3-319-14977-6_6⟩

Accès au bibtex

Directions of work or proceedings

titre

Proceedings of the IEEE International Conference on Cloud and Autonomic Computing (ICCAC), 2015

auteur

Eric Rutten, Prashant Shenoy

article

Sep 2015, Cambridge, MA, United States. 2015, ⟨http://autonomic-conference.org/⟩

Accès au bibtex

Reports

titre

Feedback Control as MAPE-K loop in Autonomic Computing

auteur

Eric Rutten, Nicolas Marchand, Daniel Simon

article

[Research Report] RR-8827, INRIA Sophia Antipolis - Méditerranée; INRIA Grenoble - Rhône-Alpes. 2015

Accès au texte intégral et 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

Theses

titre

Discrete Control in the Internet of things and Smart Environments through a Shared Infrastructure

auteur

Mengxuan Zhao

article

Other [cs.OH]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM011⟩

Accès au texte intégral et bibtex

2014

Journal articles

titre

Coordinating self-sizing and self-repair managers for multi-tier systems

auteur

Soguy Mak-Karé Gueye, Noel de Palma, Eric 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

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, Eric 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

Conference papers

titre

Discrete Control for Smart Environments through a Generic Finite-State-Models-Based Infrastructure

auteur

Mengxuan Zhao, Gilles Privat, Hassane Alla, Eric Rutten

article

European Conference on Ambient Intelligence, AmI-14, Nov 2014, Eindhoven, Netherlands

Accès au 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

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, ⟨10.1145/2602458.2602465⟩

Accès au texte intégral et bibtex

titre

Coordination of ECA Rules by Verification and Control

auteur

Julio Cano, Gwenaël Delaval, Eric Rutten

article

COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩

Accès au texte intégral et 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

Accès au texte intégral et bibtex

titre

Supervisory Controller Synthesis for Safe Software Adaptation

auteur

Narges Khakpour, Farhad Arbab, Eric Rutten

article

12th IFAC - IEEE International Workshop on Discrete Event Systems, WODES '14, May 2014, Paris, France

Accès au bibtex

Theses

titre

Coordination Modulaire de Gestionnaires Autonomes par Contrôle Discret

auteur

Soguy Mak-Karé Gueye

article

Calcul parallèle, distribué et partagé [cs.DC]. Universite de Grenoble, 2014. Français

Accès au texte intégral et bibtex

2013

Theses

titre

High Level Design and Control of Adaptive Multiprocessor Systems-on-Chip

auteur

Xin An

article

Embedded Systems. Université de Grenoble, 2013. English

Accès au texte intégral et bibtex

1997

Journal articles

titre

From data-flow task to multitasking: applying the synchronous approach to active vision in robotics

auteur

Eric Marchand, E. Rutten, F. Chaumette

article

IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 1997, 5 (2), pp.200-216. ⟨10.1109/87.556025⟩

Accès au texte intégral et bibtex