Peter Y. H. Wong
Peter Y. H. Wong
Prenetics
Email verificata su wolfson.oxon.org - Home page
TitoloCitata daAnno
A process semantics for BPMN
PYH Wong, J Gibbons
Formal Methods and Software Engineering, 355-374, 2008
1972008
A process-algebraic approach to workflow specification and refinement
PYH Wong, J Gibbons
Software Composition, 51-65, 2007
742007
Formalisations and applications of BPMN
PYH Wong, J Gibbons
Science of Computer Programming 76 (8), 633-650, 2011
732011
A relative timed semantics for BPMN
PYH Wong, J Gibbons
Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009
602009
Modeling spatial and temporal variability with the HATS abstract behavioral modeling language
D Clarke, N Diakov, R Hähnle, E Johnsen, I Schaefer, J Schäfer, ...
Formal Methods for Eternal Networked Software Systems, 417-457, 2011
492011
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
442012
Property specifications for workflow modelling
PYH Wong, J Gibbons
Science of Computer Programming 76 (10), 942-967, 2011
412011
Verifying business process compatibility (short paper)
PYH Wong, J Gibbons
Quality Software, 2008. QSIC'08. The Eighth International Conference on, 126-131, 2008
402008
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
372013
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
282013
Property specifications for workflow modelling
PYH Wong, J Gibbons
Integrated Formal Methods, 56-71, 2009
232009
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
222013
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
212012
HATS Abstract Behavioral Specification: The Architectural View⋆
R Hähnle, M Helvensteijn, EB Johnsen, M Lienhardt, D Sangiorgi, ...
Proc. 10th International Symposium on Formal Methods for Components and …, 2013
182013
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
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
172013
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
152012
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
112014
Run-time assertion checking of data-and protocol-oriented properties of java programs: an industrial case study
FS De Boer, S De Gouw, EB Johnsen, A Kohn, PYH Wong
Transactions on Aspect-Oriented Software Development XI, 1-26, 2014
92014
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
8*2011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20