Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:Y.Chen M.Tsai B.Wang F.Wang C.Chou Y.Ho C.(.Huang
Talks about:program (3) verifi (2) recurs (2) sourc (2) intraprocedur (1) transform (1) contribut (1) competit (1) system (1) symbol (1)
Person: Chiao Hsieh
DBLP: Hsieh:Chiao
Contributed to:
2015
2014
2012Wrote 3 papers:
- TACAS-2015-ChenHTWW #contest #named #program transformation #recursion #source code #text-to-text #verification
- CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.
- SAS-2014-ChenHTWW #recursion #source code #using #verification
- Verifying Recursive Programs Using Intraprocedural Analyzers (YFC, CH, MHT, BYW, FW), pp. 118–133.
- DAC-2012-ChouHHH #design #model checking
- Symbolic model checking on SystemC designs (CNC, YSH, CH, CY(H), pp. 327–333.