Travelled to:1 × France
1 × Taiwan
Collaborated with:Y.Cheng H.Wang
Talks about:composit (2) analysi (2) scalabl (1) bisimul (1) branch (1) minim (1) arcat (1) tool (1) suit (1) fli (1)
Person: Yu-Ru Cheng
DBLP: Cheng:Yu=Ru
Contributed to:
2006
2006Wrote 2 papers:
- CIAA-2006-ChengWC #analysis #bisimulation #branch #composition #on the fly
- On-the-Fly Branching Bisimulation Minimization for Compositional Analysis (YPC, HYW, YRC), pp. 219–229.
- SAC-2006-ChengCW #analysis #composition #named #scalability
- ARCATS: a scalable compositional analysis tool suite (YPC, YRC, HYW), pp. 1852–1853.