Andrei Paskevich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | coma, an Intermediate Verification Language with Explicit Abstraction Barriers. | Andrei Paskevich, Paul Patault, Jean-Christophe Fillitre |
| 2025 | IFM | When Separation Arithmetic is Enough. | Jean-Christophe Fillitre, Andrei Paskevich, Olivier Danvy |
| 2020 | ICFEM | Verification of Programs with Pointers in SPARK. | Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich |
| 2020 | ISoLA | Abstraction and Genericity in Why3. | Jean-Christophe Fillitre, Andrei Paskevich |
| 2016 | ICTERI | Evidential Paradigm as Formal Knowledge Presentation and Processing. | Alexander V. Lyaletski, Alexandre Lyaletsky, Andrei Paskevich |
| 2014 | CAV | The Spirit of Ghost Code. | Jean-Christophe Fillitre, Lon Gondelman, Andrei Paskevich |
| 2013 | CADE | TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism. | Jasmin Christian Blanchette, Andrei Paskevich |
| 2013 | ESOP | Why3 - Where Programs Meet Provers. | Jean-Christophe Fillitre, Andrei Paskevich |
| 2012 | CADE | Reasoning with Triggers. | Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich |
| 2012 | CADE | The 2nd Verified Software Competition: Experience Report. | Jean-Christophe Fillitre, Andrei Paskevich, Aaron Stump |