Publications 2013-2024

• 2024
  • N. Amat, E. Amparore, B. Berthomieu, P. Bouvier, S. Dal Zilio, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, Sh. Li, E. Paviot‑Adet, L. Petrucci, J. Srba, Y. Thierry‑Mieg, K. Wolf : “Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023”, TOOLympics Challenge 2023, vol. 14550, Lecture Notes in Computer Science, Paris, France, pp. 52-89, (Springer Nature Switzerland), (ISBN: 978-3-031-67695-6) (2024)
  • É. André, J. Arias, B. Barbot, F. Hulin‑Hubard, F. Kordon, V.‑F. Le, L. Petrucci : “CosyVerif: The Path to Formalisms Cohabitation”, 45^th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, vol. 14628, Lecture Notes in Computer Science, Geneva, Switzerland, pp. 432-444, (Springer Nature Switzerland) (2024)
• 2021
  • F. Kordon, L. Hillah, F. Hulin‑Hubard, L. Jezequel, E. Paviot‑Adet : “Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019”, International Journal on Software Tools for Technology Transfer, (Springer Verlag) (2021)
  • J. Arias, B. Barbot, F. Hulin‑Hubard, F. Kordon, L. Petrucci : “CosyVerif: an Online Verification Platform”, Petri Net Newsletter, vol. 87, pp. 5-7 (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 9^th 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
  • F. Kordon, F. Hulin‑Hubard : “BenchKit, a Tool for Massive Concurrent Benchmarking”, 14^th International Conference on Application of Concurrency to System Design (ACSD'14), Tunis, Tunisia, pp. 159-165, (IEEE Computer Society Press) (2014)
• 2013
  • É. André, B. Barbot, C. Démoulins, L. Hillah, F. Hulin‑Hubard, F. Kordon, A. Linard, L. Petrucci : “A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems”, 15^th International Conference on Formal Engineering Methods (ICFEM'13), vol. 8144, Lecture Notes in Computer Science, Queenstown, New Zealand, pp. 199-214, (Springer Berlin Heidelberg) (2013)
  • É. André, Y. Lembachar, L. Petrucci, F. Hulin‑Hubard, A. Linard, L. Hillah, F. Kordon : “CosyVerif: An Open Source Extensible Verification Environment”, 18^th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Singapore, pp. 33-36, (IEEE Computer Society Press) (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)