Antoine Durand-Gasselin

On the Use of Non-deterministic Automata for Presburger Arithmetic

Peter Habermehl, Antoine Durand-Gasselin, 2010, CONCUR.

Model checking parameterized asynchronous shared-memory systems

Rupak Majumdar, Pierre Ganty, Javier Esparza, 2015, Formal Methods Syst. Des..

Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree

Peter Habermehl, Antoine Durand-Gasselin, 2012, STACS.

From Monadic Second-Order Definable String Transformations to Transducers

Rajeev Alur, Ashutosh Trivedi, Antoine Durand-Gasselin, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

Regular Transformations of Data Words Through Origin Information

Antoine Durand-Gasselin, Peter Habermehl, 2016, FoSSaCS.

Model Checking Parameterized Asynchronous Shared-Memory Systems

Rupak Majumdar, Pierre Ganty, Javier Esparza, 2015, CAV.