| |
| 2008 | ||
|---|---|---|
| 6 | EE | Stéphane Demri, Régis Gascon: Verification of qualitative Z constraints. Theor. Comput. Sci. 409(1): 24-40 (2008) |
| 2007 | ||
| 5 | EE | Stéphane Demri, Deepak D'Souza, Régis Gascon: A Decidable Temporal Logic of Repeating Values. LFCS 2007: 180-194 |
| 4 | EE | Stéphane Demri, Régis Gascon: The Effects of Bounding Syntactic Resources on Presburger LTL. TIME 2007: 94-104 |
| 2006 | ||
| 3 | EE | Laura Bozzelli, Régis Gascon: Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. LPAR 2006: 197-211 |
| 2005 | ||
| 2 | EE | Silvano Dal-Zilio, Régis Gascon: Resource Bound Certification for a Tail-Recursive Virtual Machine. APLAS 2005: 247-263 |
| 1 | EE | Stéphane Demri, Régis Gascon: Verification of Qualitative Constraints. CONCUR 2005: 518-532 |
| 1 | Laura Bozzelli | [3] |
| 2 | Deepak D'Souza | [5] |
| 3 | Silvano Dal-Zilio | [2] |
| 4 | Stéphane Demri | [1] [4] [5] [6] |