papers
Publications (11)
cs.FL2019
Monadic Decomposability of Regular Relations
Pablo Barcelo, Chih-Duo Hong, Xuan-Bach Le +2
cs.LO2017
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
Ondrej Lengal, Anthony W. Lin, Rupak Majumdar +1
cs.FL2018
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
Taolue Chen, Matthew Hague, Anthony W. Lin +2
cs.LO2017
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin +1
cs.LO2017
What Is Decidable about String Constraints with the ReplaceAll Function
Taolue Chen, Yan Chen, Matthew Hague +2
cs.LO2014
Analysis of Probabilistic Basic Parallel Processes
Rémi Bonnet, Stefan Kiefer, Anthony W. Lin
cs.LO2018
CSS Minification via Constraint Solving (Technical Report)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
cs.LO2018
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
Anthony W. Lin, Rupak Majumdar
cs.LO2015
Regular Symmetry Patterns (Technical Report)
Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer +1
cs.LO2016
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
Anthony W. Lin, Philipp Ruemmer
cs.LO2015
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version)
Anthony W. Lin, Pablo Barcelo