A process semantics for BPMN PYH Wong, J Gibbons Formal Methods and Software Engineering, 355-374, 2008 | 230 | 2008 |
Formalisations and applications of BPMN PYH Wong, J Gibbons Science of Computer Programming 76 (8), 633-650, 2011 | 98 | 2011 |
A process-algebraic approach to workflow specification and refinement PYH Wong, J Gibbons Software Composition, 51-65, 2007 | 90 | 2007 |
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 | 75 | 2013 |
A relative timed semantics for BPMN PYH Wong, J Gibbons Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009 | 72 | 2009 |
Property specifications for workflow modelling PYH Wong, J Gibbons Science of Computer Programming 76 (10), 942-967, 2011 | 64 | 2011 |
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 | 56 | 2012 |
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 | 53 | 2011 |
Verifying business process compatibility (short paper) PYH Wong, J Gibbons Quality Software, 2008. QSIC'08. The Eighth International Conference on, 126-131, 2008 | 44 | 2008 |
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 | 33 | 2013 |
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 | 33 | 2013 |
Property specifications for workflow modelling PYH Wong, J Gibbons Integrated Formal Methods, 56-71, 2009 | 32 | 2009 |
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 | 30 | 2012 |
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 | 22 | 2013 |
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 | 20 | 2014 |
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 | 18 | 2010 |
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 | 17 | 2012 |
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 | 17 | 2011 |
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 | 8 | 2014 |