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

David Delfieu

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

Equipe : STR

Employeur : Nantes Université

Expertises :

Coordonnées

Email :

Adresse(s)

Informations non disponibles pour l’instant

Publications déposées sur HAL

Nombre de publications retournées : 19

Revues internationales avec comité de lecture

[1] M. Sogbohossou, D. Delfieu. Dépliage des réseaux de Petri temporels à modèle sous-jacent non sauf, in Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, vol. Volume 14 – 2011 – Special issue CARI'10, pp. 185-203, DOI

[2] D. Delfieu, M. Sogbohossou. An algebra for branching processes, in Control, Decision and Information Technologies (CoDIT), 2013 International Conference on, pp. 625 – 634, DOI

[3] D. Delfieu, M. Comlan, M. Sogbohossou. Conflict Equivalence of Branching Processes, in International Journal On Advances in Systems and Measurements, vol. 8, no. 1&2, pp. 85-203,

[4] D. Delfieu, M. Comlan. Des réseaux de Petri à Arduino. Comment embarquer des réseaux de Petri Temporelx sur une architecture à micro-controller, in SCEE, vol. 1, no. 2, pp. 12-25,

[5] T. Chatain, M. Comlan, D. Delfieu, L. Jezequel, O. Roux. Pomset bisimulation and unfolding for reset Petri nets, in Information and Computation, vol. 283, pp. 104674, DOI

[6] D. Delfieu, M. Comlan, N. Assogba. Multi-platform and open source development tool for automation, in International Journal of Advanced Mechatronic Systems, vol. 11, no. 2, pp. 63-72, DOI

[7] D. Delfieu, O. Roux, R. Valette. Réseaux de Petri : Théorie et mise en oeuvre, in Techniques de l'ingénieur. Automatique et ingénierie système, vol. Automatique Séquentielle, no. S7254, DOI

Conférences internationales avec comité de lecture et actes

[8] D. Delfieu, M. Sogbohossou. Unfolding of time Petri nets for quantitative time analysis, in International Workshop pn Timing and Stochasticity in Petri nets and pther models of concurrency, Paris, France,

[9] D. Delfieu, M. Comlan, M. Sogbohossou. Algebraic Analysis of Branching Processes, in VALID'14, Nice, France,

[10] M. Comlan, D. Delfieu, M. Sogbohossou, A. Vianou. Embedding Time Petri nets, in (IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies, Barcelone, Espagne, DOI

[11] L. Jezequel, T. Chatain, M. Comlan, D. Delfieu, O. Roux. Pomsets and Unfolding of Reset Petri Nets, in LATA 2018 – 12th International Conference on Language and Automata Theory and Applications, Ramat Gan, Israël, DOI

[12] M. Comlan, D. Delfieu, N. Assogba. Grafcet to Arduino: Edit and Upload Grafcets on an Arduino Boards, in International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), in The International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), Mauritius, Maurice, DOI

Conférences nationales avec comité de lecture et actes

[13] L. Traonouez, D. Delfieu, O. Roux. Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés, in 6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Lyon, France,

[14] M. Comlan, D. Delfieu, M. Sogbohossou. Processus de branchement des réseaux de Petri à reset arcs, in GPL GDR, Bordeaux, France,

[18] M. Sogbohossou, D. Delfieu. LLbox,

[19] D. Delfieu, M. Comlan. Penelope,

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