Personal information

Activities

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
Part of ISSN: 0924-6703
Part of ISSN: 1573-7594
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
Part of ISSN: 2405-8963
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
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
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
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
Contributors: Rémi Parrot; Didier Lime
Source: Self-asserted source
Rémi PARROT via HAL