Collaborated with:P.Rümmer T.Chen M.Hague Z.Wu C.Hong R.Majumdar Y.Chen L.Holík Petr Janku T.Vojnar
Talks about:string (3) constraint (2) system (2) probabilist (1) parameteris (1) parameter (1) arbitrari (1) transduc (1) randomis (1) protocol (1)
Person: Anthony W. Lin
DBLP: Lin:Anthony_W=
Contributed to:
20162019
20182019Wrote 5 papers:
- CAV-2016-LinR #liveness #random
- Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (AWL, PR), pp. 112–133.
- CAV-2019-HongLMR #bisimulation #probability #protocol #verification
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) (CDH, AWL, RM, PR), pp. 455–474.
- POPL-2018-ChenCHLW #constraints #decidability #string #what
- What is decidable about string constraints with the ReplaceAll function (TC, YC, MH, AWL, ZW), p. 29.
- POPL-2018-HolikJLRV #constraints #string #transducer
- String constraints with concatenation and transducers solved efficiently (LH, PJ, AWL, PR, TV), p. 32.
- POPL-2019-ChenHLRW #source code #string
- Decision procedures for path feasibility of string-manipulating programs with complex operations (TC, MH, AWL, PR, ZW), p. 30.