Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

David DELFIEU

ENSEIGNANT-CHERCHEUR


Equipe : STR.

: David.Delfieuatls2n.fr

: +33 (0)2 49 14 22 13

Adresse :




Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [2] 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.archives-ouvertes.fr/hal-01111155

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

    • [4] 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
    • [5] 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.archives-ouvertes.fr/hal-01542101
    • [6] 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.archives-ouvertes.fr/hal-01112560
    • [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, 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.archives-ouvertes.fr/hal-00631054

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

    • [10] 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.archives-ouvertes.fr/hal-01112533

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

Theses et HDR (THESE)

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -