Andrey Rybalchenko Home Page Coauthor index pubzone.org

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

DBLP keys2012
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Andrey Rybalchenko: Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings Springer 2012
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorneliu Popeea, Andrey Rybalchenko: Compositional Termination Proofs for Multi-threaded Programs. TACAS 2012: 237-251
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko: HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS 2012: 549-551
2011
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Solving Recursion-Free Horn Clauses over LI+UIF. APLAS 2011: 188-203
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Threader: A Constraint-Based Verifier for Multi-threaded Programs. CAV 2011: 412-417
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar, Andrey Rybalchenko: HMC: Verifying Functional Programs Using Abstract Interpreters. CAV 2011: 470-485
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Navarro Pérez, Andrey Rybalchenko: Separation logic + superposition calculus = heap theorem prover. PLDI 2011: 556-566
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Predicate abstraction and refinement for verifying multi-threaded programs. POPL 2011: 331-344
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko: Towards automatic synthesis of software verification tools. PPDP 2011: 3-4
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition Invariants and Transition Predicate Abstraction for Program Termination. TACAS 2011: 3-10
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno P. Lopes, Andrey Rybalchenko: Distributed and Predictable Software Model Checking. VMCAI 2011: 340-355
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Proving program termination. Commun. ACM 54(5): 88-98 (2011)
2010
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Non-monotonic Refinement of Control Abstraction for Concurrent Programs. ATVA 2010: 188-202
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko: Constraint Solving for Program Verification: Theory and Practice by Example. CAV 2010: 57-71
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Köpf, Andrey Rybalchenko: Approximation and Randomization for Quantitative Information-Flow Analysis. CSF 2010: 3-14
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko: Constraint Solving for Program Verification: Theory and Practice by Example. CSL 2010: 51
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko: Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Malkis, Andreas Podelski, Andrey Rybalchenko: Thread-Modular Counterexample-Guided Abstraction Refinement. SAS 2010: 356-372
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar, Andrey Rybalchenko: Refinement type inference via abstract interpretation CoRR abs/1004.2884: (2010)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to Develop Distributed Systems CoRR abs/1007.3835: (2010)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko, Viorica Sofronie-Stokkermans: Constraint solving for interpolation. J. Symb. Comput. 45(11): 1212-1233 (2010)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to develop distributed systems. TPLP 10(4-6): 691-707 (2010)
2009
34Electronic 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
33Electronic 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Andrey Rybalchenko: InvGen: An Efficient Invariant Generator. CAV 2009: 634-640
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis: Finding heap-bounds for hardware synthesis. FMCAD 2009: 205-212
30Electronic 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Navarro Pérez, Andrey Rybalchenko: Operational Semantics for Declarative Networking. PADL 2009: 76-90
28Electronic 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko, Rishabh Singh: Subsumer-First: Steering Symbolic Reachability Analysis. SPIN 2009: 192-204
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko: Automated Methods for Proving Program Termination and Liveness. SYNASC 2009: 17
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Rupak Majumdar, Andrey Rybalchenko: From Tests to Proofs. TACAS 2009: 262-276
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Summarization for termination: no return! Formal Methods in System Design 35(3): 369-387 (2009)
2008
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko, Thomas Wies: Heap Assumptions on Demand. CAV 2008: 314-327
22Electronic 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
21Electronic 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
20Electronic 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
19Electronic 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
18Electronic 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Proving thread termination. PLDI 2007: 320-330
16Electronic 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Malkis, Andreas Podelski, Andrey Rybalchenko: Precise Thread-Modular Verification. SAS 2007: 218-232
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko, Viorica Sofronie-Stokkermans: Constraint Solving for Interpolation. VMCAI 2007: 346-362
13Electronic 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
12Electronic 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Terminator: Beyond Safety. CAV 2006: 415-418
10Electronic 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
9Electronic 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
8Electronic 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
7Electronic 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition predicate abstraction and fair termination. POPL 2005: 132-144
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Abstraction Refinement for Termination. SAS 2005: 87-101
4Electronic 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Rybalchenko: Temporal verification with transition invariants. Universität Saarbrücken 2005: I-XII, 1-89
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 [30]
2Dirk Beyer [13] [18]
3Byron Cook [5] [7] [11] [16] [17] [22] [24] [31] [45]
4Johannes Faber [9] [20]
5Anna E. Frid [34]
6Pierre Ganty [28]
7Alexey Gotsman [16]
8Sergey Grebenshchikov [54]
9Sumit Gulwani [22]
10Ashutosh Gupta [21] [25] [31] [32] [44] [49] [52] [53] [54]
11Thomas A. Henzinger [13] [18] [21] [40]
12Jochen Hoenicke [20]
13Jörg Hoffmann [8]
14Thibaud Hottelier [40]
15Ranjit Jhala [38] [51]
16Boris Köpf [30] [42]
17Laura Kovács (Laura Ildikó Kovács) [40]
18Viktor Kuncak [56]
19Sebastian Kupferschmid [8]
20Tal Lev-Ami [22]
21Nuno P. Lopes [35] [37] [46] [54]
22Stephen Magill [31]
23Rupak Majumdar [13] [18] [21] [25] [28] [38] [51]
24Alexander Malkis [10] [15] [39]
25Roland Meyer [9] [20]
26Andrey Morozov [34]
27Juan Antonio Navarro Pérez [29] [33] [35] [37] [50]
28Amir Pnueli [4]
29Andreas Podelski [1] [2] [4] [5] [6] [7] [8] [10] [11] [12] [15] [16] [17] [19] [23] [24] [39] [45] [47]
30Corneliu Popeea [44] [49] [52] [53] [54] [55]
31Shmuel Sagiv (Mooly Sagiv) [22]
32Jirí Simsa [31]
33Atul Singh [33] [35] [37]
34Rishabh Singh [27]
35Satnam Singh [31]
36Jan-Georg Smaus [8]
37Viorica Sofronie-Stokkermans (Viorica Sofronie) [14] [36]
38Viktor Vafeiadis [31]
39Moshe Y. Vardi [16]
40Klaus W. Wagner [34]
41Thomas Wies [23]
42Ru-Gang Xu [21]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page