3 citations · 5 across the 5 of their papers we have counts for
3 papers · 1 filter
Parameterized Synthesis with Safety Properties
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin +2
Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g.,…
CSS Minification via Constraint Solving (Technical Report)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
Minification is a widely-accepted technique which aims at reducing the size of the code transmitted over the web. We study the problem of minifying Cascading Style Sheets (CSS) ---…
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin +1
We revisit the classic problem of proving safety over parameterised concurrent systems, i.e., an infinite family of finite-state concurrent systems that are represented by some fin…