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 that programs eventually do something good	2014-09-12	Paper
Proving non-termination	2014-09-12	Paper
A constraint-based approach to solving games on infinite graphs	2014-04-10	Paper
Predicate abstraction and refinement for verifying multi-threaded programs	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
Thread-Modular Verification Is Cartesian Abstract Interpretation	2008-09-11	Paper
Model Checking Duration Calculus: A Practical Approach	2008-09-11	Paper
Model checking duration calculus: a practical approach	2008-08-21	Paper
Heap Assumptions on Demand	2008-07-15	Paper
Proving Conditional Termination	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrey Rybalchenko