LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News

PAVIOT-ADET Emmanuel

Photo Associate Professor
Team : 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
    FRANCE
Tel: +33 1 44 27 71 05, Emmanuel.Paviot-Adet (at) nulllip6.fr

Research activity

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 PhD graduated 2009

1999-2019 Publications

  • 2019
    • 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 : “Presentation of the 9th edition of the model checking contest”, 25th TACAS@ETAPS 2019, vol. 11090, Lecture Notes in Computer Science, Prague, Czech Republic, pp. 181-209, (Springer) (2019)
    • E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. Gallà, L. Hillah, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot‑Adet, J. Srba, Y. Thierry‑Mieg, T. van Dijk, K. Wolf : “Presentation of the 9th Edition of the Model Checking Contest”, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, vol. 11429, Prague, Czech Republic, pp. 50-68 (2019)
  • 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
Site map |