Xavier Olive
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2012
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | AAAI | Symbolic Synthesis of Observability Requirements for Diagnosability. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive |
| 2010 | ISoLA | The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus. | Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry |
| 2008 | ECAI | Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis. | Mehdi Bayoudh, Louise Trav-Massuys, Xavier Olive |
| 2007 | DATE | Industrial applications. | Xavier Olive, Jean-Marie Pasquet, Didier Flament |