Garavel, Hubert, 1963-
Garavel, Hubert
Garavel, Hubert, 1963-...., informaticien
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 5869476 (Personal)
Permalink: http://viaf.org/viaf/5869476
Preferred Forms
-
100 1 _ ‡a Garavel, Hubert
-
100 1 _ ‡a Garavel, Hubert
-
100 1 _ ‡a Garavel, Hubert
-
100 1 _ ‡a Garavel, Hubert ‡d (1963- ).
-
100 1 _
‡a
Garavel, Hubert
‡d
1963-
-
100 1 _ ‡a Garavel, Hubert, ‡d 1963-
-
100 1 _
‡a
Garavel, Hubert,
‡d
1963-
-
100 1 _ ‡a Garavel, Hubert, ‡d 1963-
-
100 1 _
‡a
Garavel, Hubert,
‡d
1963-....,
‡c
informaticien
4xx's: Alternate Name Forms (1)
Works
| Title | Sources |
|---|---|
| Analyses de sûreté de fonctionnement multi-systèmes |
|
| Compilation et vérification de programmes LOTOS |
|
| Contribution à la définition et à l'implémentation du langage "Extended Lotos" |
|
| Distributed on-the-fly verification of large state spaces. |
|
| ETAPS 2003 |
|
| FMICS' 02 - Formal methods for industrial critical systems : proceedings |
|
| ICALP 2002 satellite workshops : proceedings |
|
| Méthodes formelles : validation de systèmes complexes |
|
| Modern languages for modeling and verifying asynchronous systems. |
|
| Proceedings / 2nd International Workshop on Applied Formal Methods in System Design |
|
| Réseaux et protocoles |
|
| Spécification formelle et vérification de systèmes interactifs avec plasticité : applications à la supervision nucléaire. |
|
| Systèmes concurrents hiérarchiques : équivalence, analyse et structuration |
|
| TACAS 2003 |
|
| Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings |
|
| Vérification distribuée à la volée de grands espaces d'états |
|
| Verification of temporal properties of parallel programs. |
|
| Vers la prédiction de performance de modèles compositionnels dans les architectures GALS |
|
