About
Andrey Rybalchenko is a researcher in the Programming Principles and Tools group.
Publications
2016
Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Klaus v. Gleissenthall , Nikolaj Bjorner, Andrey Rybalchenko, in PLDI, ACM, June 10, 2016, View abstract, Download PDF2015
Symbolic Polytopes for Quantitative Interpolation and Verification
Klaus v. Gleissenthall, Boris Kopf, Andrey Rybalchenko, in Computer Aided Verification (CAV), Springer, July 1, 2015, View abstract, Download PDF2014
Reduction for Compositional Verification of Multi-Threaded Programs
Corneliu Popeea, Andreas Wilhelm, Andrey Rybalchenko, in Formal Methods in Computer-Aided Design (FMCAD), IEEE – Institute of Electrical and Electronics Engineers, October 1, 2014, View abstract, Download PDF, View external linkCTL+FO Verification as Constraint Solving
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko, in Symposium on Model Checking of Software (SPIN), ACM, July 1, 2014, View abstract, Download PDF, View external linkTermComp Proposal: Pushdown Systems as a Model for Programs with Procedures
Marc Brockschmidt, Andrey Rybalchenko, June 1, 2014, View abstract, Download PDFA Constraint-Based Approach to Solving Games on Infinite Graphs
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko, in Principles of Programming Languages (POPL), ACM – Association for Computing Machinery, January 1, 2014, View abstract, Download PDF, View external link2013
Separation Logic Modulo Theories
Juan Antonio Navarro Pérez, Andrey Rybalchenko, in Programming Languages and Systems (APLAS), Springer, December 1, 2013, View abstract, Download PDF, View external linkAn Epistemic Perspective on Consistency of Concurrent Computations
Klaus v. Gleissenthall, Andrey Rybalchenko, in Concurrency Theory (CONCUR), Springer, August 1, 2013, View abstract, Download PDF, View external linkSolving Existentially Quantified Horn Clauses
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko, in Computer Aided Verification (CAV), Springer, July 1, 2013, View abstract, Download PDF, View external linkOn Solving Universally Quantified Horn Clauses
Nikolaj Bjorner, Kenneth McMillan, Andrey Rybalchenko, in Static Analysis Symposium (SAS), Springer, June 20, 2013, View abstract, View external linkComputing Relational Fixed Points using Interpolation
Kenneth McMillan, Andrey Rybalchenko, January 17, 2013, View abstract, Download PDFProjects
Link description
A Proof Rule for Multi-Threaded Programs
Date
May 27, 2010
Speakers
Andrey Rybalchenko
Affiliation
Technische Universität München
Link description
Path Invariants
Date
June 14, 2007
Speakers
Andrey Rybalchenko
Affiliation
EPFL and MPI
Link description
Transition Invariants
Date
October 29, 2004
Speakers
Andrey Rybalchenko
Affiliation
Max-Planck-Institut fuer Informatik, Saarbruecken
Other
My Computer Science Bibliography: