Rgis Gascon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2005–2011
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | TIME | Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. | Rgis Gascon, Frdric Mallet, Julien Deantoni |
| 2007 | LFCS | A Decidable Temporal Logic of Repeating Values. | Stphane Demri, Deepak D'Souza, Rgis Gascon |
| 2007 | TIME | The Effects of Bounding Syntactic Resources on Presburger LTL. | Stphane Demri, Rgis Gascon |
| 2006 | LPAR | Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. | Laura Bozzelli, Rgis Gascon |
| 2005 | APLAS | Resource Bound Certification for a Tail-Recursive Virtual Machine. | Silvano Dal-Zilio, Rgis Gascon |
| 2005 | CONCUR | Verification of Qualitative Constraints. | Stphane Demri, Rgis Gascon |