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

HULIN-HUBARD Francis

Research engineer - LIP6
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 4, Bureau 418
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 53 85, Francis.Hulin-Hubard (at) nulllip6.fr

2013-2019 Publications

  • 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)
  • 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, Prague, Czech Republic, 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”, Application of Concurrency to System Design 14th International Conference on Application of Concurrency to System Design (ACSD'14), Tunis, Tunisia, pp. 159-165, (IEEE Computer Society) (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) (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) (2013)
    • F. Kordon, A. Linard, M. Beccuti, D. Buchs, L. Fronc, L.‑M. Hillah, 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 : “Web Report on the Model Checking Contest @ Petri Net 2013”, CoRR (2013)
 Mentions légales
Site map |