Old Web
English
Sign In
Acemap
>
authorDetail
>
Francis Hulin-Hubard
Francis Hulin-Hubard
University of Paris
Computer science
Software
CONTEST
Model checking
State space
2
Papers
14
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
2021
International Journal on Software Tools for Technology Transfer
Fabrice Kordon
Lom Messan Hillah
Francis Hulin-Hubard
Loïg Jezequel
Emmanuel Paviot-Adet
Show All
Source
Cite
Save
Citations (1)
Presentation of the 9th Edition of the Model Checking Contest.
2019
TACAS | Tools and Algorithms for Construction and Analysis of Systems
Elvio Amparore
Bernard Berthomieu
Gianfranco Ciardo
Silvano Dal Zilio
Francesco Gallà
Lom Messan Hillah
Francis Hulin-Hubard
Peter Gjøl Jensen
Loïg Jezequel
Fabrice Kordon
Didier Le Botlan
Torsten Liebke
Jeroen Meijer
Andrew S. Miner
Emmanuel Paviot-Adet
Jiří Srba
Yann Thierry-Mieg
Tom van Dijk
Karsten Wolf
Show All
Source
Cite
Save
Citations (13)
1