Andrey Rybalchenko

Cited by

	All	Since 2019
Citations	7270	2117
h-index	41	24
i10-index	73	44

600

300

150

450

2005200620072008200920102011201220132014201520162017201820192020202120222023202459 88 168 215 277 348 313 411 519 595 574 517 518 440 379 379 380 362 333 284

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Corneliu PopeeaTechnische Universität MünchenVerified email at model.in.tum.de
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Juan Antonio Navarro PérezGoogleVerified email at google.com
Tewodros A. Beyenefortiss GmbHVerified email at fortiss.org
Boris KöpfAzure Research, MicrosoftVerified email at microsoft.com
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Sergey GrebenshchikovTechnische Universität MünchenVerified email at in.tum.de
Klaus v. GleissenthallAssistant Professor, Vrije Universiteit AmsterdamVerified email at ucsd.edu
Viorica Sofronie-StokkermansProfessor, University of KoblenzVerified email at uni-koblenz.de
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu
Mooly SagivTel Aviv UniversityVerified email at acm.org
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com

Andrey Rybalchenko

Microsoft Research

Verified email at microsoft.com - Homepage

Software Verification Network Verification Constraint Solving


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A complete method for the synthesis of linear ranking functions A Podelski, A Rybalchenko International Workshop on Verification, Model Checking, and Abstract …, 2004	554	2004
Termination proofs for systems code B Cook, A Podelski, A Rybalchenko ACM SIGPLAN Notices 41 (6), 415-426, 2006	485	2006
Transition invariants A Podelski, A Rybalchenko Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	385	2004
Synthesizing software verifiers from proof rules S Grebenshchikov, NP Lopes, C Popeea, A Rybalchenko ACM SIGPLAN Notices 47 (6), 405-416, 2012	354	2012
Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the …, 2015	320	2015
Automatic discovery and quantification of information leaks M Backes, B Köpf, A Rybalchenko 2009 30th IEEE Symposium on Security and Privacy, 141-153, 2009	279	2009
Path invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	263	2007
Proving non-termination A Gupta, TA Henzinger, R Majumdar, A Rybalchenko, RG Xu Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	232	2008
Invgen: An efficient invariant generator A Gupta, A Rybalchenko Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	207	2009
ARMC: the logical choice for software model checking with abstraction refinement A Podelski, A Rybalchenko Practical Aspects of Declarative Languages: 9th International Symposium …, 2007	207	2007
TERMINATOR: beyond safety B Cook, A Podelski, A Rybalchenko Computer Aided Verification, 415-418, 2006	189*	2006
Proving program termination B Cook, A Podelski, A Rybalchenko Communications of the ACM 54 (5), 88-98, 2011	180	2011
On solving universally quantified horn clauses N Bjørner, K McMillan, A Rybalchenko Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013	165	2013
Abstraction refinement for termination B Cook, A Podelski, A Rybalchenko Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005	150	2005
Automatically verifying reachability and well-formedness in P4 Networks N Lopes, N Bjørner, N McKeown, A Rybalchenko, D Talayco, G Varghese Technical Report, Tech. Rep, 2016	144	2016
Transition predicate abstraction and fair termination A Podelski, A Rybalchenko ACM SIGPLAN Notices 40 (1), 132-144, 2005	143	2005
Invariant synthesis for combined theories D Beyer, TA Henzinger, R Majumdar, A Rybalchenko International Workshop on Verification, Model Checking, and Abstract …, 2007	140	2007
Proving that programs eventually do something good B Cook, A Gotsman, A Podelski, A Rybalchenko, MY Vardi ACM SIGPLAN Notices 42 (1), 265-276, 2007	137	2007
Solving existentially quantified horn clauses TA Beyene, C Popeea, A Rybalchenko Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	130	2013
Predicate abstraction and refinement for verifying multi-threaded programs A Gupta, C Popeea, A Rybalchenko Proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2011	123	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors