A
Alban Linard
Researcher at University of Geneva
Publications - 20
Citations - 217
Alban Linard is an academic researcher from University of Geneva. The author has contributed to research in topics: Petri net & Model checking. The author has an hindex of 8, co-authored 20 publications receiving 212 citations. Previous affiliations of Alban Linard include École normale supérieure de Cachan & Centre national de la recherche scientifique.
Papers
More filters
Book ChapterDOI
Report on the Model Checking Contest at Petri Nets 2011
Fabrice Kordon,Alban Linard,Didier Buchs,Maximilien Colange,Sami Evangelista,Kai Lampka,Niels Lohmann,Emmanuel Paviot-Adet,Yann Thierry-Mieg,Harro Wimmel +9 more
TL;DR: The results of the Model Checking Contest held within the SUMo 2011 workshop, a satellite event of Petri Nets 2011, aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets.
Proceedings ArticleDOI
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems
Alexandre Hamez,Lom Messan Hillah,Fabrice Kordon,Alban Linard,Emmanuel Paviot-Adet,Xavier Renault,Yann Thierry-Mieg +6 more
TL;DR: This third major release of CPN-AMI offers better support for modeling and analysis of very large systems.
Journal ArticleDOI
High-Level Petri Net Model Checking with AlPiNA
TL;DR: The Algebraic Petri Nets Analyzer (AlPiNA), a symbolic model checker for High-level Petri nets, is introduced, comprised of two independent modules: a GUI plug-in for Eclipse and an underlying model checking engine.
Book ChapterDOI
Optimized colored nets unfolding
TL;DR: This paper presents a symbolic representation of unfolded nets using Data Decision Diagrams, which allows to store very large models and manipulate them for optimization purpose.
Proceedings ArticleDOI
CosyVerif: An Open Source Extensible Verification Environment
Étienne André,Yousra Lembachar,Laure Petrucci,Francis Hulin-Hubard,Alban Linard,Lom Messan Hillah,Fabrice Kordon +6 more
TL;DR: CosyVerif aims at gathering within a common framework various existing tools for specification and verification to provide a graphical user interface for every formalism and offer the possibility for a developer to integrate his/her own tool without much effort.