Andrey Rybalchenko

Cited by

	All	Since 2016
Citations	5922	2282
h-index	39	29
i10-index	69	50

600

300

150

450

2005200620072008200920102011201220132014201520162017201820192020202158 89 175 224 268 352 315 415 526 581 571 516 543 438 392 377 16

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
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Nuno P. LopesMicrosoft ResearchVerified email at ist.utl.pt
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Juan Antonio Navarro PérezGoogleVerified email at google.com
Boris KöpfMicrosoft ResearchVerified email at microsoft.com
Tewodros A BeyeneTechnical University of MunichVerified email at model.in.tum.de
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Sergey GrebenshchikovTechnische Universität MünchenVerified email at in.tum.de
Viorica Sofronie-StokkermansProfessor, University Koblenz-LandauVerified email at uni-koblenz.de
Klaus v. GleissenthallAssistant Professor, Vrije Universiteit AmsterdamVerified email at ucsd.edu
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Security, SaarlandVerified email at cispa.saarland
Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Mooly SagivTel Aviv UniversityVerified email at acm.org

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	459	2004
Termination proofs for systems code B Cook, A Podelski, A Rybalchenko ACM SIGPLAN Notices 41 (6), 415-426, 2006	433	2006
Transition invariants A Podelski, A Rybalchenko Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	338	2004
Synthesizing software verifiers from proof rules S Grebenshchikov, NP Lopes, C Popeea, A Rybalchenko ACM SIGPLAN Notices 47 (6), 405-416, 2012	248	2012
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	228	2009
Path invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	228	2007
ARMC: the logical choice for software model checking with abstraction refinement A Podelski, A Rybalchenko International Symposium on Practical Aspects of Declarative Languages, 245-259, 2007	198	2007
Proving program termination B Cook, A Podelski, A Rybalchenko Communications of the ACM 54 (5), 88-98, 2011	183*	2011
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	178	2008
Invgen: An efficient invariant generator A Gupta, A Rybalchenko International Conference on Computer Aided Verification, 634-640, 2009	162	2009
Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II, 24-51, 2015	154	2015
TERMINATOR: beyond safety B Cook, A Podelski, A Rybalchenko Computer Aided Verification, 415-418, 2006	153	2006
Terminator: beyond safety B Cook, A Podelski, A Rybalchenko Computer Aided Verification, 415-418, 2006	153	2006
Terminator: beyond safety B Cook, A Podelski, A Rybalchenko Computer Aided Verification, 415-418, 2006	153	2006
Abstraction refinement for termination B Cook, A Podelski, A Rybalchenko International Static Analysis Symposium, 87-101, 2005	145	2005
Transition predicate abstraction and fair termination A Podelski, A Rybalchenko ACM SIGPLAN Notices 40 (1), 132-144, 2005	128	2005
Invariant synthesis for combined theories D Beyer, TA Henzinger, R Majumdar, A Rybalchenko International Workshop on Verification, Model Checking, and Abstract …, 2007	121	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	120	2007
On solving universally quantified horn clauses N Bjørner, K McMillan, A Rybalchenko International Static Analysis Symposium, 105-125, 2013	117	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	109	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

Upload PDF

Follow this author

Cited by

Co-authors