Travelled to:2 × USA
Collaborated with:R.Alur A.Trivedi J.Esparza P.Ganty R.Majumdar
Talks about:transform (1) parameter (1) asynchron (1) transduc (1) system (1) string (1) second (1) memori (1) share (1) order (1)
Person: Antoine Durand-Gasselin
DBLP: Durand-Gasselin:Antoine
Contributed to:
2015
2013Wrote 2 papers:
- CAV-2015-Durand-Gasselin #model checking
- Model Checking Parameterized Asynchronous Shared-Memory Systems (ADG, JE, PG, RM), pp. 67–84.
- LICS-2013-AlurDT #higher-order #monad #string #transducer
- From Monadic Second-Order Definable String Transformations to Transducers (RA, ADG, AT), pp. 458–467.