Alain Girault

Statistics

Publications

Citations

1.2K

H-Index

Active since

1997

Affiliations

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

Université Grenoble Alpes

Laboratoire d'Informatique de Grenoble

Centre Inria de l'Université Grenoble Alpes

Institut polytechnique de Grenoble

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

ORCID

Publications per year

1997–2020

Publications

Hierarchical finite state machines with multiple concurrency models

Alain Girault, Bilung Lee, Edward A. Lee · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1999 · 299 citations

Engineering, Computer Engineering, Computer Science +17

A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate

Alain Girault, Hamoudi Kalla · IEEE Transactions on Dependable and Secure Computing · 2008 · 85 citations

Computing, Computer Engineering, Computer Science +15

SystemJ: A GALS language for system level design

Avinash Malik, Zoran Salčić, Partha S. Roop et al. · Computer Languages Systems & Structures · 2010 · 72 citations

Computing, Computer Engineering, Computer Science +9

Automatic distribution of reactive systems for asynchronous networks of processors

P. Caspi, Alain Girault, D. Pilaud · IEEE Transactions on Software Engineering · 1999 · 59 citations · Full text

Computing, Computer Science, Computer Systems +16

Towards a higher-order synchronous data-flow language

Jean-Louis Colaço, Alain Girault, Grégoire Hamon et al. · 2004 · 55 citations

Computing, Computer Science, Formal Methods +14

1–5 of 32