The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Éric Rutten: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier
    A Translation of Statecharts into Signal Approach of Time, Interoperability. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:52-0 [Conf]
  2. Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan
    Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:271-285 [Conf]
  3. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
    Preemption Primitives in Reactive Languages (A Preliminary Report). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:111-125 [Conf]
  4. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
    Taxonomy and Expressiveness of Preemption: A Syntactic Approach. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:125-141 [Conf]
  5. Fernando Jiménez-Fraustro, Éric Rutten
    A Synchronous Model of IEC 61131 PLC Languages in SIGNAL. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2001, pp:135-142 [Conf]
  6. Hervé Marchand, Éric Rutten
    Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2002, pp:241-248 [Conf]
  7. Éric Rutten
    A Temporal Representation for Imperatively Structured Plans of Actions. [Citation Graph (0, 0)][DBLP]
    EPIA, 1991, pp:165-179 [Conf]
  8. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten
    Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:174-188 [Conf]
  9. Éric Rutten
    A Framework for Using Discrete Control Synthesis in Safe Robotic Programming and Teleoperation. [Citation Graph (0, 0)][DBLP]
    ICRA, 2001, pp:4104-4109 [Conf]
  10. Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten
    SIGNAL. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:113-129 [Conf]
  11. Stéphane Donikian, Éric Rutten
    Reactivity, Concurrency, Data-flow and Hierarchical Preemption for Behavioural Animation. [Citation Graph (0, 0)][DBLP]
    Eurographics Workshop on Programming Paradigms in Graphics, 1995, pp:137-153 [Conf]
  12. Gwenaël Delaval, Éric Rutten
    A domain-specific language for task handlers generation, applying discrete controller synthesis. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:901-905 [Conf]
  13. Éric Rutten, Lionel Marcé
    Temporal Logics and Structured Plans. [Citation Graph (0, 0)][DBLP]
    SCAI, 1989, pp:901-912 [Conf]
  14. Éric Rutten, Lionel Marcé
    An imperative language for task-level planning: Definition in temporal logic. [Citation Graph (0, 0)][DBLP]
    AI in Engineering, 1993, v:8, n:4, pp:235-251 [Journal]
  15. Éric Rutten, Joachim Hertzberg
    Temporal Planner = Nonlinear Planner + Time Map Manager. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1993, v:6, n:1, pp:18-26 [Journal]
  16. Alain Girault, Éric Rutten
    Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:81-100 [Journal]
  17. Florence Maraninchi, Alain Girault, Éric Rutten
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
  18. Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan
    Formal verification of programs specified with signal: application to a power transformer station controller. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:41, n:1, pp:85-104 [Journal]
  19. Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang
    Modeling statecharts and activitycharts as signal equations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:4, pp:397-451 [Journal]
  20. Hassane Alla, René K. Boel, Éric Rutten
    Editorial. [Citation Graph (0, 0)][DBLP]
    Discrete Event Dynamic Systems, 2007, v:17, n:2, pp:131-132 [Journal]

  21. Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model. [Citation Graph (, )][DBLP]


  22. Modeling and Formal Validation of High-Performance Embedded Systems. [Citation Graph (, )][DBLP]


  23. Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. [Citation Graph (, )][DBLP]


  24. Contracts for modular discrete controller synthesis. [Citation Graph (, )][DBLP]


  25. Reactive control of adaptive embedded systems: a position paper. [Citation Graph (, )][DBLP]


  26. Safe Design Methodology for an Intelligent Cruise Control System with GPS. [Citation Graph (, )][DBLP]


  27. UML2 Profile for Modeling Controlled Data Parallel Applications. [Citation Graph (, )][DBLP]


  28. Model Transformations from a Data Parallel Formalism towards Synchronous Languages. [Citation Graph (, )][DBLP]


  29. Foreword. [Citation Graph (, )][DBLP]


  30. Preface. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.322secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002