Rémi Parrot

According to our database, Rémi Parrot authored at least 5 papers between 2020 and 2023.

Collaborative distances:

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

2023

Design and verification of pipelined circuits with Timed Petri Nets.

Rémi Parrot, Mikaël Briday, Olivier H. Roux

Discret. Event Dyn. Syst., March, 2023

2022

Réseaux de Petri temporisés pour la synthèse de circuits pipelinés. (Timed Petri nets for the synthesis of pipelined circuits).

Rémi Parrot

PhD thesis, 2022

2021

Pipeline Optimization using a Cost Extension of Timed Petri Nets.

Rémi Parrot, Mikaël Briday, Olivier H. Roux

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design.

Rémi Parrot, Mikaël Briday, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Backward Symbolic Optimal Reachability in Weighted Timed Automata.

Rémi Parrot, Didier Lime

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020