×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of sylvain-halle
A formalization of complex event stream processing
120 views
Portable runtime verification with smartphones and optical codes
182 views
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep (Talk @ CAV 2009)
382 views
Realizability Analysis for Message-based Interactions Using Shared-State Projections (Talk @ FSE 2010)
362 views
Cooperative Runtime Monitoring of LTL Interface Contracts (EDOC 2010)
473 views
Model-Based Simulation of SOAP Web Services From Temporal Logic Specifications (Talk @ ICECCS 2011)
1.339 views
Generating Interface Grammars from WSDL for Automated Verification of Web Services (Talk @ ICSOC 2009)
402 views
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving (WS-FM 2010)
537 views
MapReduce for Parallel Trace Validation of LTL Properties
711 views
Runtime Verification for the Web (RV 2010 Tutorial)
739 views
Runtime Monitoring of a Quantified Temporal Logic (Talk @ UniSA)
562 views
A Case for "Piggyback" Runtime Monitoring
589 views
Graph Methods for Generating Test Cases with Universal and Existential Constraints (Talk @ ICTSS 2015)
323 views
When RV Meets CEP (RV 2016 Tutorial)
252 views
Chasing Bugs with the BeepBeep Event Stream Processor
88 views
Decentralized Enforcement of Artifact Lifecycles
184 views
Runtime Monitoring of Stream Logic Formulae (Talk @ FPS 2015)
190 views
Activity Recognition Through Complex Event Processing: First Findings
214 views
LabPal: Repeatable Computer Experiments Made Easy (ACM Workshop Talk)
41 views
Event Stream Processing with Multiple Threads
65 views
Next >