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, vol. 11090, 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
  • M. Kermani, M. Boufaïda, E. Paviot‑Adet : “A Model to Specify Inter-company Cooperation”, 10^th International Conference on Web Information Systems and Technologies (WEBIST 2014), Barcelona, Spain, pp. 318-323 (2014)
  • M. Kermani, M. Boufaïda, E. Paviot‑Adet : “Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition”, 7^th International Conference of Interoperability for Enterprises Systems and applications -- I-ESA, vol. 7, Proceedings of the I-ESA Conferences, Albi, France, pp. 381-392, (Springer) (2014)
• 2013
  • F. Kordon, A. Linard, M. Beccuti, D. Buchs, L. fronc, F. Hulin‑Hubard, F. Legond‑Aubry, N. Lohmann, A. Marechal, E. Paviot‑Adet, F. Pommereau, C. Rodrigues, Ch. Rohr, Y. Thierry‑Mieg, H. Wimmel, K. Wolf : “Model Checking Contest @ Petri Nets, Report on the 2013 edition”, CoRR (2013)
• 2012
  • S. Hong, F. Kordon, E. Paviot‑Adet, S. Evangelista : “Computing a Hierarchical Static order for Decision Diagram-Based Representation from P/T Nets”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 6900 (V), Lecture Notes in Computer Science, pp. 121-140, (Springer Verlag), (ISBN: 1867-7193) (2012)
  • F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, K. Lampka, N. Lohmann, E. Paviot‑Adet, Y. Thierry‑Mieg, H. Wimmel : “Report on the Model Checking Contest at Petri Nets 2011”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), Lecture Notes in Computer Science, pp. 169-196, (Springer Verlag), (ISBN: 1867-7193) (2012)
  • F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, L. fronc, L. Hillah, N. Lohmann, E. Paviot‑Adet, F. Pommereau, Ch. Rohr, Y. Thierry‑Mieg, K. Wolf : “Raw Report on the Model Checking Contest at Petri Nets 2012”, CoRR (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 10^th 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 30^th 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 6^th 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
  • I. Tnazefti‑Kerkeni, L. Arantes, E. Paviot‑Adet : “An Agent-Oriented Framework for controlling and Monitoring Manufacturing System”, IEEE International Symposium on Intelligent Control, Houston, TX, USA, pp. 383-388, (IEEE) (2003)
  • I. Vernier, E. Paviot‑Adet : “Modélisation et vérification de l’interopérabilité de services de télécommunication”, chapitre de Vérification et mise en oeuvre de réseaux de Petri, M. Diaz (Ed.), pp. 233-252, (Hermes Science), (ISBN: 2-7462-0445-2) (2003)
• 2002
  • J.‑M. Couvreur, E. Encrenaz, E. Paviot‑Adet, D. Poitrenaud, P.‑A. Wacrenier : “Data Decision Diagrams for Petri Net analysis”, 23^th 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
  • G. Gaudière, A. de Groot, J. Hooman, F. Kordon, M. Lemoine, E. Paviot‑Adet, I. Vernier‑Mounier, V. Winter : “A Survey: Applying Formal Methods to a Software Intensive System”, 6^th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Boco Raton, FL, USA, pp. 55-64, (IEEE) (2001)
  • F. Kordon, I. Vernier‑Mounier, E. Paviot‑Adet, D. Regep : “Formal Verification of Embedded Distributed Systems in a Prototyping Approach”, International Workshop on Engineering Automation for Software Intensive System Integration, Monterey, USA (2001)
• 1999
  • F. Kordon, E. Paviot‑Adet : “Using CPN-AMI to validate a safe channel protocol”, Toolset of the International Conference on Theory and Applications of Petri Nets, Williamsburg, Virginia, USA (1999)