Publication

A list of publications

Journal Articles

Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic

Stéphane Demri, Amit K Dhar, and Arnaud Sangnier Theoretical Computer Science, 2017 doi:10.1016/j.tcs.2017.07.007

Taming Past LTL with Flat Counter Systems

Stéphane Demri, Amit K Dhar, and Arnaud Sangnier Information & Computation, 2015 doi:10.1016/j.ic.2015.03.007

Conference Articles

Equivalence Between Model-checking Flat Counter Systems and Presburger Arithmetic

Stéphane Demri, Amit K Dhar, and Arnaud Sangnier 8th International Workshop on Reachability Problems (RP), 2014

On The Complexity of Verifying Regular Properties on Flat Counter Systems

Stéphane Demri, Amit K Dhar, and Arnaud Sangnier 40th International Colloquium on Automata, Languages and Programming (ICALP), 2013

Taming Past LTL and Flat Counter Systems

Stéphane Demri, Amit K Dhar, and Arnaud Sangnier 6th International Joint Conference on Automated Reasoning (IJCAR), 2012

Dissertations

Algorithms for Model-checking Flat Counter Systems

Amit K Dhar, Thèse de doctorat, LIAFA, Université Paris Diderot - Paris 7, France, 2014

Counter Systems with Presburger-definable Reachability Sets : Decidability and Complexity

Amit K Dhar, Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, 2012