BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Denmark
1 × Hungary
1 × Latvia
1 × Spain
1 × United Kingdom
2 × Italy
4 × USA
Collaborated with:
A.Sangnier R.Lazic A.K.Dhar É.Lozes M.Deters P.Cabalar D.Lugiez R.Goré R.Caferra D.Figueira M.Praveen R.Brochenin A.Mansutti
Talks about:
logic (7) counter (5) ltl (5) automata (3) system (3) separ (3) model (3) freez (3) complet (2) classic (2)

Person: Stéphane Demri

DBLP DBLP: Demri:St=eacute=phane

Facilitated 1 volumes:

IJCAR 2014Ed

Contributed to:

CSL-LICS 20142014
ICALP (2) 20132013
LICS 20132013
IJCAR 20122012
LOPSTR 20112011
FOSSACS 20102010
CSL 20082008
FoSSaCS 20082008
IJCAR 20062006
LICS 20062006
FoSSaCS 20042004
CADE 19991999
CADE 19921992
CSL 20202020

Wrote 14 papers:

LICS-CSL-2014-DemriD #logic
Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.
ICALP-v2-2013-DemriDS #complexity #on the #verification
On the Complexity of Verifying Regular Properties on Flat Counter Systems, (SD, AKD, AS), pp. 162–173.
LICS-2013-DemriFP #reasoning
Reasoning about Data Repetitions with Counter Systems (SD, DF, MP), pp. 33–42.
IJCAR-2012-DemriDS #ltl
Taming Past LTL and Flat Counter Systems (SD, AKD, AS), pp. 179–193.
LOPSTR-2011-CabalarD #equilibrium #modelling
Automata-Based Computation of Temporal Equilibrium Models (PC, SD), pp. 57–72.
FoSSaCS-2010-DemriS #decidability #ltl #model checking
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable (SD, AS), pp. 176–190.
CSL-2008-BrocheninDL #on the
On the Almighty Wand (RB, SD, ÉL), pp. 323–338.
FoSSaCS-2008-DemriLS #automaton #ltl #model checking
Model Checking Freeze LTL over One-Counter Automata (SD, RL, AS), pp. 490–504.
IJCAR-2006-DemriL #logic
Presburger Modal Logic Is PSPACE-Complete (SD, DL), pp. 541–556.
LICS-2006-DemriL #automaton #ltl #quantifier
LTL with the Freeze Quantifier and Register Automata (SD, RL), pp. 17–26.
FoSSaCS-2004-Demri #constraints #integer #ltl
LTL over Integer Periodicity Constraints: (SD), pp. 121–135.
CADE-1999-DemriG #first-order #logic
Tractable Transformations from Modal Provability Logics into First-Order Logic (SD, RG), pp. 16–30.
CADE-1992-CaferraD #logic #proving #semantics
Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic (RC, SD), pp. 385–399.
CSL-2020-DemriLM #calculus #logic
Internal Calculi for Separation Logics (SD, ÉL, AM), p. 18.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.