Antoine Durand-Gasselin

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 4

Top Topics

Heterogeneous Platforms

Artifact Centric

Automated Verification

Top Venues

Publications

Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
Model checking parameterized asynchronous shared-memory systems. Formal Methods Syst. Des. 50 (2-3) (2017)
Antoine Durand-Gasselin, Peter Habermehl
Regular Transformations of Data Words Through Origin Information. FoSSaCS (2016)
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
Model Checking Parameterized Asynchronous Shared-Memory Systems. CAV (1) (2015)
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
Model Checking Parameterized Asynchronous Shared-Memory Systems. CoRR (2015)
Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi
From Monadic Second-Order Definable String Transformations to Transducers. LICS (2013)
Antoine Durand-Gasselin, Peter Habermehl
Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree. STACS (2012)
Antoine Durand-Gasselin, Peter Habermehl
On the Use of Non-deterministic Automata for Presburger Arithmetic. CONCUR (2010)