BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wong:Peter_Y=_H=

Contributed to:

ESEC/FSE 20132013
ICTSS 20132013
IFM 20132013
SAC 20132013
SEFM 20132013
SFM 20112011
IFM 20092009
IFM 20092011
ICMT 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.