Thierry Gautier

Publications

611

Citations

H-Index

1990

Active since

Affiliations

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

Centre National de la Recherche Scientifique

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

Thierry Gautier is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, systems engineering, and formal methods.

ORCID

Top concepts

EngineeringSystems EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceComputer EngineeringSoftware EngineeringAvionicsCompilers

Publications per year

1990–2015

Publications

Programming real-time applications with SIGNAL

P. LeGuernic, Thierry Gautier, Michel Le Borgne et al. · Proceedings of the IEEE · 1991 · 534 citations · Full text

Engineering, System Programming, Hardware Systems +18

Data-flow to Von Neumann : the SIGNAL approach

Paul Le Guernic, Thierry Gautier · Experimental Brain Research · 1990 · 32 citations · Full text

System-level co-simulation of integrated avionics using polychrony

Huafeng Yu, Yue Ma, Yann Glouche et al. · 2011 · 24 citations

Hardware Modeling, Engineering, Computer Architecture +21

Modeling statecharts and activitycharts as signal equations

Jean-René Beauvais, Éric Rutten, Thierry Gautier et al. · ACM Transactions on Software Engineering and Methodology · 2001 · 11 citations

Engineering, Imperative Specification, Software Engineering +18

Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination

Jean‐Guillaume Dumas, Thierry Gautier, Clément Pernet et al. · Parallel Computing · 2015 · 10 citations · Full text

Rows per page

1–5 of 5