MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Andrey Rybalchenko" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

ARMC: the logical choice for software model checking with abstraction refinement
by Andreas Podelski, Andrey Rybalchenko — 2007 — In PADL
… 1,3 and Andrey Rybalchenko 2,3 1 University of Freiburg 2 Ecole Polytechnique FédéraledeLausanne 3…
Cited by 11 (1 self) – Add To MetaCart

Transition Invariants
by Andreas Podelski, Andrey Rybalchenko
… grant 01 IS C38. Transition Invariants Andreas Podelski Andrey Rybalchenko Max-Planck-Institut für…
Cited by 37 (12 self) – Add To MetaCart

Proving that programs eventually do something good
by Byron Cook, Andrey Rybalchenko — 2007 — In POPL’06: Principles of Programming Languages
…@(email omitted); Andrey Rybalchenko EPFL and MPI-Saarbrücken rybal@(email omitted); Abstract In recent years we have seen…
Cited by 14 (3 self) – Add To MetaCart

Thread-Modular Verification and Cartesian Abstraction, presented at the Thread Verification workshop
by Er Malkis, Andreas Podelski, Andrey Rybalchenko, Albert-ludwigs-universität Freiburg — 2006 — Interpretation, 3rd International Colloquium on Theoretical Aspects of Computing
…,2 , Andrey Rybalchenko 1,3 Max-Planck Institut für Informatik, Saarbrücken Albert…
Cited by 2 (2 self) – Add To MetaCart

Separating fairness and well-foundedness for the analysis of fair discrete systems
by Amir Pnueli, Andreas Podelski, Andrey Rybalchenko — 2005 — In TACAS’05: Tools and Algorithms for the Construction and Analysis of Systems (2005
… , Andreas Podelski 2 , and Andrey Rybalchenko 2 1 New York University, New York 2 Max-Planck-Institut für…
Cited by 3 (2 self) – Add To MetaCart

Abstraction Refinement for Termination
by Byron Cook, Andreas Podelski, Andrey Rybalchenko — 2005 — IN SAS’2005: STATIC ANALYSIS SYMPOSIUM, VOLUME 3672 OF LNCS
…Abstraction Refinement for Termination Byron Cook 1 , Andreas Podelski 2 , and Andrey Rybalchenko…
Cited by 32 (10 self) – Add To MetaCart

Termination Proofs for Systems Code
by Byron Cook, Andreas Podelski, Andrey Rybalchenko — 2006 — IN PLDI’06: PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
… Informatik podelski@(email omitted); Andrey Rybalchenko Max-Planck-Institut für Informatik and EPFL rybal…
Cited by 43 (12 self) – Add To MetaCart

Terminator: Beyond Safety
by Byron Cook, Andreas Podelski, Andrey Rybalchenko — 2006 — IN CAV
…Terminator: Beyond Safety Byron Cook 1 , Andreas Podelski 2,3 , and Andrey Rybalchenko 2,4 1…
Cited by 22 (4 self) – Add To MetaCart

Using predicate abstraction to generate heuristic functions in uppaal
by Jörg Hoffmann, Jan-georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski — 2006 — In Model Checking and Artificial Intelligence, MoChArt’06
…-Georg Smaus 2 , Andrey Rybalchenko 3,4 , Sebastian Kupferschmid 2 , and Andreas Podelski 2 1 Digital…
Cited by 3 (2 self) – Add To MetaCart

Invariant synthesis for combined theories
by Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko — 2007 — In Proc. VMCAI, LNCS 4349
… 3 , and Andrey Rybalchenko 2,4 1 Simon Fraser University, Surrey, B.C., Canada 2 EPFL, Lausanne…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB