Andrey Rybalchenko

Cited by

	All	Since 2018
Citations	6786	2079
h-index	40	24
i10-index	72	41

600

300

150

450

200520062007200820092010201120122013201420152016201720182019202020212022202357 85 165 222 260 358 316 415 525 592 579 507 532 444 380 390 386 352 127

Public access

View all

13 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
Boris KöpfAzure Research, MicrosoftVerified 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
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Klaus v. GleissenthallAssistant Professor, Vrije Universiteit AmsterdamVerified email at ucsd.edu
Viorica Sofronie-StokkermansProfessor, University Koblenz-LandauVerified email at uni-koblenz.de
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
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Swarat ChaudhuriUT AustinVerified 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

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 Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	530	2004
Termination proofs for systems code B Cook, A Podelski, A Rybalchenko ACM SIGPLAN Notices 41 (6), 415-426, 2006	466	2006
Transition invariants A Podelski, A Rybalchenko Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	364	2004
Synthesizing software verifiers from proof rules S Grebenshchikov, NP Lopes, C Popeea, A Rybalchenko ACM SIGPLAN Notices 47 (6), 405-416, 2012	312	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	272	2009
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	263	2015
Path invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	256	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	212	2008
ARMC: the logical choice for software model checking with abstraction refinement A Podelski, A Rybalchenko Practical Aspects of Declarative Languages: 9th International Symposium …, 2007	206	2007
Invgen: An efficient invariant generator A Gupta, A Rybalchenko Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	196	2009
TERMINATOR: beyond safety B Cook, A Podelski, A Rybalchenko Computer Aided Verification, 415-418, 2006	176*	2006
Proving program termination B Cook, A Podelski, A Rybalchenko Communications of the ACM 54 (5), 88-98, 2011	156	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	149	2013
Abstraction refinement for termination B Cook, A Podelski, A Rybalchenko Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005	148	2005
Transition predicate abstraction and fair termination A Podelski, A Rybalchenko ACM SIGPLAN Notices 40 (1), 132-144, 2005	140	2005
Invariant synthesis for combined theories D Beyer, TA Henzinger, R Majumdar, A Rybalchenko VMCAI 4349, 378-394, 2007	137	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	129	2007
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	122	2016
Solving existentially quantified horn clauses TA Beyene, C Popeea, A Rybalchenko Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	122	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	120	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