Claire Dross
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VMCAI | Two-Way Collaboration Between Flow and Proof in SPARK. | Claire Dross, Joffrey Huguet, Johannes Kanig |
| 2020 | CAV | Recursive Data Structures in SPARK. | Claire Dross, Johannes Kanig |
| 2020 | ICFEM | Verification of Programs with Pointers in SPARK. | Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich |
| 2019 | FM | Practical Application of SPARK to OpenUxAS. | M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil |
| 2012 | CADE | Reasoning with Triggers. | Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich |
| 2011 | TAP | Correct Code Containing Containers. | Claire Dross, Jean-Christophe Fillitre, Yannick Moy |