Régis Gascon

According to our database, Régis Gascon authored at least 12 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Priority in Logical Time Partial Orders with Synchronous Relations.

Régis Gascon, Julien Deantoni, Jean-François Le Tallec

Proceedings of the 2019 IEEE-RIVF International Conference on Computing and Communication Technologies, 2019

2012

Temporal Logics of Repeating Values.

Stéphane Demri, Deepak D'Souza, Régis Gascon

J. Log. Comput., 2012

2011

Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.

Régis Gascon, Frédéric Mallet, Julien Deantoni

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

2010

Vérification de propriétés quantitatives sur des automates à contraintes.

Régis Gascon

Tech. Sci. Informatiques, 2010

2009

An Automata-based Approach for CTL^* With Constraints.

Régis Gascon

Proceedings of the Joint Proceedings of the 8th, 2009

2008

Verification of qualitative Z constraints.

Stéphane Demri, Régis Gascon

Theor. Comput. Sci., 2008

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

PhD thesis, 2007

The Effects of Bounding Syntactic Resources on Presburger LTL.

Stéphane Demri, Régis Gascon

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

A Decidable Temporal Logic of Repeating Values.

Stéphane Demri, Deepak D'Souza, Régis Gascon

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006

Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints.

Laura Bozzelli, Régis Gascon

Proceedings of the Logic for Programming, 2006

2005

Verification of Qualitative Constraints.

Stéphane Demri, Régis Gascon

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Resource Bound Certification for a Tail-Recursive Virtual Machine.

Silvano Dal-Zilio, Régis Gascon

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005