Travelled to:1 × Brazil
1 × Finland
1 × France
1 × Italy
1 × Taiwan
1 × USA
Collaborated with:H.Wang Y.Cheng H.Chen ∅ H.Tsai C.Wang C.Hsueh M.Young C.Huang C.Pan
Talks about:composit (3) analysi (3) refactor (2) scalabl (2) design (2) model (2) programm (1) overhead (1) softwar (1) monitor (1)
Person: Yung-Pin Cheng
DBLP: Cheng:Yung=Pin
Contributed to:
2010
2008
20062006
2003
2002Wrote 6 papers:
- SOFTVIS-2010-ChengTWH #animation #automation #debugging #named
- xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.
- SAC-2008-ChengC #monitoring #named #programmable #thread
- SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.
- 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.
- ESEC-FSE-2003-ChengYHP #analysis #composition #design #modelling #refactoring #scalability #towards
- Towards scalable compositional analysis by refactoring design models (YPC, MY, CLH, CYP), pp. 247–256.
- ISSTA-2002-Cheng #design #induction #modelling #refactoring #verification
- Refactoring design models for inductive verification (YPC), pp. 164–168.