Autor: "Hulin-Hubard, Francis" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
Autorzy:: Kordon, FabriceAff1, IDs10009021006151_cor1
Hillah, Lom MessanAff1, Aff2
Hulin-Hubard, Francis
Jezequel, Loïg
Paviot-Adet, EmmanuelAff1, Aff4; Pokaż więcej
Źródło:: International Journal on Software Tools for Technology Transfer. 23(6):931-952

Czasopismo naukowe

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Presentation of the 9th Edition of the Model Checking Contest
Autorzy:: Amparore, ElvioAff18, Aff28
Berthomieu, BernardAff19, Aff28
Ciardo, GianfrancoAff20, Aff28
Dal Zilio, SilvanoAff19, Aff28
Gallà, FrancescoAff18, Aff28
Hillah, Lom MessanAff21, Aff22, Aff28
Hulin-Hubard, FrancisAff21, Aff28
Jensen, Peter GjølAff23, Aff28
Jezequel, LoïgAff24, Aff28
Kordon, FabriceAff21, Aff28
Le Botlan, DidierAff19, Aff28
Liebke, TorstenAff25, Aff28
Meijer, JeroenAff26, Aff28
Miner, AndrewAff20, Aff28
Paviot-Adet, EmmanuelAff21, Aff26, Aff28
Srba, JiříAff23, Aff27, Aff28
Thierry-Mieg, YannAff21, Aff28
van Dijk, TomAff26, Aff28
Wolf, KarstenAff25, Aff28; Pokaż więcej
Źródło:: Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. 11429:50-68

Książka elektroniczna

Szczegóły

Skocz do pozycji: 3.

Tytuł:: MCC’2017 – The Seventh Model Checking Contest
Autorzy:: Kordon, Fabrice
Garavel, HubertAff17, Aff18
Hillah, Lom MessanAff16, Aff19
Paviot-Adet, EmmanuelAff16, Aff20
Jezequel, Loïg
Hulin-Hubard, Francis
Amparore, Elvio
Beccuti, Marco
Berthomieu, Bernard
Evrard, Hugues
Jensen, Peter G.
Le Botlan, Didier
Liebke, Torsten
Meijer, Jeroen
Srba, JiříAff26, Aff29
Thierry-Mieg, Yann
van de Pol, Jaco
Wolf, Karsten; Pokaż więcej
Źródło:: Transactions on Petri Nets and Other Models of Concurrency XIII. 11090:181-209

Książka elektroniczna

Szczegóły

Skocz do pozycji: 4.

Tytuł:: MCC’2015 – The Fifth Model Checking Contest
Autorzy:: Kordon, Fabrice
Garavel, Hubert
Hillah, Lom Messan
Paviot-Adet, Emmanuel
Jezequel, Loïg
Rodríguez, César
Hulin-Hubard, Francis; Pokaż więcej
Źródło:: Transactions on Petri Nets and Other Models of Concurrency XI. 9930:262-273

Książka elektroniczna

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
Autorzy:: André, Étienne
Barbot, Benoît
Démoulins, Clément
Hillah, Lom MessanAff21, Aff22
Hulin-Hubard, Francis
Kordon, FabriceAff21, Aff22
Linard, Alban
Petrucci, Laure; Pokaż więcej
Źródło:: Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:199-214

Książka elektroniczna

Szczegóły

Informacja