( en | de | ru )

 

Disambiguation of "Demri, Stéphane"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Freeze LTL over One-Counter Automata.

, , and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 490-504. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stéphane Müller

Stéphane Klein

Stéphane Haussler

Stéphane Clinchant

Stéphane Aubry

 

Other publications of authors with the same name

Automata-Based Computation of Temporal Equilibrium Models., and . LOPSTR, volume 7225 of Lecture Notes in Computer Science, page 57-72. Springer, (2011)A Parametric Analysis of the State Explosion Problem in Model Checking., , and . STACS, volume 2285 of Lecture Notes in Computer Science, page 620-631. Springer, (2002)On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I., and . Stud Logica, 65 (3): 323-353 (2000)LTL over integer periodicity constraints.. Theor. Comput. Sci., 360 (1-3): 96-123 (2006)On the freeze quantifier in Constraint LTL: decidability and complexity, , and . CoRR, (2006)Efficient Strategies for Automated Reasoning in Modal Logics.. JELIA, volume 838 of Lecture Notes in Computer Science, page 182-197. Springer, (1994)Witness Runs for Counter Machines., , and . FroCos, volume 8152 of Lecture Notes in Computer Science, page 120-150. Springer, (2013)Approches directe et par traduction en logiques modales: nouvelles stratégies et traduction inverse de preuves.. Grenoble Institute of Technology, France, (1994)When Model-Checking Freeze LTL over Counter Machines Becomes Decidable., and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 176-190. Springer, (2010)An automata-theoretic approach to constraint LTL., and . Inf. Comput., 205 (3): 380-415 (2007)