×
+ All Categories
Log in
English
Français
Español
Deutsch
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)
380 views
Cooperative Runtime Monitoring of LTL Interface Contracts (EDOC 2010)
474 views
Realizability Analysis for Message-based Interactions Using Shared-State Projections (Talk @ FSE 2010)
362 views
Model-Based Simulation of SOAP Web Services From Temporal Logic Specifications (Talk @ ICECCS 2011)
1.339 views
Runtime Monitoring of a Quantified Temporal Logic (Talk @ UniSA)
563 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
Chasing Bugs with the BeepBeep Event Stream Processor
84 views
A Case for "Piggyback" Runtime Monitoring
592 views
When RV Meets CEP (RV 2016 Tutorial)
248 views
Graph Methods for Generating Test Cases with Universal and Existential Constraints (Talk @ ICTSS 2015)
323 views
Decentralized Enforcement of Artifact Lifecycles
183 views
Runtime Monitoring of Stream Logic Formulae (Talk @ FPS 2015)
191 views
Activity Recognition Through Complex Event Processing: First Findings
210 views
LabPal: Repeatable Computer Experiments Made Easy (ACM Workshop Talk)
41 views
Event Stream Processing with Multiple Threads
65 views
A Few Things We Heard About RV Tools (Position Paper)
14 views