×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
sylvain-halle documents
Technology
A formalization of complex event stream processing
Technology
Portable runtime verification with smartphones and optical codes
Documents
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep (Talk @ CAV 2009)
Technology
Realizability Analysis for Message-based Interactions Using Shared-State Projections (Talk @ FSE 2010)
Technology
Cooperative Runtime Monitoring of LTL Interface Contracts (EDOC 2010)
Technology
Model-Based Simulation of SOAP Web Services From Temporal Logic Specifications (Talk @ ICECCS 2011)
Documents
Generating Interface Grammars from WSDL for Automated Verification of Web Services (Talk @ ICSOC 2009)
Documents
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
Technology
MapReduce for Parallel Trace Validation of LTL Properties
Technology
Runtime Verification for the Web (RV 2010 Tutorial)
Documents
Runtime Monitoring of a Quantified Temporal Logic (Talk @ UniSA)
Documents
A Case for "Piggyback" Runtime Monitoring
Technology
Graph Methods for Generating Test Cases with Universal and Existential Constraints (Talk @ ICTSS 2015)
Technology
When RV Meets CEP (RV 2016 Tutorial)
Technology
Chasing Bugs with the BeepBeep Event Stream Processor
Technology
Decentralized Enforcement of Artifact Lifecycles
Technology
Runtime Monitoring of Stream Logic Formulae (Talk @ FPS 2015)
Technology
Activity Recognition Through Complex Event Processing: First Findings
Technology
LabPal: Repeatable Computer Experiments Made Easy (ACM Workshop Talk)
Technology
Event Stream Processing with Multiple Threads
Technology
A Few Things We Heard About RV Tools (Position Paper)