Rémi Parrot

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Timed Petri Nets

Transitive Closure

Top Venues

Discret. Event Dyn. Syst.

Publications

Rémi Parrot, Mikaël Briday, Olivier H. Roux
Design and verification of pipelined circuits with Timed Petri Nets. Discret. Event Dyn. Syst. 33 (1) (2023)
Rémi Parrot, Mikaël Briday, Olivier H. Roux
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. Petri Nets (2021)
Rémi Parrot, Mikaël Briday, Olivier H. Roux
Pipeline Optimization using a Cost Extension of Timed Petri Nets. ARITH (2021)
Rémi Parrot, Didier Lime
Backward Symbolic Optimal Reachability in Weighted Timed Automata. FORMATS (2020)