Seguir
Peter Y. H. Wong
Peter Y. H. Wong
Prenetics
Dirección de correo verificada de wolfson.oxon.org - Página principal
Título
Citado por
Citado por
Año
A process semantics for BPMN
PYH Wong, J Gibbons
Formal Methods and Software Engineering, 355-374, 2008
2312008
Formalisations and applications of BPMN
PYH Wong, J Gibbons
Science of Computer Programming 76 (8), 633-650, 2011
1002011
A process-algebraic approach to workflow specification and refinement
PYH Wong, J Gibbons
Software Composition, 51-65, 2007
902007
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
E Albert, FS de Boer, R Hähnle, EB Johnsen, R Schlatte, SLT Tarifa, ...
Service Oriented Computing and Applications, 1-17, 2013
752013
A relative timed semantics for BPMN
PYH Wong, J Gibbons
Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009
732009
Property specifications for workflow modelling
PYH Wong, J Gibbons
Science of Computer Programming 76 (10), 942-967, 2011
632011
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
PYH Wong, E Albert, R Muschevici, J Proença, J Schäfer, R Schlatte
International Journal on Software Tools for Technology Transfer 14 (5), 567-588, 2012
562012
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
D Clarke, N Diakov, R Hähnle, EB Johnsen, I Schaefer, J Schäfer, ...
International School on Formal Methods for the Design of Computer …, 2011
532011
Verifying business process compatibility (short paper)
PYH Wong, J Gibbons
Quality Software, 2008. QSIC'08. The Eighth International Conference on, 126-131, 2008
442008
Case studies in learning-based testing
L Feng, S Lundmark, K Meinke, F Niu, MA Sindhu, PYH Wong
IFIP International Conference on Testing Software and Systems, 164-179, 2013
332013
Property specifications for workflow modelling
PYH Wong, J Gibbons
Integrated Formal Methods, 56-71, 2009
322009
Deadlock analysis of concurrent objects: Theory and practice
E Giachino, CA Grazia, C Laneve, M Lienhardt, PYH Wong
International Conference on Integrated Formal Methods, 394-411, 2013
302013
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
FS de Boer, R Hähnle, EB Johnsen, R Schlatte, PYH Wong
Service-Oriented and Cloud Computing, 91-106, 2012
302012
aPET: a test case generation tool for concurrent objects
E Albert, P Arenas, M Gómez-Zamalloa, PYH Wong
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
222013
Testing abstract behavioral specifications
PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S de Gouw, ...
International Journal on Software Tools for Technology Transfer, 1-13, 2014
192014
HATS abstract behavioral specification: the architectural view
R Hähnle, M Helvensteijn, EB Johnsen, M Lienhardt, D Sangiorgi, ...
International Symposium on Formal Methods for Components and Objects, 109-132, 2011
182011
HATS-a formal software product line engineering methodology
D Clarke, N Diakov, R Hähnle, EB Johnsen, G Puebla, B Weitzel, ...
Proceedings of the First Intl. Workshop on Formal Methods in Software …, 2010
182010
Delta modeling in practice: a Fredhopper case study
M Helvensteijn, R Muschevici, PYH Wong
Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012
172012
Modelling Distributed Adaptable Object Oriented Systems using HATS Approach: A Fredhopper Case Study
PYH Wong, N Diakov, I Schaefer
2nd International Conference on Formal Verification of Object-Oriented …, 2011
12*2011
Run-time assertion checking of data-and protocol-oriented properties of Java programs: an industrial case study
FS Boer, S Gouw, EB Johnsen, A Kohn, PYH Wong
Transactions on Aspect-Oriented Software Development XI, 1-26, 2014
82014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20