Olivier Henri Roux

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Discrete Event Systems

Top Venues

Publications

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux
Pomset bisimulation and unfolding for reset Petri nets. Inf. Comput. 283 (2022)
Imane Haur, Jean-Luc Béchennec, Olivier Henri Roux
Formal schedulability analysis based on multi-core RTOS model. RTNS (2021)