sylvain-halle documents channel
Avatar
All Documents
A Few Things We Heard About RV Tools (Position Paper)

A Few Things We Heard About RV Tools (Position Paper)

Category: Technology
Released: January 22, 2018
Event Stream Processing with Multiple Threads

Event Stream Processing with Multiple Threads

Category: Technology
Released: January 22, 2018
LabPal: Repeatable Computer Experiments Made Easy (ACM Workshop Talk)

LabPal: Repeatable Computer Experiments Made Easy (ACM Workshop Talk)

Category: Technology
Released: January 22, 2018
A "Do-It-Yourself" Specification Language with BeepBeep 3 (Talk @ Dagstuhl 2017)

A "Do-It-Yourself" Specification Language with BeepBeep 3 (Talk @ Dagstuhl 2017)

Category: Technology
Released: January 22, 2018
Runtime Monitoring of Stream Logic Formulae (Talk @ FPS 2015)

Runtime Monitoring of Stream Logic Formulae (Talk @ FPS 2015)

Category: Technology
Released: April 12, 2017
Activity Recognition Through Complex Event Processing: First Findings

Activity Recognition Through Complex Event Processing: First Findings

Category: Technology
Released: April 12, 2017
Graph Methods for Generating Test Cases with Universal and Existential Constraints (Talk @ ICTSS 2015)

Graph Methods for Generating Test Cases with Universal and Existential Constraints (Talk @ ICTSS...

Category: Technology
Released: January 26, 2017
When RV Meets CEP (RV 2016 Tutorial)

When RV Meets CEP (RV 2016 Tutorial)

Category: Technology
Released: January 26, 2017
Chasing Bugs with the BeepBeep Event Stream Processor

Chasing Bugs with the BeepBeep Event Stream Processor

Category: Technology
Released: January 26, 2017
BeepBeep 3: A declarative event stream query engine (EDOC 2015)

BeepBeep 3: A declarative event stream query engine (EDOC 2015)

Category: Technology
Released: January 22, 2018
Decentralized Enforcement of Artifact Lifecycles

Decentralized Enforcement of Artifact Lifecycles

Category: Technology
Released: January 26, 2017
Runtime monitoring de propriétés temporelles par (streaming) XML

Runtime monitoring de propriétés temporelles par (streaming) XML

Category: Technology
Released: January 26, 2017