| 2008 |
|---|
| 26 | EE | Éric Rutten:
Reactive control of adaptive embedded systems: a position paper.
ARM 2008: 47-48 |
| 25 | EE | Abdoulaye Gamatié,
Éric Rutten,
Huafeng Yu,
Pierre Boulet,
Jean-Luc Dekeyser:
Modeling and Formal Validation of High-Performance Embedded Systems.
ISPDC 2008: 215-222 |
| 2007 |
|---|
| 24 | | Huafeng Yu,
Abdoulaye Gamatié,
Éric Rutten,
Jean-Luc Dekeyser:
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
FDL 2007: 255-260 |
| 23 | EE | Hassane Alla,
René K. Boel,
Éric Rutten:
Editorial.
Discrete Event Dynamic Systems 17(2): 131-132 (2007) |
| 2006 |
|---|
| 22 | EE | Ouassila Labbani,
Éric Rutten,
Jean-Luc Dekeyser,
Pierre Boulet:
UML2 Profile for Modeling Controlled Data Parallel Applications.
FDL 2006: 359-367 |
| 21 | EE | Gwenaël Delaval,
Éric Rutten:
A domain-specific language for task handlers generation, applying discrete controller synthesis.
SAC 2006: 901-905 |
| 20 | EE | Ouassila Labbani,
Éric Rutten,
Jean-Luc Dekeyser:
Safe Design Methodology for an Intelligent Cruise Control System with GPS.
VTC Fall 2006: 1-5 |
| 2005 |
|---|
| 19 | EE | Alain Girault,
Éric Rutten:
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.
Electr. Notes Theor. Comput. Sci. 133: 81-100 (2005) |
| 2004 |
|---|
| 18 | EE | Florence Maraninchi,
Alain Girault,
Éric Rutten:
Foreword.
Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004) |
| 2003 |
|---|
| 17 | EE | Karine Altisen,
Aurélie Clodic,
Florence Maraninchi,
Éric Rutten:
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.
ESOP 2003: 174-188 |
| 2002 |
|---|
| 16 | EE | Hervé Marchand,
Éric Rutten:
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis.
ECRTS 2002: 241-248 |
| 15 | EE | Florence Maraninchi,
Alain Girault,
Éric Rutten:
Preface.
Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 2001 |
|---|
| 14 | EE | Fernando Jiménez-Fraustro,
Éric Rutten:
A Synchronous Model of IEC 61131 PLC Languages in SIGNAL.
ECRTS 2001: 135-142 |
| 13 | | Éric Rutten:
A Framework for Using Discrete Control Synthesis in Safe Robotic Programming and Teleoperation.
ICRA 2001: 4104-4109 |
| 12 | EE | 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) |
| 11 | | 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) |
| 1998 |
|---|
| 10 | EE | 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- |
| 9 | EE | Sophie Pinchinat,
Éric Rutten,
R. K. Shyamasundar:
Taxonomy and Expressiveness of Preemption: A Syntactic Approach.
ASIAN 1998: 125-141 |
| 1996 |
|---|
| 8 | | 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 |
| 1995 |
|---|
| 7 | | Sophie Pinchinat,
Éric Rutten,
R. K. Shyamasundar:
Preemption Primitives in Reactive Languages (A Preliminary Report).
ASIAN 1995: 111-125 |
| 6 | | 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 |
| 5 | | Pascalin Amagbégnon,
Paul Le Guernic,
Hervé Marchand,
Éric Rutten:
SIGNAL.
Formal Development of Reactive Systems 1995: 113-129 |
| 1993 |
|---|
| 4 | | Éric Rutten,
Joachim Hertzberg:
Temporal Planner = Nonlinear Planner + Time Map Manager.
AI Commun. 6(1): 18-26 (1993) |
| 3 | EE | Éric Rutten,
Lionel Marcé:
An imperative language for task-level planning: Definition in temporal logic.
AI in Engineering 8(4): 235-251 (1993) |
| 1991 |
|---|
| 2 | | Éric Rutten:
A Temporal Representation for Imperatively Structured Plans of Actions.
EPIA 1991: 165-179 |
| 1989 |
|---|
| 1 | | Éric Rutten,
Lionel Marcé:
Temporal Logics and Structured Plans.
SCAI 1989: 901-912 |
