Exploratory Action Ctrl-a
Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Inria | Raweb 2014 | Exploratory Action
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

Bibliography

Major publications by the team in recent years
  • 1X. An, E. Rutten, J.-P. Diguet, N. Le Griguer, A. Gamatié.
    Discrete Control for the Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures, in: Proceedings of the 13th International Conference on Autonomic Computing (ICAC’13), june 26-28, San Jose, California, 2013.
  • 2T. Bouhadiba, Q. Sabah, G. Delaval, E. Rutten.
    Synchronous Control of Reconfiguration in Fractal Component-based Systems – a Case Study, in: Proceedings of the International Conference on Embedded Software. EMSOFT, Taipei, Taiwan. October 9-14, 2011, pp. 309–318.
    http://dx.doi.org/10.1145/2038642.2038690
  • 3G. Delaval, H. Marchand, E. Rutten.
    Contracts for Modular Discrete Controller Synthesis, in: Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES, in conjunction with CPSWeek, Stockholm, Sweden, April 12-16, 2010, pp. 57–66.
    http://doi.acm.org/10.1145/1755951.1755898
  • 4G. Delaval, E. Rutten.
    Reactive model-based control of reconfiguration in the Fractal component-based model, in: Proceedings of the 13th International Symposium on Component Based Software Engineering (CBSE), Prague, Czech Republic, 23-25 June, 2010, pp. 93–112, best paper award.
    http://dx.doi.org/10.1007/978-3-642-13238-4_6
  • 5G. Delaval, E. Rutten, H. Marchand.
    Integrating Discrete Controller Synthesis in a Reactive Programming Language Compiler, in: journal of Discrete Event Dynamic System, jDEDS, special issue on Modeling of Reactive Systems, 2013, vol. 23, no 4, pp. 385-418.
    http://dx.doi.org/10.1007/s10626-013-0163-5
  • 6E. Dumitrescu, A. Girault, H. Marchand, E. Rutten.
    Multicriteria optimal discrete controller synthesis for fault-tolerant tasks, in: Proceedings of the 10th International Workshop on Discrete Event Systems (WODES), Berlin, Germany, August 30 – September 1, 2010, pp. 366–373. [ DOI : 10.3182/20100830-3-DE-4013.00059 ]
    http://hal.inria.fr/inria-00510019
  • 7S. M. K. Gueye, N. de Palma, E. Rutten.
    Coordination Control of Component-based Autonomic Administration Loops, in: Proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION, 3-6 June, Florence, Italy, 2013.
    http://dx.doi.org/10.3182/20110828-6-IT-1002.01548
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 9S. M. K. Gueye, N. De Palma, E. Rutten, A. Tchana, N. Berthier.
    Coordinating self-sizing and self-repair managers for multi-tier systems, in: Future Generation Computer Systems, June 2014, vol. 35, pp. 14 - 26. [ DOI : 10.1016/j.future.2013.12.037 ]
    https://hal.inria.fr/hal-00949556
  • 10G. Sébastien, F. De Lamotte, N. Le Griguer, E. Rutten, G. Gogniat, J.-P. Diguet.
    Extending UML/MARTE to support Discrete Controller Synthesis, application to Reconfigurable Systems-on-Chip modeling, in: ACM Transactions on Reconfigurable Technology and Systems, 2014, 17 p.
    https://hal.archives-ouvertes.fr/hal-00972636

International Conferences with Proceedings

  • 11J. Cano, G. Delaval, E. Rutten, Y. Benazzouz, L. Gurgen.
    ECA rules for IoT environment: a case study in safe design, in: 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), London, United Kingdom, September 2014.
    https://hal.inria.fr/hal-01091149
  • 12J. Cano, G. Delaval, E. Rutten.
    Coordination of ECA rules by verification and control, in: 16th International Conference on Coordination Models and Languages, Berlin, Germany, June 2014, 16 p.
    https://hal.archives-ouvertes.fr/hal-01006186
  • 13G. Delaval, S. M. K. Gueye, E. Rutten, N. De Palma.
    Modular Coordination of Multiple Autonomic Managers, in: 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Lille, France, June 2014, 291 p. [ DOI : 10.1145/2602458.2602465 ]
    https://hal.archives-ouvertes.fr/hal-01006106
  • 14N. Khakpour, F. Arbab, E. Rutten.
    Supervisory Controller Synthesis for Safe Software Adaptation, in: WODES - 12th IFAC - IEEE International Workshop on Discrete Event Systems, Paris, France, May 2014.
    https://hal.inria.fr/hal-01091155
  • 15M. Zhao, G. Privat, H. Alla, E. Rutten.
    Discrete Control for Smart Environments through a Generic Finite-State-Models-Based Infrastructure, in: AmI-14 - European Conference on Ambient Intelligence, Eindhoven, Netherlands, Springer, November 2014, vol. LNCS 8850.
    https://hal.inria.fr/hal-01091140

Internal Reports

  • 16F. Alvares De Oliveira Jr., E. Rutten, L. Seinturier.
    High-level Language Support for the Control of Reconfiguration in Component-based Architectures, Inria Grenoble - Rhône-Alpes ; Inria Lille - Nord Europe ; Laboratoire d'Informatique Fondamentale de Lille, January 2015, no RR-8669.
    https://hal.inria.fr/hal-01103548
References in notes
  • 17M. Berekmeri, D. Serrano, S. Bouchenak, N. Marchand, B. Robu.
    A Control Approach for Performance of Big Data Systems, in: IFAC World Congress, 2014, hal-00940282.
    http://hal.archives-ouvertes.fr/hal-00940282
  • 18M. Berekmeri, D. Serrano, S. Bouchenak, N. Marchand, B. Robu.
    Application du contrôle pour garantir la performance des systèmes Big Data, in: Conférence francophone d’informatique en parallélisme, architecture et systeme (ComPAS), 2014, hal-00982404.
    http://hal.archives-ouvertes.fr/hal-00982404

previous Previous | up Home