Login / Signup
Alexis Bédard
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Stream Processing
Formal Verification
Temporal Logic
Model Checking
Top Venues
Inf. Comput.
TIME
</>
Publications
</>
Alexis Bédard
,
Sylvain Hallé
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines.
Inf. Comput.
293 (2023)
Alexis Bédard
,
Sylvain Hallé
Model Checking of Stream Processing Pipelines.
TIME
(2021)