Éric Rutten

Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten: Component-Based Autonomic Managers for Coordination Control. COORDINATION 2013: 75-89

Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Éric Rutten, Jean-Philippe Diguet, Guy Gogniat: Modeling and synthesis of a Dynamic and Partial Reconfiguration controller. FPL 2012: 703-706

Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet: Designing formal reconfiguration control using UML/MARTE. ReCoSoC 2012: 1-8

Soguy Mak-Kare Gueye, Éric Rutten, Alain Tchana: Discrete Control for the Coordination of Administration Loops. UCC 2012: 353-358

Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Éric Rutten, Mohamed Moez Yeddes: An approach for the synthesis of decentralised supervisors for distributed adaptive systems. IJCCBS 2(3/4): 246-265 (2011)

Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten: Synchronous control of reconfiguration in fractal component-based systems: a case study. EMSOFT 2011: 309-318

Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten: Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study. CoRR abs/1105.6010 (2011)

Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser: Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. IJES 4(3/4): 204-224 (2010)

Sara Bouchenak, Éric Rutten: Summary of the 5th international workshop on feedback control implementation and design in computing systems and networks (FeBID 2010). Operating Systems Review 44(3): 38-40 (2010)

Gwenaël Delaval, Éric Rutten: Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model. CBSE 2010: 93-112

Abdoulaye Gamatié, Vlad Rusu, Éric Rutten: Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. ISPDC 2010: 25-32

Gwenaël Delaval, Hervé Marchand, Éric Rutten: Contracts for modular discrete controller synthesis. LCTES 2010: 57-66

Sébastien Guillet, Florent de Lamotte, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet: Modeling and Formal Control of Partial Dynamic Reconfiguration. ReConFig 2010: 31-36

Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 238(1): 1-2 (2009)

Alain Girault, Éric Rutten: Automating the addition of fault tolerance with discrete controller synthesis. Formal Methods in System Design 35(2): 190-225 (2009)

Éric Rutten, Hervé Marchand: Automatic generation of safe handlers for multi-task systems. J. Embedded Computing 3(4): 255-276 (2009)

Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems. Scalable Computing: Practice and Experience 10(2) (2009)

Soufyane Aboubekr, Gwenaël Delaval, Éric Rutten: A programming language for adaptation control: case study. SIGBED Review 6(3): 11 (2009)

Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten: A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. ICESS 2009: 75-82

Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Synchronous Modeling and Analysis of Data Intensive Applications. EURASIP J. Emb. Sys. 2008 (2008)

Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten: Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems. EURASIP J. Emb. Sys. 2008 (2008)

Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser: Safe design of high-performance embedded systems in an MDE framework. ISSE 4(3): 215-222 (2008)

Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Modeling and Formal Validation of High-Performance Embedded Systems. ISPDC 2008: 215-222

Éric Rutten: Reactive control of adaptive embedded systems: a position paper. ARM 2008: 47-48

Hassane Alla, René K. Boel, Éric Rutten: Editorial. Discrete Event Dynamic Systems 17(2): 131-132 (2007)

Gwenaël Delaval, Éric Rutten: A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis. EURASIP J. Emb. Sys. 2007 (2007)

Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser: Model Transformations from a Data Parallel Formalism towards Synchronous Languages. FDL 2007: 255-260

Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet: UML2 Profile for Modeling Controlled Data Parallel Applications. FDL 2006: 359-367

Gwenaël Delaval, Éric Rutten: A domain-specific language for task handlers generation, applying discrete controller synthesis. SAC 2006: 901-905

Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser: Safe Design Methodology for an Intelligent Cruise Control System with GPS. VTC Fall 2006: 1-5

Alain Girault, Éric Rutten: Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. Electr. Notes Theor. Comput. Sci. 133: 81-100 (2005)

Florence Maraninchi, Alain Girault, Éric Rutten: Foreword. Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004)

Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten: Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP 2003: 174-188

Florence Maraninchi, Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 65(5): 1-2 (2002)

Hervé Marchand, Éric Rutten: Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS 2002: 241-248

Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan: Formal verification of programs specified with signal: application to a power transformer station controller. Sci. Comput. Program. 41(1): 85-104 (2001)

Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang: Modeling statecharts and activitycharts as signal equations. ACM Trans. Softw. Eng. Methodol. 10(4): 397-451 (2001)

Fernando Jiménez-Fraustro, Éric Rutten: A Synchronous Model of IEC 61131 PLC Languages in SIGNAL. ECRTS 2001: 135-142

Éric Rutten: A Framework for Using Discrete Control Synthesis in Safe Robotic Programming and Teleoperation. ICRA 2001: 4104-4109

Éric Marchand, Éric Rutten, Hervé Marchand, François Chaumette: Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment. I. J. Robotic Res. 17(4): 418-432 (1998)

Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier: A Translation of Statecharts into Signal Approach of Time, Interoperability. ACSD 1998: 52-62

Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Taxonomy and Expressiveness of Preemption: A Syntactic Approach. ASIAN 1998: 125-141

Éric Rutten, Éric Marchand, François Chaumette: An Experiment with Reactive Data-Flow Tasking in Active Robot Vision. Softw., Pract. Exper. 27(5): 599-621 (1997)

Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan: Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. AMAST 1996: 271-285

Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Preemption Primitives in Reactive Languages (A Preliminary Report). ASIAN 1995: 111-125

Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten: SIGNAL. Formal Development of Reactive Systems 1995: 113-129

Stéphane Donikian, Éric Rutten: Reactivity, Concurrency, Data-flow and Hierarchical Preemption for Behavioural Animation. Eurographics Workshop on Programming Paradigms in Graphics 1995: 137-153

Éric Rutten, Lionel Marcé: An imperative language for task-level planning: Definition in temporal logic. AI in Engineering 8(4): 235-251 (1993)

Éric Rutten, Joachim Hertzberg: Temporal Planner = Nonlinear Planner + Time Map Manager. AI Commun. 6(1): 18-26 (1993)

Éric Rutten: A Temporal Representation for Imperatively Structured Plans of Actions. EPIA 1991: 165-179

Éric Rutten, Lionel Marcé: Temporal Logics and Structured Plans. SCAI 1989: 901-912