Andrei Paskevich

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 7

Top Topics

Proprietary Software

Abductive Inference

Satisfiability Modulo Theories

Abstraction Hierarchy

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich
Verification of Programs with Pointers in SPARK. ICFEM (2020)
Jean-Christophe Filliâtre, Andrei Paskevich
Abstraction and Genericity in Why3. ISoLA (1) (2020)
Martin Clochard, Claude Marché, Andrei Paskevich
Deductive verification with ghost monitors. Proc. ACM Program. Lang. 4 (POPL) (2020)
Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich
Borrowing Safe Pointers from Rust in SPARK. CoRR (2018)
Alexander V. Lyaletski, Alexandre Lyaletsky, Andrei Paskevich
Evidential Paradigm as Formal Knowledge Presentation and Processing. ICTERI (2016)
Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. J. Autom. Reason. 56 (4) (2016)
Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich
The spirit of ghost code. Formal Methods Syst. Des. 48 (3) (2016)
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
Let's verify this with Why3. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Martin Clochard, Jean-Christophe Filliâtre, Andrei Paskevich
How to Avoid Proving the Absence of Integer Overflows. VSTTE (2015)
Martin Clochard, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
Formalizing Semantics with an Automatic Program Verifier. VSTTE (2014)
Martin Clochard, Claude Marché, Andrei Paskevich
Verified programs with binders. PLPV (2014)
Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich
The Spirit of Ghost Code. CAV (2014)
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich
Preserving User Proofs across Specification Changes. VSTTE (2013)
Jasmin Christian Blanchette, Andrei Paskevich
TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism. CADE (2013)
Jean-Christophe Filliâtre, Andrei Paskevich
Why3 - Where Programs Meet Provers. ESOP (2013)
Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
Reasoning with Triggers. SMT@IJCAR (2012)
Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump
The 2nd Verified Software Competition: Experience Report. COMPARE (2012)