Research engineer - LIP6
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 4, Bureau 418
    4 place Jussieu
    75252 PARIS CEDEX 05

Tel: +33 1 44 27 53 85, Francis.Hulin-Hubard (at)

2013-2021 Publications

  • 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”, chapter in Transactions on Petri Nets and Other Models of Concurrency XIII, 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
    • É. 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”, 15th 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”, 18th 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)