PAVIOT-ADET Emmanuel

Photo 讲师
科研组 : MoVe
    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 87 70, Emmanuel.Paviot-Adet (at) nulllip6.fr
https://lip6.fr/Emmanuel.Paviot-Adet

1 毕业博士 2009

1999-2022 刊物

  • 2022
    • E. Paviot‑Adet, D. Poitrenaud, E. Renault, Y. Thierry‑Mieg : “LTL under reductions with weaker conditions than stutter-invariance”, Lecture Notes in Computer Science (LNCS), vol. 13273, Formal Techniques for Distributed Objects, Components, and Systems, Lucca, Italy, pp. 170–187, (Springer Cham), (ISBN: 978-3-031-08679-3) (2022)
  • 2021
  • 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, Czechia, pp. 50-68 (2019)
  • 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, vol. 11090, Lecture Notes in Computer Science, pp. 181-209, (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
    • F. Kordon, A. Linard, M. Becutti, D. Buchs, L. Fronc, L. Hillah, F. Hulin‑Hubard, F. Legond‑Aubry, N. Lohmann, A. Marechal, E. Paviot‑Adet, F. Pommereau, C. Rodríguez, Ch. Rohr, Y. Thierry‑Mieg, H. Wimmel, C. Wolf : “Web Report on the Model Checking Contest @ Petri Net 2013”, (2013)
  • 2012
  • 2010
    • A. Linard, E. Paviot‑Adet, F. Kordon, D. Buchs, S. Charron : “polyDD: Towards a Framework Generalizing Decision Diagrams”, 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, 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
    • 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)
    • 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”, 6th International Conference on Application of Concurrency to System Design (ACSD '06), Turku, Finland, pp. 273-275, (IEEE Computer Society) (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, 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, Adelaide, Australia, pp. 101-120, (Springer-Verlag) (2002)
  • 2001
  • 1999
Mentions légales
网站导航