Membre

L’INTELLIGENCE SCIENTIFIQUE AU CŒUR D’UN MONDE NUMÉRIQUE

Fiche Membre

En un clic !

Thématiques de recherche
Pôles d’expertises
Nos équipes
Formation par la recherche
- Doctorats
- Masters
HDR
Thèses
Publications

Composante(s) d’expertise Pôle associée(s)

CCS

Systèmes embarquésSystèmes Temps Réel

Expertises équipes

Calcul intermittentOrdonnancement temps réelSûreté de fonctionnementSystèmes temporisés, paramétrés, hybrides

Rémi Parrot

Enseignant chercheur / Enseignante chercheuse – Maître / maîtresse de conférences

Equipe : STR

Employeur : Centrale Nantes

Expertises :

Coordonnées

Email :

Adresse(s)

Informations non disponibles pour l’instant

Publications déposées sur HAL

Nombre de publications retournées : 11

Revues internationales avec comité de lecture

[1] R. Parrot, M. Briday, O. Roux. Design and verification of pipelined circuits with Timed Petri Nets, in Discrete Event Dynamic Systems, vol. 33, DOI

[2] J. Komenda, S. Lahaye, R. Parrot, O. Roux. Weakly strong semantics of Time Petri Nets for performance evaluations, in IFAC-PapersOnLine, vol. 58, no. 1, pp. 66-71, DOI

[3] J. Komenda, S. Lahaye, R. Parrot, O. Roux. Weakly strong semantics of Time Petri Nets and its algebraic description, in Discrete Event Dynamic Systems, vol. 36, no. 1, pp. 11, DOI

Conférences internationales avec comité de lecture et actes

[4] R. Parrot, D. Lime. Backward Symbolic Optimal Reachability in Weighted Timed Automata, in 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), Vienna, Autriche, DOI

[5] R. Parrot, M. Briday, O. Roux. Pipeline Optimization using a Cost Extension of Timed Petri Nets, in 2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), Lyngby, Danemark, DOI

[6] R. Parrot, M. Briday, O. Roux. Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design, in 42nd International Conference on Application and Theory of Petri Nets and Concurrency, Paris, France, DOI

[7] R. Parrot, H. Boucheneb, M. Briday, O. Roux. Expressiveness and analysis of Delayable Timed Petri Net, in 16th IFAC Workshop on Discrete Event Systems WODES 2022, Prague, République tchèque, DOI

[8] D. Lime, R. Parrot, O. H. Roux. Decidability problems for weak Time Petri Nets with read, reset and transfer arcs, in Petri Net 2025, Paris, France, DOI

[9] M. Le Moigne, R. Parrot, O. Roux. Méthode active pour l'identification de réseaux de Petri saufs, in Modélisation des Systèmes Réactifs (MSR'25), Reims, France,

Conférences nationales avec comité de lecture et actes

[10] R. Parrot, M. Briday, O. Roux. Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinés, in Modélisation des Systèmes Réactifs (MSR'21), Paris, France,

Theses et HDR

[11] R. Parrot. Réseaux de Petri temporisés pour la synthèse de circuits pipelinés, DOI

Pas de projets référencées pour l’instant

Pas de plateformes référencées pour l’instant

Pas de logiciels de référencés pour l’instant