 | 2011 |
|---|
| 10 |       | Régis Gascon,
Frédéric Mallet,
Julien DeAntoni:
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.
TIME 2011: 141-148 |
| 2010 |
|---|
| 9 | | Régis Gascon:
Vérification de propriétés quantitatives sur des automates à contraintes.
Technique et Science Informatiques 29(3): 309-344 (2010) |
| 2009 |
|---|
| 8 | | Régis Gascon:
An Automata-based Approach for CTL* With Constraints.
Electr. Notes Theor. Comput. Sci. 239: 193-211 (2009) |
| 7 | | Stéphane Demri,
Régis Gascon:
The Effects of Bounding Syntactic Resources on Presburger LTL.
J. Log. Comput. 19(6): 1541-1575 (2009) |
| 2008 |
|---|
| 6 | | Stéphane Demri,
Régis Gascon:
Verification of qualitative Z constraints.
Theor. Comput. Sci. 409(1): 24-40 (2008) |
| 2007 |
|---|
| 5 | | Stéphane Demri,
Deepak D'Souza,
Régis Gascon:
A Decidable Temporal Logic of Repeating Values.
LFCS 2007: 180-194 |
| 4 | | Stéphane Demri,
Régis Gascon:
The Effects of Bounding Syntactic Resources on Presburger LTL.
TIME 2007: 94-104 |
| 2006 |
|---|
| 3 | | Laura Bozzelli,
Régis Gascon:
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints.
LPAR 2006: 197-211 |
| 2005 |
|---|
| 2 | | Silvano Dal-Zilio,
Régis Gascon:
Resource Bound Certification for a Tail-Recursive Virtual Machine.
APLAS 2005: 247-263 |
| 1 | | Stéphane Demri,
Régis Gascon:
Verification of Qualitative Constraints.
CONCUR 2005: 518-532 |
Data released under the ODC-BY 1.0 license — See also our legal information page