Antoine Durand-Gasselin

According to our database, Antoine Durand-Gasselin authored at least 5 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Model checking parameterized asynchronous shared-memory systems.

Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar

Formal Methods Syst. Des., 2017

2016

Regular Transformations of Data Words Through Origin Information.

Antoine Durand-Gasselin, Peter Habermehl

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2013

From Monadic Second-Order Definable String Transformations to Transducers.

Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

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

Antoine Durand-Gasselin, Peter Habermehl

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, 2012

2010

On the Use of Non-deterministic Automata for Presburger Arithmetic.

Antoine Durand-Gasselin, Peter Habermehl

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010