Concepedia

Author

Andrey Rybalchenko

Max Planck Institute for Informatics

Also Known As

A. Rybalchenko, Andrey Rybalchenko, Rybalchenko, A., Rybalchenko, Andrey, Sandip Ray

135

Publications

5.2K

Citations

40

H-Index

66

Concepts

All Affiliations

Max Planck Institute for InformaticsMicrosoft Research (United Kingdom)Technical University of MunichMax Planck SocietyMicrosoft (United States)
AR

About

Andrey Rybalchenko is an author at Max Planck Institute for Informatics specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

26

38

3.1K

2

Computer Science

26

38

3.1K

3

Computer Engineering

16

16

1.5K

4

Business

2

2

95

5

Data Science

2

2

273

Andrey Rybalchenko

×

42

Publications

3.2K

Citations

28

H-Index

YearCitations

Termination proofs for systems code

Byron Cook, Andreas Podelski, Andrey Rybalchenko

ACM SIGPLAN Notices

2006

319

Transition invariants

Andreas Podelski, Andrey Rybalchenko

Logic in Computer Science

2004

251

Synthesizing software verifiers from proof rules

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea,

2012

237

Termination proofs for systems code

Byron Cook, Andreas Podelski, Andrey Rybalchenko

2006

234

Automatic Discovery and Quantification of Information Leaks

Michael Backes, Boris Köpf, Andrey Rybalchenko

2009

203

Proving non-termination

Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar,

2008

155

Transition invariants

Andreas Podelski, Andrey Rybalchenko

2004

153

Path invariants

Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar,

2007

141

Proving program termination

Byron Cook, Andreas Podelski, Andrey Rybalchenko

Communications of the ACM

2011

128

Proving that programs eventually do something good

Byron Cook, Alexey Gotsman, Andreas Podelski,

ACM SIGPLAN Notices

2007

88

Page 1