Sutre, Grégoire, 1975-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 191938940 (Personal)
Permalink: http://viaf.org/viaf/191938940
Preferred Forms
Works
| Title | Sources |
|---|---|
| Discrete event modeling and analysis for systems biology models |
|
| Du problème de sous mot de Post et de la complexité des canaux non fiables. |
|
| Exploiting model structure in CEGAR verification method |
|
| On Post's embedding problem and the complexity of lossy channels |
|
| Unfolding based verification of concurrent infinite-state systems |
|
| Vérification de logiciels : techniques et outils du model-checking |
|
| Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions |
|
