Resource Bound Certification for a Tail-Recursive Virtual Machine. - Silvano Dal-Zilio; Régis Gascon (APLAS, 2005)

Verification of Qualitative Constraints. - Stéphane Demri; Régis Gascon (CONCUR, 2005)

Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. - Laura Bozzelli; Régis Gascon (LPAR, 2006)

A Decidable Temporal Logic of Repeating Values. - Stéphane Demri; Deepak D'Souza; Régis Gascon (LFCS, 2007)

Spécification et vérification de propriétés quantitatives sur des automates à contraintes. (Specification and verification of quantitative properties on constraint automata). - Régis Gascon (2007)

Verification of qualitative Z constraints. - Stéphane Demri; Régis Gascon (Theor. Comput. Sci., 2008)

An Automata-based Approach for CTL* With Constraints. - Régis Gascon (INFINITY, 2009)

The Effects of Bounding Syntactic Resources on Presburger LTL. - Stéphane Demri; Régis Gascon (J. Log. Comput., 2009)

Vérification de propriétés quantitatives sur des automates à contraintes. - Régis Gascon (Tech. Sci. Informatiques, 2010)

Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. - Régis Gascon; Frédéric Mallet; Julien Deantoni (TIME, 2011)

Temporal Logics of Repeating Values. - Stéphane Demri; Deepak D'Souza; Régis Gascon (J. Log. Comput., 2012)

Priority in Logical Time Partial Orders with Synchronous Relations. - Régis Gascon; Julien Deantoni; Jean-François Le Tallec (RIVF, 2019)