Stéphane Demri

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 42

Top Venues

CoRR

ACM Trans. Comput. Log.

LICS

J. Log. Comput.

Publications

Stéphane Demri, Raul Fervari
Model-Checking for Ability-Based Logics with Constrained Plans. AAAI (2023)
Stéphane Demri, Karin Quaas
First Steps Towards Taming Description Logics with Strings. JELIA (2023)
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics. ACM Trans. Comput. Log. 24 (2) (2023)
Stéphane Demri, Karin Quaas
Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures. CoRR (2023)
Stéphane Demri, Karin Quaas
Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures. CONCUR (2023)
Stéphane Demri, Raine Rönnholm
How to Manage a Budget with ATL+. KR (2023)
Bartosz Bednarczyk, Stéphane Demri
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? Log. Methods Comput. Sci. 18 (3) (2022)
Stéphane Demri, Raul Fervari, Alessio Mansutti
Internal proof calculi for modal logics with separating conjunction. J. Log. Comput. 31 (3) (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
A Complete Axiomatisation for Quantifier-Free Separation Logic. Log. Methods Comput. Sci. 17 (3) (2021)
Stéphane Demri, Karin Quaas
Concrete domains in logics: a survey. ACM SIGLOG News 8 (3) (2021)
Francesco Belardinelli, Stéphane Demri
Strategic reasoning with a bounded number of resources: The quest for tractability. Artif. Intell. 300 (2021)
Bartosz Bednarczyk, Stéphane Demri
Why Propositional Quantification Makes Modal and Temporal Logics on Trees Robustly Hard? CoRR (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic. ACM Trans. Comput. Log. 22 (2) (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
A Complete Axiomatisation for Quantifier-Free Separation Logic. CoRR (2020)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
Internal Calculi for Separation Logics. CSL (2020)
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material). CoRR (2020)
Natasha Alechina, Stéphane Demri, Brian Logan
Parameterised Resource-Bounded ATL. AAAI (2020)
Francesco Belardinelli, Stéphane Demri
Reasoning with a Bounded Number of Resources in ATL+. ECAI (2020)
Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti
A Framework for Reasoning about Dynamic Axioms in Description Logics. IJCAI (2020)
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
Modal Logics with Composition on Finite Forests: Expressivity and Complexity. LICS (2020)
Stéphane Demri, Raul Fervari
The power of modal separation logics. J. Log. Comput. 29 (8) (2019)
Bartosz Bednarczyk, Stéphane Demri
Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard? LICS (2019)
Francesco Belardinelli, Stéphane Demri
Resource-bounded ATL: the Quest for Tractable Fragments. AAMAS (2019)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
Internal Calculi for Separation Logics. CoRR (2019)
Stéphane Demri, Raul Fervari, Alessio Mansutti
Axiomatising Logics with Separating Conjunction and Modalities. JELIA (2019)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Propositional Separation Logic. CoRR (2018)
Stéphane Demri, Raul Fervari
On the Complexity of Modal Separation Logics. Advances in Modal Logic (2018)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Equivalence between model-checking flat counter systems and Presburger arithmetic. Theor. Comput. Sci. 735 (2018)
Stéphane Demri
On Temporal and Separation Logics (Invited Paper). TIME (2018)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Propositional Separation Logic. FoSSaCS (2018)
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
On the complexity of resource-bounded logics. Theor. Comput. Sci. 750 (2018)
Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Preface - Special Issue of Selected Extended Papers of IJCAR 2014. J. Autom. Reason. 58 (1) (2017)
Stéphane Demri, Étienne Lozes, Denis Lugiez
On Symbolic Heaps Modulo Permission Theories. FSTTCS (2017)
Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry
Separation Logic with One Quantified Variable. Theory Comput. Syst. 61 (2) (2017)
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
On the Complexity of Resource-Bounded Logics. RP (2016)
Parosh Aziz Abdulla, Stéphane Demri, Alain Finkel, Jérôme Leroux, Igor Potapov
Preface. Fundam. Informaticae 143 (3-4) (2016)
Stéphane Demri, Diego Figueira, M. Praveen
Reasoning about Data Repetitions with Counter Systems. Log. Methods Comput. Sci. 12 (3) (2016)
Stéphane Demri, Morgan Deters
Temporal logics on strings with prefix relation. J. Log. Comput. 26 (3) (2016)
Stéphane Demri, Morgan Deters
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction. ACM Trans. Comput. Log. 17 (2) (2016)
Stéphane Demri, Morgan Deters
Separation logics and modalities: a survey. J. Appl. Non Class. Logics 25 (1) (2015)
Stéphane Demri, Morgan Deters
Two-Variable Separation Logic and Its Inner Circle. ACM Trans. Comput. Log. 16 (2) (2015)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Taming past LTL and flat counter systems. Inf. Comput. 242 (2015)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic. RP (2014)
Stéphane Demri, Morgan Deters
The Effects of Modalities in Separation Logics (Extended Abstract). Advances in Modal Logic (2014)
Stéphane Demri, Morgan Deters
Expressive completeness of separation logic with two variables and no separating conjunction. CSL-LICS (2014)
Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry
Separation Logic with One Quantified Variable. CSR (2014)
Kshitij Bansal, Stéphane Demri
Model-Checking Bounded Multi-Pushdown Systems. CSR (2013)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
On the Complexity of Verifying Regular Properties on Flat Counter Systems CoRR (2013)
Clark W. Barrett, Stéphane Demri, Morgan Deters
Witness Runs for Counter Machines. FroCos (2013)
Clark W. Barrett, Stéphane Demri, Morgan Deters
Witness Runs for Counter Machines - (Abstract). TABLEAUX (2013)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
On the Complexity of Verifying Regular Properties on Flat Counter Systems, . ICALP (2) (2013)
Stéphane Demri, Marcin Jurdzinski, Oded Lachish, Ranko Lazic
The covering and boundedness problems for branching vector addition systems. J. Comput. Syst. Sci. 79 (1) (2013)
Stéphane Demri, Diego Figueira, M. Praveen
Reasoning about Data Repetitions with Counter Systems. LICS (2013)
Stéphane Demri
On selective unboundedness of VASS. J. Comput. Syst. Sci. 79 (5) (2013)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Taming Past LTL and Flat Counter Systems. IJCAR (2012)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Taming Past LTL and Flat Counter Systems CoRR (2012)
Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan
Petri Net Reachability Graphs: Decidability Status of First Order Properties Log. Methods Comput. Sci. 8 (4) (2012)
Kshitij Bansal, Stéphane Demri
A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems CoRR (2012)
Stéphane Demri, Deepak D'Souza, Régis Gascon
Temporal Logics of Repeating Values. J. Log. Comput. 22 (5) (2012)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
On the almighty wand. Inf. Comput. 211 (2012)
Facundo Carreiro, Stéphane Demri
Beyond Regularity for Presburger Modal Logic. Advances in Modal Logic (2012)
Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan
Petri Net Reachability Graphs: Decidability Status of FO Properties. FSTTCS (2011)
Marcello M. Bersani, Stéphane Demri
The Complexity of Reversal-Bounded Model-Checking. FroCoS (2011)
Pedro Cabalar, Stéphane Demri
Automata-Based Computation of Temporal Equilibrium Models. LOPSTR (2011)
Stéphane Demri, Ranko Lazic, Arnaud Sangnier
Model checking memoryful linear-time logics over one-counter automata. Theor. Comput. Sci. 411 (22-24) (2010)
Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
Model-checking CTL* over flat Presburger counter systems. J. Appl. Non Class. Logics 20 (4) (2010)
Stéphane Demri, Arnaud Sangnier
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable. FoSSaCS (2010)
Stéphane Demri
On Selective Unboundedness of VASS INFINITY (2010)
Stéphane Demri, Denis Lugiez
Complexity of modal logics with Presburger constraints. J. Appl. Log. 8 (3) (2010)
Stéphane Demri
Counter Systems for Data Logics. JELIA (2010)
Stéphane Demri, Alexander Rabinovich
The complexity of linear-time temporal logic over the class of ordinals Log. Methods Comput. Sci. 6 (4) (2010)
Stéphane Demri, Régis Gascon
The Effects of Bounding Syntactic Resources on Presburger LTL. J. Log. Comput. 19 (6) (2009)
Carlos Areces, Stéphane Demri
Preface. Electron. Notes Theor. Comput. Sci. 231 (2009)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
Reasoning about sequences of memory states. Ann. Pure Appl. Log. 161 (3) (2009)
Stéphane Demri, Ranko Lazic
LTL with the freeze quantifier and register automata. ACM Trans. Comput. Log. 10 (3) (2009)
Stéphane Demri, Marcin Jurdzinski, Oded Lachish, Ranko Lazic
The Covering and Boundedness Problems for Branching Vector Addition Systems. FSTTCS (2009)
Stéphane Demri, Ranko Lazic, Arnaud Sangnier
Model checking memoryful linear-time logics over one-counter automata CoRR (2008)
Stéphane Demri, Régis Gascon
Verification of qualitative Z constraints. Theor. Comput. Sci. 409 (1) (2008)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
On the Almighty Wand. CSL (2008)
Stéphane Demri, Ranko Lazic, Arnaud Sangnier
Model Checking Freeze LTL over One-Counter Automata. FoSSaCS (2008)
Stéphane Demri, Régis Gascon
The Effects of Bounding Syntactic Resources on Presburger LTL. TIME (2007)
Stéphane Demri, Deepak D'Souza
An automata-theoretic approach to constraint LTL. Inf. Comput. 205 (3) (2007)
Stéphane Demri, Deepak D'Souza, Régis Gascon
A Decidable Temporal Logic of Repeating Values. LFCS (2007)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
Reasoning About Sequences of Memory States. LFCS (2007)
Stéphane Demri, Alexander Rabinovich
The Complexity of Temporal Logic with Until and Since over Ordinals. LPAR (2007)
Stéphane Demri, Ewa Orlowska
Relative Nondeterministic Information Logic is EXPTIME-complete. Fundam. Informaticae 75 (1-4) (2007)
Stéphane Demri, Ranko Lazic, David Nowak
On the freeze quantifier in Constraint LTL: Decidability and complexity. Inf. Comput. 205 (1) (2007)
Stéphane Demri, David Nowak
Reasoning about Transfinite Sequences. Int. J. Found. Comput. Sci. 18 (1) (2007)
Stéphane Demri, François Laroussinie, Philippe Schnoebelen
A parametric analysis of the state-explosion problem in model checking. J. Comput. Syst. Sci. 72 (4) (2006)
Stéphane Demri
Linear-time temporal logics with Presburger constraints: an overview. J. Appl. Non Class. Logics 16 (3-4) (2006)
Stéphane Demri
LTL over integer periodicity constraints. Theor. Comput. Sci. 360 (1-3) (2006)
Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
Towards a Model-Checker for Counter Systems. ATVA (2006)
Stéphane Demri, Ranko Lazic
LTL with the Freeze Quantifier and Register Automata CoRR (2006)
Stéphane Demri, Ranko Lazic
LTL with the Freeze Quantifier and Register Automata. LICS (2006)
Stéphane Demri, Denis Lugiez
Presburger Modal Logic Is PSPACE-Complete. IJCAR (2006)
Stéphane Demri, Ranko Lazic, David Nowak
On the freeze quantifier in Constraint LTL: decidability and complexity CoRR (2006)
Stéphane Demri, Hans de Nivelle
Deciding Regular Grammar Logics with Converse Through First-Order Logic. J. Log. Lang. Inf. 14 (3) (2005)
Stéphane Demri, Ranko Lazic, David Nowak
On the Freeze Quantifier in Constraint LTL: Decidability and Complexity. TIME (2005)
Stéphane Demri, Régis Gascon
Verification of Qualitative Constraints. CONCUR (2005)
Stéphane Demri, David Nowak
Reasoning About Transfinite Sequences. ATVA (2005)

Stéphane Demri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stéphane Demri