A formalization of complex event stream processing
Portable runtime verification with smartphones and optical codes
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep (Talk @ CAV 2009)
Realizability Analysis for Message-based Interactions Using Shared-State Projections (Talk @ FSE 2010)
Cooperative Runtime Monitoring of LTL Interface Contracts (EDOC 2010)
Model-Based Simulation of SOAP Web Services From Temporal Logic Specifications (Talk @ ICECCS 2011)
Generating Interface Grammars from WSDL for Automated Verification of Web Services (Talk @ ICSOC 2009)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
MapReduce for Parallel Trace Validation of LTL Properties
Runtime Verification for the Web (RV 2010 Tutorial)
Runtime Monitoring of a Quantified Temporal Logic (Talk @ UniSA)
A Case for "Piggyback" Runtime Monitoring
Graph Methods for Generating Test Cases with Universal and Existential Constraints (Talk @ ICTSS 2015)
When RV Meets CEP (RV 2016 Tutorial)
Chasing Bugs with the BeepBeep Event Stream Processor
Decentralized Enforcement of Artifact Lifecycles
Runtime Monitoring of Stream Logic Formulae (Talk @ FPS 2015)
Activity Recognition Through Complex Event Processing: First Findings
LabPal: Repeatable Computer Experiments Made Easy (ACM Workshop Talk)
Event Stream Processing with Multiple Threads