Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

David DELFIEU

ENSEIGNANT-CHERCHEUR


: David.Delfieuatls2n.fr

Adresses :


Batiment 19, étage 3, bureau 310


Batiment S, étage 5, bureau 521



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] T. Chatain, M. Comlan, D. Delfieu, L. Jezequel, O. Roux. Pomset bisimulation and unfolding for reset Petri nets. In Information and Computation ; éd. Elsevier, 2022, vol. 283.
      https://hal.science/hal-03650582
    • [3] D. Delfieu, M. Comlan, M. Sogbohossou. Conflict Equivalence of Branching Processes. In International Journal On Advances in Systems and Measurements ; éd. IARIA, 2015, vol. 8, num. 1&2.
      https://hal.science/hal-01111155
    • [4] D. Delfieu, M. Sogbohossou. An algebra for branching processes. In Control, Decision and Information Technologies (CoDIT), 2013 International Conference on. 2013
      https://hal.science/hal-01111131

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [5] M. Comlan, D. Delfieu, N. Assogba. Grafcet to Arduino: Edit and Upload Grafcets on an Arduino Boards. In The International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), octobre 2021, Mauritius, Maurice.In International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME). 07-10-2021
      https://hal.archives-ouvertes.fr/hal-03562309v2
    • [6] 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, avril 2018, Ramat Gan, Israël.In Shmuel Tomi Klein (éds.), . Springer, 2018.
      https://hal.archives-ouvertes.fr/hal-01766530
    • [7] M. Comlan, D. Delfieu, M. Sogbohossou, A. Vianou. Embedding Time Petri nets. In (IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies, avril 2017, Barcelone, Espagne.
      https://hal.science/hal-01542101
    • [8] D. Delfieu, M. Comlan, M. Sogbohossou. Algebraic Analysis of Branching Processes. In The sixth International Conference on Advances in System Testing and Validation, octobre 2014, Nice, France.
      https://hal.science/hal-01112560
    • [10] 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, juin 2009, Paris, France.In University of Paris 13 (éds.), International Workshop pn Timing and Stochasticity in Petri nets and pther models of concurrency. , 2009.
      https://hal.science/hal-00631054

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [11] M. Comlan, D. Delfieu, M. Sogbohossou. Processus de branchement des réseaux de Petri à reset arcs. In GPL GDR, juin 2015, Bordeaux, France.
      https://hal.science/hal-01169369
    • [12] 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), octobre 2007, Lyon, France.
      https://hal.science/hal-01112533

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Theses et HDR (THESE)

    • [14] D. Delfieu. Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs. Thèses : Université Paul Sabatier - Toulouse III.
      https://theses.hal.science/tel-00142512

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -