Régis Gascon

13 papers B 3C 2Misc 1Journal 4Unranked 2

Year	Rank	Type	Title / Venue / Authors
2019	—	`conf`	Priority in Logical Time Partial Orders with Synchronous Relations. RIVF Régis Gascon, Julien Deantoni, Jean-François Le Tallec
2012	J	`jnl`	Temporal Logics of Repeating Values. J. Log. Comput. Stéphane Demri, Deepak D'Souza, Régis Gascon
2011	C	`conf`	Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. TIME Régis Gascon, Frédéric Mallet, Julien Deantoni
2010	J	`jnl`	Vérification de propriétés quantitatives sur des automates à contraintes. Tech. Sci. Informatiques Régis Gascon
2009	—	`conf`	An Automata-based Approach for CTL INFINITY Régis Gascon
2009	J	`jnl`	The Effects of Bounding Syntactic Resources on Presburger LTL. J. Log. Comput. Stéphane Demri, Régis Gascon
2008	J	`jnl`	Verification of qualitative Z constraints. Theor. Comput. Sci. Stéphane Demri, Régis Gascon
2007	Misc	`conf`	A Decidable Temporal Logic of Repeating Values. LFCS Stéphane Demri, Deepak D'Souza, Régis Gascon
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	C	`conf`	The Effects of Bounding Syntactic Resources on Presburger LTL. TIME Stéphane Demri, Régis Gascon
2006	B	`conf`	Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. LPAR Laura Bozzelli, Régis Gascon
2005	B	`conf`	Resource Bound Certification for a Tail-Recursive Virtual Machine. APLAS Silvano Dal-Zilio, Régis Gascon
2005	B	`conf`	Verification of Qualitative Constraints. CONCUR Stéphane Demri, Régis Gascon