×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of sylvain-halle
Causality in Message-Based Interface Contracts: A Temporal Logic "Whodunit"
472 views
A Runtime Monitoring Framework for Event Streams with Non-Primitive Arguments
474 views
Runtime monitoring de propriétés temporelles par (streaming) XML
77 views
La quantification du premier ordre en logique temporelle
92 views
A "Do-It-Yourself" Specification Language with BeepBeep 3 (Talk @ Dagstuhl 2017)
24 views
BeepBeep 3: A declarative event stream query engine (EDOC 2015)
370 views