Travelled to:1 × Finland
1 × Germany
1 × Italy
1 × Portugal
1 × Russia
1 × Spain
1 × Switzerland
1 × Turkey
Collaborated with:J.Gibbons S.d.Gouw F.S.d.Boer E.B.Johnsen E.Albert P.Arenas M.Gómez-Zamalloa E.Giachino C.A.Grazia C.Laneve M.Lienhardt L.Feng S.Lundmark K.Meinke F.Niu M.A.Sindhu D.Clarke N.Diakov R.Hähnle I.Schaefer J.Schäfer R.Schlatte
Talks about:model (4) properti (3) studi (3) case (3) run (3) workflow (2) concurr (2) specif (2) object (2) time (2)
Person: Peter Y. H. Wong
DBLP: Wong:Peter_Y=_H=
Contributed to:
2013
2013
2013
2013
2013
201120092011
2008Wrote 9 papers:
- ESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing
- aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
- ICTSS-2013-FengLMNSW #case study #testing
- Case Studies in Learning-Based Testing (LF, SL, KM, FN, MAS, PYHW), pp. 164–179.
- IFM-2013-GiachinoGLLW #analysis #concurrent #theory and practice
- Deadlock Analysis of Concurrent Objects: Theory and Practice (EG, CAG, CL, ML, PYHW), pp. 394–411.
- SAC-2013-GouwBJW #case study #industrial #java #runtime #source code
- Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study (SdG, FSdB, EBJ, PYHW), pp. 1573–1578.
- SEFM-2013-BoerGW #runtime #verification
- Run-Time Verification of Coboxes (FSdB, SdG, PYHW), pp. 259–273.
- SFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability
- Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.
- IFM-2009-WongG #modelling #specification #workflow
- Property Specifications for Workflow Modelling (PYHW, JG), pp. 56–71.
- IFM-J-2009-WongG11a #modelling #specification #workflow
- Property specifications for workflow modelling (PYHW, JG), pp. 942–967.
- ICMT-2008-WongG #empirical #on the #specification #visualisation
- On Specifying and Visualising Long-Running Empirical Studies (PYHW, JG), pp. 76–90.