Virgile Robles
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | High-Level Program Properties in Frama-C: Definition, Verification and Deduction. | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
| 2021 | ICSE | Methodology for Specification and Verification of High-Level Requirements with MetAcsl. | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall |
| 2019 | TACAS | MetAcsl: Specification and Verification of High-Level Properties. | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall |
| 2019 | TAP | Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall |