Peter Y. H. Wong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2004–2013
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | IFM | Deadlock Analysis of Concurrent Objects: Theory and Practice. | Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong |
| 2013 | SAC | Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. | Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong |
| 2013 | SEFM | Run-Time Verification of Coboxes. | Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong |
| 2012 | SPLC | Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. | Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong |
| 2011 | SPLC | Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). | David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong |
| 2010 | SPLC | HATS - A Formal Software Product Line Engineering Methodology. | Dave Clarke, Nikolay Diakov, Reiner Hhnle, Einar Broch Johnsen, Germn Puebla, Balthasar Weitzel, Peter Y. H. Wong |
| 2009 | IFM | Property Specifications for Workflow Modelling. | Peter Y. H. Wong, Jeremy Gibbons |
| 2008 | ICFEM | A Process Semantics for BPMN. | Peter Y. H. Wong, Jeremy Gibbons |
| 2004 | ISPA | CRL: A Context-Aware Request Language for Mobile Computing. | Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang |