Gabriel Kalyon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2007–2011
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FORTE | Global State Estimates for Distributed Systems. | Gabriel Kalyon, Tristan Le Gall, Herv Marchand, Thierry Massart |
| 2010 | ATVA | Lattice-Valued Binary Decision Diagrams. | Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Franois Raskin |
| 2007 | FORTE | Testing Distributed Systems Through Symbolic Model Checking. | Gabriel Kalyon, Thierry Massart, Cdric Meuter, Laurent Van Begin |