default search action
Peter Y. H. Wong
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [j7]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): 349-390 (2017) - 2015
- [j6]Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17(1): 107-119 (2015) - 2014
- [j5]Elvira Albert, Frank S. de Boer, Reiner Hähnle
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8(4): 323-339 (2014) - [j4]Frank S. de Boer, Stijn de Gouw
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. 11: 1-26 (2014) - 2013
- [c21]Elena Giachino
Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM 2013: 394-411 - [c20]Lei Feng
Case Studies in Learning-Based Testing. ICTSS 2013: 164-179 - [c19]Stijn de Gouw
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC 2013: 1573-1578 - [c18]Frank S. de Boer, Stijn de Gouw
Run-Time Verification of Coboxes. SEFM 2013: 259-273 - [c17]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE 2013: 595-598 - [c16]Peter Y. H. Wong:
Compositional Development of BPMN. SC@STAF 2013: 97-112 - 2012
- [j3]Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. 14(5): 567-588 (2012) - [c15]Frank S. de Boer, Reiner Hähnle
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC 2012: 91-106 - [c14]Maurice H. ter Beek
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) 2012: 286-287 - [c13]Michiel Helvensteijn, Radu Muschevici, Peter Y. H. Wong:
Delta modeling in practice: a Fredhopper case study. VaMoS 2012: 139-148 - 2011
- [j2]Peter Y. H. Wong, Jeremy Gibbons
Formalisations and applications of BPMN. Sci. Comput. Program. 76(8): 633-650 (2011) - [j1]Peter Y. H. Wong, Jeremy Gibbons
Property specifications for workflow modelling. Sci. Comput. Program. 76(10): 942-967 (2011) - [c12]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: 109-132 - [c11]Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer:
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. FoVeOOS 2011: 49-66 - [c10]Dave Clarke, Nikolay Diakov, Reiner Hähnle
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457 - [c9]David Benavides
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). SPLC 2011: 336 - 2010
- [c8]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: 121-128
2000 – 2009
- 2009
- [c7]Peter Y. H. Wong, Jeremy Gibbons:
Property Specifications for Workflow Modelling. IFM 2009: 56-71 - 2008
- [c6]Peter Y. H. Wong, Jeremy Gibbons:
A Process Semantics for BPMN. ICFEM 2008: 355-374 - [c5]Peter Y. H. Wong, Jeremy Gibbons
On Specifying and Visualising Long-Running Empirical Studies. ICMT@TOOLS 2008: 76-90 - [c4]Peter Y. H. Wong, Jeremy Gibbons
Verifying Business Process Compatibility (Short Paper). QSIC 2008: 126-131 - [c3]Peter Y. H. Wong, Jeremy Gibbons
A Relative Timed Semantics for BPMN. FOCLASA@ICALP 2008: 59-75 - 2007
- [c2]Peter Y. H. Wong, Jeremy Gibbons:
A Process-Algebraic Approach to Workflow Specification and Refinement. SC@ETAPS 2007: 51-65 - 2004
- [c1]Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang:
CRL: A Context-Aware Request Language for Mobile Computing. ISPA 2004: 529-533
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: