Personal information

Websites & social links

https://remiparrot.github.io/

Activities

Collapse all

Employment (4)

École Centrale de Nantes: Nantes, FR

2024-09-01 to present | Maître de Conférence
Employment
Source: Self-asserted source
Rémi PARROT

École Centrale de Nantes: Nantes, FR

2023-09-01 to 2024-08-31 | Ingénieur de recherche avec mission d'enseignement
Employment
Source: Self-asserted source
Rémi PARROT

Uppsala University: Uppsala, SE

2022-11-23 to 2023-08-31 | Post-Doc (Information Technology)
Employment
Source: Self-asserted source
Rémi PARROT

École Centrale de Nantes: Nantes, FR

2019-10-01 to 2022-10-01 | PhD student (LS2N UMR CNRS 6004)
Employment
Source: Self-asserted source
Rémi PARROT

Works (6)

Design and verification of pipelined circuits with Timed Petri Nets

Discrete Event Dynamic Systems
2023-03 | Journal article | Author
DOI: 10.1007/s10626-022-00371-7
Part of ISSN: 0924-6703
Part of ISSN: 1573-7594
HAL: hal-03952519
Contributors: Rémi PARROT; Mikaël Briday; Olivier H. Roux
Source: Self-asserted source
Rémi PARROT
grade
Preferred source (of 2)‎

Expressiveness and analysis of Delayable Timed Petri Net*

WODES
2022 | Conference paper
DOI: 10.1016/j.ifacol.2022.10.355
Part of ISSN: 2405-8963
HAL: hal-03952599
Contributors: Rémi Parrot; Hanifa Boucheneb; Mikaël Briday; Olivier H. Roux
Source: Self-asserted source
Rémi PARROT

Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinés

2021-11-08 | Conference paper
HAL: hal-03587736
Contributors: Rémi Parrot; Mikaël Briday; Olivier Roux
Source: Self-asserted source
Rémi PARROT via HAL

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design

2021-06-16 | Conference paper
DOI: 10.1007/978-3-030-76983-3_4
DOI: 10.1007/978-3-030-76983-3_4
HAL: hal-03266806
Contributors: Rémi Parrot; Mikaël Briday; Olivier Roux
Source: Self-asserted source
Rémi PARROT via HAL

Pipeline Optimization using a Cost Extension of Timed Petri Nets

2021-06-14 | Conference paper
DOI: 10.1109/ARITH51176.2021.00018
DOI: 10.1109/ARITH51176.2021.00018
HAL: hal-03464317
Contributors: Rémi Parrot; Mikaël Briday; Olivier Roux
Source: Self-asserted source
Rémi PARROT via HAL

Backward Symbolic Optimal Reachability in Weighted Timed Automata

2020-08-25 | Conference paper
DOI: 10.1007/978-3-030-57628-8_3
HAL: hal-02939596
Contributors: Rémi Parrot; Didier Lime
Source: Self-asserted source
Rémi PARROT via HAL
How many people are using ORCID?