Alexis Bédard

According to our database, Alexis Bédard authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines.

Alexis Bédard, Sylvain Hallé

Inf. Comput., August, 2023

2021

Model Checking of Stream Processing Pipelines.

Alexis Bédard, Sylvain Hallé

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021