Concepedia

Andrey Rybalchenko

AR

42

Publications

3.2K

Citations

28

H-Index

2003

Active since

Affiliations

Max Planck Institute for Informatics(Current)

Microsoft Research (United Kingdom)

Technical University of Munich

Max Planck Society

Microsoft (United States)

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

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware TestingSoftware Verification

Publications per year

2003–2018

42

Publications

42

Termination proofs for systems code

Byron Cook, Andreas Podelski, Andrey Rybalchenko · ACM SIGPLAN Notices · 2006 · 319 citations

Program Checking, Engineering, Verification +21

Transition invariants

Andreas Podelski, Andrey Rybalchenko · Logic in Computer Science · 2004 · 251 citations

Formal Specification, Engineering, Program Checking +13

Synthesizing software verifiers from proof rules

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea et al. · 2012 · 237 citations

Program Checking, Engineering, Verification +23

Termination proofs for systems code

Byron Cook, Andreas Podelski, Andrey Rybalchenko · 2006 · 234 citations

Program Checking, Engineering, Verification +21

Automatic Discovery and Quantification of Information Leaks

Michael Backes, Boris Köpf, Andrey Rybalchenko · 2009 · 203 citations

Program Checking, Engineering, Information Security +28

Rows per page

1–5 of 42