Lionel Blatter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, Joo Diogo Duarte, Benjamin Grgoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2022 | IFM | Certified Verification of Relational Properties. | Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
| 2022 | ISoLA | An Efficient VCGen-Based Modular Verification of Relational Properties. | Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
| 2022 | TACAS | Inferring Interval-Valued Floating-Point Preconditions. | Jonas Krmer, Lionel Blatter, Eva Darulova, Mattias Ulbrich |
| 2018 | TAP | Static and Dynamic Verification of Relational Properties on Self-composed C Code. | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot |
| 2017 | TACAS | RPP: Automatic Proof of Relational Properties by Self-composition. | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto |