The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems von Wong, Peter Y. H., Albert, Elvira, Muschevici, Radu, Proença, José, Schäfer, Jan, Schlatte, Rudolf

Volltext

Testing abstract behavioral specifications von Wong, Peter Y. H., Bubel, Richard, de Boer, Frank S., Gómez-Zamalloa, Miguel, de Gouw, Stijn, Hähnle, Reiner, Meinke, Karl, Sindhu, Muddassar Azam

Volltext

Formalisations and applications of BPMN von Wong, Peter Y.H., Gibbons, Jeremy

Volltext

Property specifications for workflow modelling von Wong, Peter Y.H., Gibbons, Jeremy

Volltext

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS von Albert, Elvira, de Boer, Frank S., Hähnle, Reiner, Johnsen, Einar Broch, Schlatte, Rudolf, Tapia Tarifa, S. Lizeth, Wong, Peter Y. H.

Volltext

Dynamic Rebinding for Concurrent Object Groups: Theory and practice von Bravetti, Mario, Giachino, Elena, Lienhardt, Michael, Wong, Peter Y.H.

Volltext

A Process Semantics for BPMN von Wong, Peter Y. H., Gibbons, Jeremy

Volltext

CRL: a context-aware request language for mobile computing von Chan, Alvin T. S., Wong, Peter Y. H., Chuang, Siu-Nam

Volltext

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language von Clarke, Dave, Diakov, Nikolay, Hähnle, Reiner, Johnsen, Einar Broch, Schaefer, Ina, Schäfer, Jan, Schlatte, Rudolf, Wong, Peter Y. H.

Volltext

Compositional Development of BPMN von Wong, Peter Y. H.

Volltext

Case Studies in Learning-Based Testing von Feng, Lei, Lundmark, Simon, Meinke, Karl, Niu, Fei, Sindhu, Muddassar A., Wong, Peter Y. H.

Volltext

A Process-Algebraic Approach to Workflow Specification and Refinement von Wong, Peter Y. H., Gibbons, Jeremy

Volltext

Property Specifications for Workflow Modelling von Wong, Peter Y. H., Gibbons, Jeremy

Volltext

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study von de Boer, Frank S., de Gouw, Stijn, Johnsen, Einar Broch, Kohn, Andreas, Wong, Peter Y. H.

Volltext

A Relative Timed Semantics for BPMN von Wong, Peter Y.H., Gibbons, Jeremy

Volltext

HATS Abstract Behavioral Specification: The Architectural View von Hähnle, Reiner, Helvensteijn, Michiel, Johnsen, Einar Broch, Lienhardt, Michael, Sangiorgi, Davide, Schaefer, Ina, Wong, Peter Y. H.

Volltext

Run-Time Verification of Coboxes von de Boer, Frank S., de Gouw, Stijn, Wong, Peter Y. H.

Volltext

Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study von Wong, Peter Y. H., Diakov, Nikolay, Schaefer, Ina

Volltext

On Specifying and Visualising Long-Running Empirical Studies von Wong, Peter Y. H., Gibbons, Jeremy

Volltext

Verifying Business Process Compatibility (Short Paper) von Wong, P.Y.H., Gibbons, J.

Volltext