Régis Gascon

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 1

Top Topics

Binary Relations

Logical Formulas

Top Venues

J. Log. Comput.

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Régis Gascon, Julien Deantoni, Jean-François Le Tallec
Priority in Logical Time Partial Orders with Synchronous Relations. RIVF (2019)
Stéphane Demri, Deepak D'Souza, Régis Gascon
Temporal Logics of Repeating Values. J. Log. Comput. 22 (5) (2012)
Régis Gascon, Frédéric Mallet, Julien Deantoni
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. TIME (2011)
Régis Gascon
Vérification de propriétés quantitatives sur des automates à contraintes. Tech. Sci. Informatiques 29 (3) (2010)
Stéphane Demri, Régis Gascon
The Effects of Bounding Syntactic Resources on Presburger LTL. J. Log. Comput. 19 (6) (2009)
Régis Gascon
With Constraints. INFINITY (2009)
Stéphane Demri, Régis Gascon
Verification of qualitative Z constraints. Theor. Comput. Sci. 409 (1) (2008)
Stéphane Demri, Régis Gascon
The Effects of Bounding Syntactic Resources on Presburger LTL. TIME (2007)
Stéphane Demri, Deepak D'Souza, Régis Gascon
A Decidable Temporal Logic of Repeating Values. LFCS (2007)
Laura Bozzelli, Régis Gascon
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. LPAR (2006)
Stéphane Demri, Régis Gascon
Verification of Qualitative Constraints. CONCUR (2005)
Silvano Dal-Zilio, Régis Gascon
Resource Bound Certification for a Tail-Recursive Virtual Machine. APLAS (2005)