Rémi Parrot
Post-doc at Uppsala University (Sweden)
7
Documents
Publications
|
Réseaux de Petri temporisés pour la synthèse de circuits pipelinésRéseaux et télécommunications [cs.NI]. École centrale de Nantes, 2022. Français. ⟨NNT : 2022ECDN0048⟩
Thèse
tel-03974996v1
|
|
Expressiveness and analysis of Delayable Timed Petri Net16th IFAC Workshop on Discrete Event Systems WODES 2022, IFAC, Sep 2022, Prague, Czech Republic. pp.284-290, ⟨10.1016/j.ifacol.2022.10.355⟩
Communication dans un congrès
hal-03952599v1
|
|
Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinésModélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès
hal-03587736v1
|
|
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.55-75, ⟨10.1007/978-3-030-76983-3_4⟩
Communication dans un congrès
hal-03266806v1
|
|
Pipeline Optimization using a Cost Extension of Timed Petri Nets2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), Jun 2021, Lyngby, Denmark. pp.37-44, ⟨10.1109/ARITH51176.2021.00018⟩
Communication dans un congrès
hal-03464317v1
|
|
Backward Symbolic Optimal Reachability in Weighted Timed Automata18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), Sep 2020, Vienna, Austria. pp.41-57, ⟨10.1007/978-3-030-57628-8_3⟩
Communication dans un congrès
hal-02939596v1
|
|
Design and verification of pipelined circuits with Timed Petri NetsDiscrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00371-7⟩
Article dans une revue
hal-03952519v1
|