![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Peter Y. H. Wong
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
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
, Stijn de Gouw
, Reiner Hähnle
, Karl Meinke, Muddassar Azam Sindhu:
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
, 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): 323-339 (2014) - [j4]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: 1-26 (2014) - 2013
- [c21]Elena Giachino
, Carlo Augusto Grazia
, Cosimo Laneve
, Michael Lienhardt, Peter Y. H. Wong:
Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM 2013: 394-411 - [c20]Lei Feng
, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong:
Case Studies in Learning-Based Testing. ICTSS 2013: 164-179 - [c19]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: 1573-1578 - [c18]Frank S. de Boer, Stijn de Gouw
, Peter Y. H. Wong:
Run-Time Verification of Coboxes. SEFM 2013: 259-273 - [c17]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: 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
, 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): 567-588 (2012) - [c15]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: 91-106 - [c14]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: 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
, 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: 417-457 - [c9]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: 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
![](https://dblp.org/img/cog.dark.24x24.png)
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-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint