Sign in
Lom Hillah
Publication Activity (10 Years)
Years Active: 2006-2013
Publications (10 Years): 0
Top Topics
Autonomous Agents
Formal Verification
Simulation Environment
Asynchronous Circuits
Top Venues
ICECCS
</>
Publications
</>
Étienne André
,
Yousra Lembachar
,
Laure Petrucci
,
Francis Hulin-Hubard
,
Alban Linard
,
Lom Hillah
,
Fabrice Kordon
CosyVerif: An Open Source Extensible Verification Environment.
ICECCS
(2013)
Alexandre Hamez
,
Lom Hillah
,
Fabrice Kordon
,
Alban Linard
,
Emmanuel Paviot-Adet
,
Xavier Renault
,
Yann Thierry-Mieg
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.
ACSD
(2006)
Lom Hillah
,
Fabrice Kordon
,
Laure Petrucci-Dauchy
,
Nicolas Trèves
PN Standardisation: A Survey.
FORTE
(2006)