A formalization of complex event stream processing
Portable runtime verification with smartphones and optical codes
Causality in Message-Based Interface Contracts: A Temporal Logic "Whodunit"
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep (Talk @ CAV 2009)
Cooperative Runtime Monitoring of LTL Interface Contracts (EDOC 2010)
Realizability Analysis for Message-based Interactions Using Shared-State Projections (Talk @ FSE 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)
A Runtime Monitoring Framework for Event Streams with Non-Primitive Arguments
Runtime Monitoring of a Quantified Temporal Logic (Talk @ UniSA)
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
MapReduce for Parallel Trace Validation of LTL Properties
A Case for "Piggyback" Runtime Monitoring
Runtime Verification for the Web (RV 2010 Tutorial)
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 de propriétés temporelles par (streaming) XML
La quantification du premier ordre en logique temporelle