Follow
Antoine Durand-Gasselin
Antoine Durand-Gasselin
Verified email at lif.univ-mrs.fr - Homepage
Title
Cited by
Cited by
Year
Model checking parameterized asynchronous shared-memory systems
A Durand-Gasselin, J Esparza, P Ganty, R Majumdar
Computer Aided Verification: 27th International Conference, CAV 2015, Saná…, 2015
202015
From monadic second-order definable string transformations to transducers
R Alur, A Durand-Gasselin, A Trivedi
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 458-467, 2013
132013
On the use of non-deterministic automata for Presburger arithmetic
A Durand-Gasselin, P Habermehl
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010á…, 2010
122010
Ehrenfeucht-Fra´ssÚ goes elementarily automatic for structures of bounded degree
A Durand-Gasselin, P Habermehl
STACS'12 (29th Symposium on Theoretical Aspects of Computer Science) 14, 242-253, 2012
102012
Model checking parameterized asynchronous shared-memory systems
A Durand-Gasselin, J Esparza, P Ganty, R Majumdar
Formal Methods in System Design 50, 140-167, 2017
92017
Regular transformations of data words through origin information
A Durand-Gasselin, P Habermehl
Foundations of Software Science and Computation Structures: 19thá…, 2016
82016
Automata Based Logics for Program Verification
A Durand-Gasselin
UniversitÚ libre de Bruxelles, 2013
2013
Is the generic algorithm for first-order model-checking automatic structures optimal?
ADGP Habermehl
2013
The system can't perform the operation now. Try again later.
Articles 1–8