Portrait of Andrey Rybalchenko

Andrey Rybalchenko

Senior Researcher

About

Andrey Rybalchenko is a researcher in the Programming Principles and Tools group.

Publications

View by:

2016

2015

2014

2013

Projects

Path invariants Link description

Path Invariants

Date

June 14, 2007

Speakers

Andrey Rybalchenko

Affiliation

EPFL and MPI

Transition Invariants Link description

Transition Invariants

Date

October 29, 2004

Speakers

Andrey Rybalchenko

Affiliation

Max-Planck-Institut fuer Informatik, Saarbruecken

Other

My Computer Science Bibliography: