Éric Rutten

According to our database1, Éric Rutten authored at least 96 papers between 1989 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
An autonomic-computing approach on mapping threads to multi-cores for software transactional memory.
Concurrency and Computation: Practice and Experience, 2018

Autonomic Management of Reconfigurations in DPR FPGA-based Embedded System.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

A Domain-Specific Language for Autonomic Managers in FPGA Reconfigurable Architectures.
Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

Towards a control-theory approach for minimizing unused grid resources.
Proceedings of the 1st International Workshop on Autonomous Infrastructure for Science, 2018

2017
A domain-specific language for the control of self-adaptive component-based architecture.
Journal of Systems and Software, 2017

Design framework for reliable and environment aware management of smart environment devices.
J. Internet Services and Applications, 2017

Design Framework for Reliable Multiple Autonomic Loops in Smart Environments.
Proceedings of the 2017 International Conference on Cloud and Autonomic Computing, 2017

Language Support for Modular Autonomic Managers in Reconfigurable Software Components.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Development Tools for Rule-Based Coordination Programming in LINC.
Proceedings of the Coordination Models and Languages, 2017

Autonomic management of missions and reconfigurations in FPGA-based embedded system.
Proceedings of the 2017 NASA/ESA Conference on Adaptive Hardware and Systems, 2017

2016
Gestion autonome de la réparation et du dimensionnement d'un système multiniveau par contrôle discret.
Technique et Science Informatiques, 2016

Designing Autonomic Management Systems by Using Reactive Control Techniques.
IEEE Trans. Software Eng., 2016

Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures.
ACM Trans. Embedded Comput. Syst., 2016

Synthesizing structural and behavioral control for reconfigurations in component-based systems.
Formal Asp. Comput., 2016

Combining Transactional and Behavioural Reliability in Adaptive Middleware.
Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, 2016

Control of autonomic parallelism adaptation on software transactional memory.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015
An MDE Approach for Rapid Prototyping and Implementation of Dynamic Reconfigurable Systems.
ACM Trans. Design Autom. Electr. Syst., 2015

High-level design space exploration for adaptive applications on multiprocessor systems-on-chip.
Journal of Systems Architecture - Embedded Systems Design, 2015

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems.
Proceedings of the Distributed Computing and Internet Technology, 2015

Behavioural Model-Based Control for Autonomic Software Components.
Proceedings of the 2015 IEEE International Conference on Autonomic Computing, 2015

High-Level Language Support for Reconfiguration Control in Component-Based Architectures.
Proceedings of the Software Architecture - 9th European Conference, 2015

2014
Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling.
TRETS, 2014

Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design.
Knowledge Eng. Review, 2014

Coordinating self-sizing and self-repair managers for multi-tier systems.
Future Generation Comp. Syst., 2014

Supervisory Controller Synthesis for Safe Software Adaptation.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

ECA Rules for IoT Environment: A Case Study in Safe Design.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Coordination of ECA Rules by Verification and Control.
Proceedings of the Coordination Models and Languages, 2014

Modular coordination of multiple autonomic managers.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure.
Proceedings of the Ambient Intelligence, European Conference, 2014

2013
Coordinating multiple administration loops using discrete control.
Operating Systems Review, 2013

Discrete control for ensuring consistency between multiple autonomic managers.
J. Cloud Computing, 2013

Integrating discrete controller synthesis into a reactive programming language compiler.
Discrete Event Dynamic Systems, 2013

Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control.
Proceedings of the 10th International Conference on Autonomic Computing, 2013

Discrete Control for the Internet of Things and Smart Environments.
Proceedings of the 8th International Workshop on Feedback Computing, 2013

Feedback Control as MAPE-K Loop in Autonomic Computing.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


Component-Based Autonomic Managers for Coordination Control.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Discrete Control for the Coordination of Administration Loops.
Proceedings of the IEEE Fifth International Conference on Utility and Cloud Computing, 2012

CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs.
Proceedings of the Workshop on Software and Compilers for Embedded Systems, 2012

Designing formal reconfiguration control using UML/MARTE.
Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012

Modeling and synthesis of a Dynamic and Partial Reconfiguration controller.
Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

2011
An approach for the synthesis of decentralised supervisors for distributed adaptive systems.
IJCCBS, 2011

Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study
CoRR, 2011

