Peter Y. H. Wong

Latest

• Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
• Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
• Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study
• Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
• Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language