Talks

A list of presentations

2014

Algorithms for Model-checking Flat Counter Systems

PhD Defense (Paris)

Equivalence Between Model-checking Flat Counter Systems and Presburger Arithmetic

Fourth Cassting Meeting (Aachen)

Branching Time Logics and Flat Counter Systems

Highlights Conference (Paris)

On Verification of Properties on Flat Counter Systems

Uppsala University (Sweden)

Verification of Properties on Flat Counter Systems

Verification Seminar, Université Libre de Bruxelles (Belgium)

Verification of Properties on Flat Counter Systems

Alpine Verification Meeting (Frejus, France)

On Verification of Properties on Flat Counter Systems

AcSYS Meeting, New York University (NYC)

2013

On the Complexity of Verifying Regular Properties on Flat Counter Systems

40th International Colloquium on Automata, Languages and Programming (Latvia)

On the Complexity of Verifying Regular Properties on Flat Counter Systems

GT - Verif (Cachan)

2012

Model-checking Flat Counter Systems

Modelling and Verifying Parallel processes (Marseille)

Taming Past LTL and Flat Counter Systems

6th International Joint Conference on Automated Reasoning (Manchester)

Taming Past LTL and Flat Counter Systems

LIAFA, Université Paris Diderot (Paris)