Peter Y. H. Wong

28 papers A 2B 4C 3Misc 1Journal 7Unranked 11

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong
2015	J	`jnl`	Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 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
2014	J	`jnl`	Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
2014	J	`jnl`	Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
2013	C	`conf`	Case Studies in Learning-Based Testing. ICTSS Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong
2013	A	`conf`	Compositional Development of BPMN. SC Peter Y. H. Wong
2013	B	`conf`	Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
2013	B	`conf`	Run-Time Verification of Coboxes. SEFM Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong
2013	Misc	`conf`	Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong
2013	—	`conf`	aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong
2012	—	`conf`	Delta modeling in practice: a Fredhopper case study. VaMoS Michiel Helvensteijn, Radu Muschevici, Peter Y. H. Wong
2012	—	`conf`	Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
2012	—	`conf`	Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong
2012	J	`jnl`	The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
2011	B	`conf`	Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). SPLC David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong
2011	J	`jnl`	Formalisations and applications of BPMN. Sci. Comput. Program. Peter Y. H. Wong, Jeremy Gibbons
2011	—	`conf`	HATS Abstract Behavioral Specification: The Architectural View. FMCO Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
2011	—	`conf`	Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
2011	—	`conf`	Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. FoVeOOS Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer
2011	J	`jnl`	Property specifications for workflow modelling. Sci. Comput. Program. Peter Y. H. Wong, Jeremy Gibbons
2010	—	`conf`	HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong
2009	B	`conf`	Property Specifications for Workflow Modelling. IFM Peter Y. H. Wong, Jeremy Gibbons
2008	C	`conf`	A Process Semantics for BPMN. ICFEM Peter Y. H. Wong, Jeremy Gibbons
2008	—	`conf`	A Relative Timed Semantics for BPMN. FOCLASA@ICALP Peter Y. H. Wong, Jeremy Gibbons
2008	—	`conf`	On Specifying and Visualising Long-Running Empirical Studies. ICMT@TOOLS Peter Y. H. Wong, Jeremy Gibbons
2008	—	`conf`	Verifying Business Process Compatibility (Short Paper). QSIC Peter Y. H. Wong, Jeremy Gibbons
2007	A	`conf`	A Process-Algebraic Approach to Workflow Specification and Refinement. SC Peter Y. H. Wong, Jeremy Gibbons
2004	C	`conf`	CRL: A Context-Aware Request Language for Mobile Computing. ISPA Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang