Peter Y. H. Wong

According to our database, Peter Y. H. Wong authored at least 27 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Dynamic Rebinding for Concurrent Object Groups: Theory and practice.

Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong

J. Log. Algebraic Methods Program., 2017

2015

Testing abstract behavioral specifications.

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

Int. J. Softw. Tools Technol. Transf., 2015

2014

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.

Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong

LNCS Trans. Aspect Oriented Softw. Dev., 2014

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong

Serv. Oriented Comput. Appl., 2014

2013

Compositional Development of BPMN.

Peter Y. H. Wong

Proceedings of the Software Composition - 12th International Conference, 2013

aPET: a test case generation tool for concurrent objects.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Run-Time Verification of Coboxes.

Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

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

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Case Studies in Learning-Based Testing.

Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong

Proceedings of the Testing Software and Systems, 2013

Deadlock Analysis of Concurrent Objects: Theory and Practice.

Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.

Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte

Int. J. Softw. Tools Technol. Transf., 2012

Delta modeling in practice: a Fredhopper case study.

Michiel Helvensteijn, Radu Muschevici, Peter Y. H. Wong

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

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

Proceedings of the 16th International Software Product Line Conference, 2012

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.

Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011

Property specifications for workflow modelling.

Peter Y. H. Wong, Jeremy Gibbons

Sci. Comput. Program., 2011

Formalisations and applications of BPMN.

Peter Y. H. Wong, Jeremy Gibbons

Sci. Comput. Program., 2011

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

Proceedings of the Software Product Lines - 15th International Conference, 2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study.

Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer

Proceedings of the Formal Verification of Object-Oriented Software, 2011

HATS Abstract Behavioral Specification: The Architectural View.

Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010

HATS - A Formal Software Product Line Engineering Methodology.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong

Proceedings of the Software Product Lines - 14th International Conference, 2010

2008

A Relative Timed Semantics for BPMN.

Peter Y. H. Wong, Jeremy Gibbons

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Verifying Business Process Compatibility (Short Paper).

Peter Y. H. Wong, Jeremy Gibbons

Proceedings of the Eighth International Conference on Quality Software, 2008

On Specifying and Visualising Long-Running Empirical Studies.

Peter Y. H. Wong, Jeremy Gibbons

Proceedings of the Theory and Practice of Model Transformations, 2008

A Process Semantics for BPMN.

Peter Y. H. Wong, Jeremy Gibbons

Proceedings of the Formal Methods and Software Engineering, 2008

2007

A Process-Algebraic Approach to Workflow Specification and Refinement.

Peter Y. H. Wong, Jeremy Gibbons

Proceedings of the Software Composition - 6th International Symposium, 2007

2004

CRL: A Context-Aware Request Language for Mobile Computing.

Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang

Proceedings of the Parallel and Distributed Processing and Applications, 2004