Search

Blog
Publications

Zhendong Ang

Latest

Predictive Monitoring with Strong Trace Prefixes
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
Predictive Monitoring against Pattern Regular Languages

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite