Collaborated with:F.Yu J.R.Jiang S.Chen T.Tsai C.Lin
Talks about:analysi (2) string (2) constraint (1) represent (1) automata (1) approach (1) manipul (1) circuit (1) symbol (1) length (1)
Person: Hung-En Wang
DBLP: Wang:Hung=En
Contributed to:
2018
2016Wrote 2 papers:
- ASE-2018-WangCYJ #analysis #approach #constraints #model checking #string
- A symbolic model checking approach to the analysis of string and length constraints (HEW, SYC, FY, JHRJ), pp. 623–633.
- CAV-2016-WangTLYJ #analysis #automaton #logic #representation #string
- String Analysis via Automata Manipulation with Logic Circuit Representation (HEW, TLT, CHL, FY, JHRJ), pp. 241–260.