Antoine Durand-Gasselin
Antoine Durand-Gasselin
Bestätigte E-Mail-Adresse bei lif.univ-mrs.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Model checking parameterized asynchronous shared-memory systems
A Durand-Gasselin, J Esparza, P Ganty, R Majumdar
International Conference on Computer Aided Verification, 67-84, 2015
162015
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
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
92012
On the use of non-deterministic automata for Presburger arithmetic
A Durand-Gasselin, P Habermehl
International Conference on Concurrency Theory, 373-387, 2010
92010
Model checking parameterized asynchronous shared-memory systems
A Durand-Gasselin, J Esparza, P Ganty, R Majumdar
Formal Methods in System Design 50 (2-3), 140-167, 2017
52017
Regular transformations of data words through origin information
A Durand-Gasselin, P Habermehl
International Conference on Foundations of Software Science and Computation …, 2016
52016
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8