dblp.uni-trier.dewww.uni-trier.de

Éric Rutten Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
28EEAlain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 238(1): 1-2 (2009)
2008
27EEÉric Rutten: Reactive control of adaptive embedded systems: a position paper. ARM 2008: 47-48
26EEAbdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Modeling and Formal Validation of High-Performance Embedded Systems. ISPDC 2008: 215-222
25EEHuafeng 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)
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
23EEHassane Alla, René K. Boel, Éric Rutten: Editorial. Discrete Event Dynamic Systems 17(2): 131-132 (2007)
2006
22EEOuassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet: UML2 Profile for Modeling Controlled Data Parallel Applications. FDL 2006: 359-367
21EEGwenaël Delaval, Éric Rutten: A domain-specific language for task handlers generation, applying discrete controller synthesis. SAC 2006: 901-905
20EEOuassila Labbani, Éric Rutten, Jean-Luc Dekeyser: Safe Design Methodology for an Intelligent Cruise Control System with GPS. VTC Fall 2006: 1-5
2005
19EEAlain Girault, Éric Rutten: Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. Electr. Notes Theor. Comput. Sci. 133: 81-100 (2005)
2004
18EEFlorence Maraninchi, Alain Girault, Éric Rutten: Foreword. Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004)
2003
17EEKarine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten: Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP 2003: 174-188
2002
16EEHervé Marchand, Éric Rutten: Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS 2002: 241-248
15EEFlorence Maraninchi, Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
2001
14EEFernando 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
12EEJean-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
10EEJean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier: A Translation of Statecharts into Signal Approach of Time, Interoperability. ACSD 1998: 52-
9EESophie 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)
3EEÉ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

Coauthor Index

1Hassane Alla [23]
2Karine Altisen [17]
3Pascalin Amagbégnon [5]
4Jean-René Beauvais [10] [12]
5René K. Boel [23]
6Michel Le Borgne [8] [11]
7Pierre Boulet [22] [26]
8Aurélie Clodic [17]
9Jean-Luc Dekeyser [20] [22] [24] [25] [26]
10Gwenaël Delaval [21]
11Stéphane Donikian [6]
12Abdoulaye Gamatié [24] [25] [26]
13Thierry Gautier [10] [12]
14Alain Girault [15] [18] [19] [28]
15Paul Le Guernic [5] [10] [12]
16Joachim Hertzberg [4]
17Roland Houdebine [10] [12]
18Fernando Jiménez-Fraustro [14]
19Ouassila Labbani [20] [22]
20Florence Maraninchi [15] [17] [18]
21Lionel Marcé [1] [3]
22Hervé Marchand [5] [8] [11] [16]
23Sophie Pinchinat [7] [9]
24Mazen Samaan [8] [11]
25R. K. Shyamasundar [7] [9]
26Y.-M. Tang [12]
27Huafeng Yu [24] [25] [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)