Andrey Rybalchenko Vis

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

Coauthor Index

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

Colors in the list of coauthors