PAVIOT-ADET Emmanuel

Photo Maître de Conférences
Équipe : MoVe
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 218
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 71 05, Emmanuel.Paviot-Adet (at) nulllip6.fr

Activité de recherche

Dans le cadre de la validation de systèmes répartis, deux thèmes de recherches sont développés :

  • Diagrammes de décisions hiérarchiques pour permettre la représentation des états possibles des systèmes modélisés (manipulation de variables à domaines finis/infinis, continus/discrets, structures de données dynamiques et hiérarchiques, extension des reporésentations implicites).
  • Utilisation des informations de couleurs des réseaux de Petri colorés pour créer automatiquement une hiérarchie efficace pour les diagrammes de décision du précédent point.

1 Docteur 2009

Publications 1999-2018

  • 2018
    • F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, F. Hulin‑Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry‑Mieg, J. Van De Pol, K. Wolf : “MCC’2017-The Seventh Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency , pp. 1-27, (Springer) (2018)
  • 2016
    • F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, C. Rodríguez, F. Hulin‑Hubard : “MCC’2015 – The Fifth Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 9930, Lecture Notes in Computer Science, pp. 262-273, (Springer) (2016)
  • 2014
  • 2013
  • 2012
  • 2010
    • A. Linard, E. Paviot‑Adet, F. Kordon, D. Buchs, S. Charron : “polyDD: Towards a Framework Generalizing Decision Diagrams”, Application of Concurrency to System Design 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal, pp. 124-133, (IEEE) (2010)
    • A. Hamez, S. Hostettler, A. Linard, A. Marechal, E. Paviot‑Adet, M. Risoldi : “Specification of Decision Diagram Operations”, International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo'2010 associated with Petri Nets 2010), vol. 827, CEUR-WS, Braga, Portugal, pp. 437-451, (CEUR) (2010)
  • 2009
    • G. Ciardo, G. Mecham, E. Paviot‑Adet, M. Wan : “P-Semiflow Computation with Decision Diagrams”, Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, vol. 5606, Lecture Notes in Computer Science, G. Franceschinis, K. Wolf (Eds.), Paris, France, pp. 143-162, (Springer) (2009)
    • O. Bertrand, A. Calonne, Ch. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot‑Adet, L. Petrucci, J.‑P. Smets : “Verification of large-scale distributed database systems in the NEOPPOD project”, Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Paris, France, pp. 315-316 (2009)
  • 2006
    • A. Hamez, L. Hillah, F. Kordon, A. Linard, E. Paviot‑Adet, X. Renault, Y. Thierry‑Mieg : “New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems”, Application of Concurrency to System Design 6th International Conference on Application of Concurrency to System Design (ACSD '06), Turku, Finland, pp. 273-275, (IEEE Computer Society) (2006)
    • F. Kordon, A. Linard, E. Paviot‑Adet : “Optimized Colored Nets Unfolding”, International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), vol. 4229, Lecture Notes in Computer Science, Paris, France, pp. 339-355, (Springer-Verlag) (2006)
  • 2004
    • F. Bréant, J.‑M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot‑Adet, D. Poitrenaud, D. Regep, G. Sutre : “Modeling and Verifying Behavioral Aspects”, chapter in Formal Methods for Embedded Distributed Systems - How to master the complexity, F. Kordon, M. Lemoine (Eds.), pp. 171-211, (Kluwer Academic Publishers), (ISBN: 1-4020-7996-6) (2004)
  • 2003
  • 2002
    • J.‑M. Couvreur, E. Encrenaz, E. Paviot‑Adet, D. Poitrenaud, P.‑A. Wacrenier : “Data Decision Diagrams for Petri Net analysis”, 23th International Conference on Application and Theory of Petri Nets, vol. 2360, Lecture Notes in Computer Science, J. Esparza Lakos (Ed.), Adelaide, Australia, pp. 101-120, (Springer-Verlag) (2002)
  • 2001
  • 1999
 Mentions légales
Carte du site |