Andrey Rybalchenko

Available identifiers

zbMath Open rybalchenko.andreyMaRDI QIDQ604393

List of research outcomes

Publication	Date of Publication	Type
Supercharging plant configurations using Z3	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5015366	2021-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4997234	2021-06-28	Paper
Fast BGP simulation of large datacenters	2020-01-23	Paper
Predicate Abstraction for Program Verification	2018-07-20	Paper
Symbolic polytopes for quantitative interpolation and verification	2018-03-01	Paper
Transition predicate abstraction and fair termination	2017-07-14	Paper
Scaling network verification using symmetry and surgery	2016-10-24	Paper
Horn Clause Solvers for Program Verification	2015-09-22	Paper
Verifying liveness for asynchronous programs	2015-07-03	Paper
Separation Logic Modulo Theories	2015-01-12	Paper
Proving non-termination	2014-09-12	Paper
Proving that programs eventually do something good	2014-09-12	Paper
Predicate abstraction and refinement for verifying multi-threaded programs	2014-04-10	Paper
A constraint-based approach to solving games on infinite graphs	2014-04-10	Paper
An Epistemic Perspective on Consistency of Concurrent Computations	2013-08-12	Paper
Automation of Quantitative Information-Flow Analysis	2013-06-28	Paper
Compositional Termination Proofs for Multi-threaded Programs	2012-06-29	Paper
Transition Invariants and Transition Predicate Abstraction for Program Termination	2011-05-19	Paper
Distributed and Predictable Software Model Checking	2011-02-15	Paper
Constraint solving for interpolation	2010-11-10	Paper
Aligators for Arrays (Tool Paper)	2010-10-12	Paper
Non-monotonic Refinement of Control Abstraction for Concurrent Programs	2010-10-04	Paper
Thread-Modular Counterexample-Guided Abstraction Refinement	2010-10-01	Paper
Applying Prolog to develop distributed systems	2010-08-19	Paper
Summarization for termination: No return!	2010-02-05	Paper
Cardinality Abstraction for Declarative Networking Applications	2009-06-30	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Precise Thread-Modular Verification	2009-03-03	Paper
Model Checking Duration Calculus: A Practical Approach	2008-09-11	Paper
Thread-Modular Verification Is Cartesian Abstract Interpretation	2008-09-11	Paper
Model checking duration calculus: a practical approach	2008-08-21	Paper
Proving Conditional Termination	2008-07-15	Paper
Heap Assumptions on Demand	2008-07-15	Paper
Constraint Solving for Interpolation	2008-04-04	Paper
Invariant Synthesis for Combined Theories	2008-04-04	Paper
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL	2007-11-01	Paper
Static Analysis	2006-10-31	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper

Research outcomes over time

This page was built for person: Andrey Rybalchenko