Andrey Rybalchenko Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna E. Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner: Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings Springer 2009
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Cardinality Abstraction for Declarative Networking Applications. CAV 2009: 584-598
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Andrey Rybalchenko: InvGen: An Efficient Invariant Generator. CAV 2009: 634-640
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Backes, Boris Köpf, Andrey Rybalchenko: Automatic Discovery and Quantification of Information Leaks. IEEE Symposium on Security and Privacy 2009: 141-153
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan A. Navarro, Andrey Rybalchenko: Operational Semantics for Declarative Networking. PADL 2009: 76-90
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Rupak Majumdar, Andrey Rybalchenko: Verifying liveness for asynchronous programs. POPL 2009: 102-113
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko, Rishabh Singh: Subsumer-First: Steering Symbolic Reachability Analysis. SPIN 2009: 192-204
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Rupak Majumdar, Andrey Rybalchenko: From Tests to Proofs. TACAS 2009: 262-276
2008
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko, Thomas Wies: Heap Assumptions on Demand. CAV 2008: 314-327
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv: Proving Conditional Termination. CAV 2008: 328-340
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko: Model checking Duration Calculus: a practical approach. Formal Asp. Comput. 20(4-5): 481-505 (2008)
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. PADL 2007: 245-259
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Proving thread termination. PLDI 2007: 320-330
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi: Proving that programs eventually do something good. POPL 2007: 265-276
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Malkis, Andreas Podelski, Andrey Rybalchenko: Precise Thread-Modular Verification. SAS 2007: 218-232
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko, Viorica Sofronie-Stokkermans: Constraint Solving for Interpolation. VMCAI 2007: 346-362
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition predicate abstraction and fair termination. ACM Trans. Program. Lang. Syst. 29(3): (2007)
2006
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Terminator: Beyond Safety. CAV 2006: 415-418
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Malkis, Andreas Podelski, Andrey Rybalchenko: Thread-Modular Verification Is Cartesian Abstract Interpretation. ICTAC 2006: 183-197
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Meyer, Johannes Faber, Andrey Rybalchenko: Model Checking Duration Calculus: A Practical Approach. ICTAC 2006: 332-346
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski: Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. MoChArt 2006: 51-66
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Termination proofs for systems code. PLDI 2006: 415-426
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition predicate abstraction and fair termination. POPL 2005: 132-144
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Abstraction Refinement for Termination. SAS 2005: 87-101
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Pnueli, Andreas Podelski, Andrey Rybalchenko: Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. TACAS 2005: 124-139
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition Invariants. LICS 2004: 32-41
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: A Complete Method for the Synthesis of Linear Ranking Functions. VMCAI 2004: 239-251

Coauthor Index

1Michael Backes [27]
2Dirk Beyer [12] [17]
3Byron Cook [4] [6] [10] [15] [16] [21]
4Johannes Faber [8] [19]
5Anna E. Frid [30]
6Pierre Ganty [25]
7Alexey Gotsman [15]
8Sumit Gulwani [21]
9Ashutosh Gupta [20] [23] [28]
10Thomas A. Henzinger [12] [17] [20]
11Jochen Hoenicke [19]
12Jörg Hoffmann [7]
13Boris Köpf [27]
14Sebastian Kupferschmid [7]
15Tal Lev-Ami [21]
16Rupak Majumdar [12] [17] [20] [23] [25]
17Alexander Malkis [9] [14]
18Roland Meyer [8] [19]
19Andrey Morozov [30]
20Juan A. Navarro [26]
21Juan Antonio Navarro Pérez [29]
22Amir Pnueli [3]
23Andreas Podelski [1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [14] [15] [16] [18] [22]
24Shmuel Sagiv (Mooly Sagiv) [21]
25Atul Singh [29]
26Rishabh Singh [24]
27Jan-Georg Smaus [7]
28Viorica Sofronie-Stokkermans (Viorica Sofronie) [13]
29Moshe Y. Vardi [15]
30Klaus W. Wagner [30]
31Thomas Wies [22]
32Ru-Gang Xu [20]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)