Éric Rutten

ÉR

Statistics

Publications

Citations

557

H-Index

Active since

2001

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université Grenoble Alpes

Institut de Recherche en Informatique et Systèmes Aléatoires

Université Grenoble Alpes

Laboratoire d'Informatique de Grenoble

Éric Rutten is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computer engineering, and engineering.

Publications per year

2001–2024

Publications

Contracts for modular discrete controller synthesis

Gwenaël Delaval, Hervé Marchand, Éric Rutten · 2010 · 70 citations · Full text

Engineering, Computer Engineering, Computer Science +16

Integrating discrete controller synthesis into a reactive programming language compiler

Gwenaël Delaval, Éric Rutten, Hervé Marchand · Discrete Event Dynamic Systems · 2013 · 46 citations · Full text

Computing, Computer Engineering, Computer Science +12

Formal verification of programs specified with signal: application to a power transformer station controller

Hervé Marchand, Éric Rutten, Michel Le Borgne et al. · Science of Computer Programming · 2001 · 30 citations

Computing, Computer Science, Electrical Engineering +12

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

Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié et al. · International Journal of Embedded Systems · 2010 · 30 citations

Engineering, Computer Engineering, Computer Science +17

Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach

Ouassila Labbani, Jean‐Luc Dekeyser, Pierre Boulet et al. · 2005 · 27 citations · Full text

Computing, Computer Engineering, Computer Science +11

1–5 of 29