Concepedia

Alban Linard

AL

Statistics

Publications

4

Citations

94

H-Index

4

Active since

2006

Affiliations

Laboratoire Spécification et Vérification(Current)

University of Geneva

Alban Linard is an author at Laboratoire Spécification et Vérification specializing in computer science, petri nets, and verification.

Publications per year

2006–2013

4

Publications

4

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems

Alexandre Hamez, Loin Messan Hillah, Fabrice Kordon et al. · 2006 · 40 citations

Engineering, Computer Science, Systems Engineering +11

High-Level Petri Net Model Checking with AlPiNA

Steve Hostettler, Alexis Marechal, Alban Linard et al. · Fundamenta Informaticae · 2011 · 33 citations · Full text

Computing, Computer Engineering, Computer Science +12

CosyVerif: An Open Source Extensible Verification Environment

Étienne André, Yousra Lembachar, Laure Petrucci et al. · 2013 · 11 citations

Computing, Computer Engineering, Computer Science +16

Web Report on the Model Checking Contest @ Petri Net 2013

Fabrice Kordon, Alban Linard, Marco Becutti et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2013 · 10 citations

Computing, Computer Engineering, Computer Science +12

1–4 of 4