Alban Linard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2017
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | MODELS | CREST - A Continuous, REactive SysTems DSL. | Stefan Klikovits, Alban Linard, Didier Buchs |
| 2013 | ICECCS | CosyVerif: An Open Source Extensible Verification Environment. | tienne Andr, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon |
| 2013 | ICFEM | A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. | tienne Andr, Benot Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci |
| 2006 | FORTE | Optimized Colored Nets Unfolding. | Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet |