Egor George Karpenkov

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 5

Top Topics

Geometric Invariants

Policy Iteration

Markov Decision Processes

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer
JavaSMT: A Unified Interface for SMT Solvers in Java. VSTTE (2016)
Egor George Karpenkov, David Monniaux, Philipp Wendler
Program Analysis with Local Policy Iteration. VMCAI (2016)
Egor George Karpenkov, David Monniaux
Formula Slicing: Inductive Invariants from Preconditions. Haifa Verification Conference (2016)
Egor George Karpenkov
LPI: Software Verification with Local Policy Iteration - (Competition Contribution). TACAS (2016)
Egor George Karpenkov, David Monniaux
Formula Slicing: Inductive Invariants from Preconditions. CoRR (2016)