Régis Gascon

Statistics

Publications

Citations

114

H-Index

Active since

2007

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre National de la Recherche Scientifique

Laboratoire Spécification et Vérification

École Normale Supérieure Paris-Saclay

Centre Inria d'Université Côte d'Azur

Régis Gascon is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and model checking.

Publications per year

2007–2011

Publications

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

Régis Gascon, Frédéric Mallet, Julien Deantoni · 2011 · 34 citations · Full text

Engineering, Computer Engineering, Computer Science +17

The Effects of Bounding Syntactic Resources on Presburger LTL

Stéphane Demri, Régis Gascon · Journal of Logic and Computation · 2009 · 25 citations · Full text

Computing, Computer Science, Mathematics +16

Temporal Logics of Repeating Values

Stéphane Demri, Deepak Cyril D’Souza, Régis Gascon · Journal of Logic and Computation · 2011 · 15 citations · Full text

Computing, Computer Science, Computer Systems +17

Verification of qualitative<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="double-struck">Z</mml:mi></mml:math>constraints

Stéphane Demri, Régis Gascon · Theoretical Computer Science · 2008 · 14 citations · Full text

Computing, Computer Science, Mathematical Physics +3

The Effects of Bounding Syntactic Resources on Presburger LTL

Stéphane Demri, Régis Gascon · 2007 · 14 citations · Full text

Computing, Computer Science, Mathematics +16

1–5 of 6