Vania Joloboff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CAV | PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. | Van Chan Ngo, Axel Legay, Vania Joloboff |
| 2016 | FDL | Flexible runtime verification based on logical clock constraints. | Daian Yue, Vania Joloboff, Frdric Mallet |
| 2015 | SETTA | Towards Verified Faithful Simulation. | Vania Joloboff, Jean-Franois Monin, Xiaomu Shi |
| 2002 | EMSOFT | JCOD: A Lightweight Modular Compilation Technology for Embedded Java. | Bertrand Delsart, Vania Joloboff, Eric Paire |