Nicolas Berthier

Statistics

Publications

Citations

108

H-Index

Active since

2014

Affiliations

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

University of Liverpool

Centre Inria de l'Université de Rennes

Laboratoire d'Informatique de Grenoble

Université Grenoble Alpes

Nicolas Berthier is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer engineering, engineering, and controller synthesis.

ORCID

Publications per year

2014–2021

Publications

Discrete Controller Synthesis for Infinite State Systems with ReaX

Nicolas Berthier, Hervé Marchand · IFAC Proceedings Volumes · 2014 · 33 citations

Engineering, Mathematics, Systems Engineering +12

Coordinating self-sizing and self-repair managers for multi-tier systems

Soguy Mak-Karé Gueye, Noël De Palma, Éric Rutten et al. · Future Generation Computer Systems · 2014 · 18 citations

Computing, Computer Engineering, Systems Engineering +14

A Case for Symbolic Limited Optimal Discrete Control: Energy Management in Reactive Data-flow Circuits

Mete Özbaltan, Nicolas Berthier · IFAC-PapersOnLine · 2020 · 13 citations · Full text

Engineering, Computer Engineering, Design Automation +16

Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating

Mete Özbaltan, Nicolas Berthier · IFAC-PapersOnLine · 2018 · 12 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +17

Deadlock-free discrete controller synthesis for infinite state systems

Nicolas Berthier, Hervé Marchand · 2015 · 11 citations

Engineering, Computer Science, Algorithms +16

1–5 of 7