49 citations · 223 across the 35 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2018★ 3 cited
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
Taolue Chen, Matthew Hague, Anthony W. Lin +2
The design and implementation of decision procedures for checking path feasibility in string-manipulating programs is an important problem, whose applications include symbolic exec…
cs.FL2018★ 1 cited
Parameter Synthesis Problems for one parametric clock Timed Automata
Liyun Dai, Taolue Chen, Zhiming Liu +3
In this paper, we study the parameter synthesis problem for a class of parametric timed automata. The problem asks to construct the set of valuations of the parameters in the param…