9
Publications
363
Citations
9
H-Index
2007
Active since
Andrei Paskevich is an author at Université Paris-Sud specializing in automated reasoning, formal verification, and computer science.
Top concepts
Automated ReasoningEngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisFormal SpecificationSoftware EngineeringProgram Analysis
Publications per year
2007–2019
9
9
A.: Why3: Shepherd your herd of provers
François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · 2011 · 185 citations · Full text
François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · International Journal on Software Tools for Technology Transfer · 2014 · 49 citations · Full text
Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich · Formal Methods in System Design · 2016 · 38 citations · Full text
A3PAT, an approach for certified automated termination proofs
Évelyne Contejean, Andrei Paskevich, Xavier Urbain et al. · 2010 · 23 citations
Rows per page
1–5 of 9