Peter Y. H. Wong

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Resource Management

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Log. Algebraic Methods Program.

Publications

Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong
Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. 86 (1) (2017)
Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. 11 (2014)
Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8 (4) (2014)
Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC (2013)
Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM (2013)
Peter Y. H. Wong
Compositional Development of BPMN. SC@STAF (2013)
Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong
Run-Time Verification of Coboxes. SEFM (2013)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong
aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE (2013)
Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong
Case Studies in Learning-Based Testing. ICTSS (2013)
Michiel Helvensteijn, Radu Muschevici, Peter Y. H. Wong
Delta modeling in practice: a Fredhopper case study. VaMoS (2012)
Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) (2012)
Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. 14 (5) (2012)
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC (2012)
Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. FoVeOOS (2011)
Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM (2011)
Peter Y. H. Wong, Jeremy Gibbons
Property specifications for workflow modelling. Sci. Comput. Program. 76 (10) (2011)
David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). SPLC (2011)
Peter Y. H. Wong, Jeremy Gibbons
Formalisations and applications of BPMN. Sci. Comput. Program. 76 (8) (2011)
Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
HATS Abstract Behavioral Specification: The Architectural View. FMCO (2011)
Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong
HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops (2010)
Peter Y. H. Wong, Jeremy Gibbons
A Relative Timed Semantics for BPMN. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Peter Y. H. Wong, Jeremy Gibbons
Property Specifications for Workflow Modelling. IFM (2009)
Peter Y. H. Wong, Jeremy Gibbons
A Process Semantics for BPMN. ICFEM (2008)
Peter Y. H. Wong, Jeremy Gibbons
On Specifying and Visualising Long-Running Empirical Studies. ICMT@TOOLS (2008)
Peter Y. H. Wong, Jeremy Gibbons
Verifying Business Process Compatibility (Short Paper). QSIC (2008)
Peter Y. H. Wong, Jeremy Gibbons
A Process-Algebraic Approach to Workflow Specification and Refinement. SC@ETAPS (2007)
Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang
CRL: A Context-Aware Request Language for Mobile Computing. ISPA (2004)