Thierry Gautier - Concepedia

Author

Thierry Gautier

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

Also Known As

Gautier, Thierry, T. Gautier, Thierry Gautier

Publications

Citations

H-Index

Concepts

All Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires Centre National de la Recherche Scientifique Institut national de recherche en sciences et technologies du numérique

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	569
2	Systems Engineering	3	3	569
3	Computer Engineering	2	2	558
4	Computer Science	2	2	545
5	Compilers	1	1	534

Thierry Gautier

Publications

611

Citations

H-Index

Page 1

	Year	Citations
Programming real-time applications with SIGNAL P. LeGuernic, Thierry Gautier, Michel Le Borgne, Proceedings of the IEEE EngineeringSystem ProgrammingHardware SystemsSoftware AnalysisSignal Language	1991	534
Data-flow to Von Neumann : the SIGNAL approach Paul Le Guernic, Thierry Gautier Experimental Brain Research	1990	32
System-level co-simulation of integrated avionics using polychrony Huafeng Yu, Yue Ma, Yann Glouche, Hardware ModelingEngineeringComputer ArchitectureSoftware EngineeringSimulation	2011	24
Modeling statecharts and activitycharts as signal equations Jean-René Beauvais, Éric Rutten, Thierry Gautier, ACM Transactions on Software Engineering and Methodology EngineeringImperative SpecificationSoftware EngineeringStatemate SemanticsFormal Verification	2001	11
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination Jean‐Guillaume Dumas, Thierry Gautier, Clément Pernet, Parallel Computing	2015	10

Page 1