Synchronous control of reconfiguration in fractal component-based systems: a case study.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Summary of the 5th international workshop on feedback control implementation and design in computing systems and networks (FeBID 2010).
Operating Systems Review, 2010

Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation.
IJES, 2010

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Modeling and Formal Control of Partial Dynamic Reconfiguration.
Proceedings of the ReConFig'10: 2010 International Conference on Reconfigurable Computing and FPGAs, 2010

Contracts for modular discrete controller synthesis.
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design.
Proceedings of the Ninth International Symposium on Parallel and Distributed Computing, 2010

Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2009
A programming language for adaptation control: case study.
SIGBED Review, 2009

Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems.
Scalable Computing: Practice and Experience, 2009

Automatic generation of safe handlers for multi-task systems.
J. Embedded Computing, 2009

Automating the addition of fault tolerance with discrete controller synthesis.
Formal Methods in System Design, 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

A Case Study on Controller Synthesis for Data-Intensive Embedded Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

2008
Safe design of high-performance embedded systems in an MDE framework.
ISSE, 2008

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.
EURASIP J. Emb. Sys., 2008

Synchronous Modeling and Analysis of Data Intensive Applications.
EURASIP J. Emb. Sys., 2008

Reactive control of adaptive embedded systems: a position paper.
Proceedings of the 7th Workshop on Adaptive and Reflective Middleware, 2008

Modeling and Formal Validation of High-Performance Embedded Systems.
Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008

2007
A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis.
EURASIP J. Emb. Sys., 2007

Editorial.
Discrete Event Dynamic Systems, 2007

Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
Proceedings of the Forum on specification and Design Languages, 2007

2006
Safe Design Methodology for an Intelligent Cruise Control System with GPS.
Proceedings of the 64th IEEE Vehicular Technology Conference, 2006

A domain-specific language for task handlers generation, applying discrete controller synthesis.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

UML2 Profile for Modeling Controlled Data Parallel Applications.
Proceedings of the Forum on specification and Design Languages, 2006

2005
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.
Electr. Notes Theor. Comput. Sci., 2005

2004
Foreword.
Electr. Notes Theor. Comput. Sci., 2004

2003
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.
Proceedings of the Programming Languages and Systems, 2003

2002
Preface.
Electr. Notes Theor. Comput. Sci., 2002

Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001
Modeling statecharts and activitycharts as signal equations.
ACM Trans. Softw. Eng. Methodol., 2001

Formal verification of programs specified with signal: application to a power transformer station controller.
Sci. Comput. Program., 2001

A Framework for Using Discrete Control Synthesis in Safe Robotic Programming and Teleoperation.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

A Synchronous Model of IEC 61131 PLC Languages in SIGNAL.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

1998
Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment.
I. J. Robotics Res., 1998

Taxonomy and Expressiveness of Preemption: A Syntactic Approach.
Proceedings of the Advances in Computing Science, 1998

A Translation of Statecharts into Signal Approach of Time, Interoperability.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
From data-flow task to multitasking: applying the synchronous approach to active vision in robotics.
IEEE Trans. Contr. Sys. Techn., 1997

An Experiment with Reactive Data-Flow Tasking in Active Robot Vision.
Softw., Pract. Exper., 1997

1996
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Reactivity, Concurrency, Data-flow and Hierarchical Preemption for Behavioural Animation.
Proceedings of the Programming Paradigms in Graphics: Proceedings of the Eurographics Workshop, 1995

SIGNAL.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

Real time active visual reconstruction using the synchronous paradigm.
Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 1995

SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Preemption Primitives in Reactive Languages (A Preliminary Report).
Proceedings of the Algorithms, 1995

1994
The sequencing of data flow tasks in SIGNAL: application to active vision in robotics.
Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993
Temporal Planner = Nonlinear Planner + Time Map Manager.
AI Commun., 1993

An imperative language for task-level planning: Definition in temporal logic.
AI in Engineering, 1993

1992
A task-level robot programming language and its reactive execution.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

1991
A Temporal Representation for Imperatively Structured Plans of Actions.
Proceedings of the EPIA 91, 1991

1989
Temporal Logics and Structured Plans.
SCAI, 1989


  Loading...