×

zbMATH — the first resource for mathematics

Rybalchenko, Andrey

Compute Distance To:
Author ID: rybalchenko.andrey Recent zbMATH articles by "Rybalchenko, Andrey"
Published as: Rybalchenko, Andrey
Documents Indexed: 41 Publications since 2004, including 4 Books

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 228 times in 159 Documents Cited by Year
A complete method for the synthesis of linear ranking functions. Zbl 1202.68109
Podelski, Andreas; Rybalchenko, Andrey
35
2004
Transition invariants and transition predicate abstraction for program termination. Zbl 1315.68104
Podelski, Andreas; Rybalchenko, Andrey
27
2011
Abstraction refinement for termination. Zbl 1141.68365
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
22
2005
Constraint solving for interpolation. Zbl 1132.68480
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
17
2007
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
14
2007
Transition predicate abstraction and fair termination. Zbl 1369.68152
Podelski, Andreas; Rybalchenko, Andrey
11
2005
Proving conditional termination. Zbl 1155.68431
Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly
10
2008
Predicate abstraction and refinement for verifying multi-threaded programs. Zbl 1284.68427
Gupta, Ashutosh; Popeea, Corneliu; Rybalchenko, Andrey
9
2011
Constraint solving for interpolation. Zbl 1213.68389
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
9
2010
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
9
2008
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
9
2007
Separation logic modulo theories. Zbl 1426.68058
Navarro Pérez, Juan Antonio; Rybalchenko, Andrey
8
2013
Predicate abstraction for program verification. Zbl 1392.68253
Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey
6
2018
Horn clause solvers for program verification. Zbl 06484064
Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey
6
2015
A constraint-based approach to solving games on infinite graphs. Zbl 1284.91009
Beyene, Tewodros; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey
4
2014
Model checking duration calculus: a practical approach. Zbl 1151.68487
Meyer, Roland; Faber, Johannes; Hoenicke, Jochen; Rybalchenko, Andrey
4
2008
Model checking duration calculus: A practical approach. Zbl 1168.68425
Meyer, Roland; Faber, Johannes; Rybalchenko, Andrey
4
2006
Compositional termination proofs for multi-threaded programs. Zbl 1352.68067
Popeea, Corneliu; Rybalchenko, Andrey
3
2012
Applying prolog to develop distributed systems. Zbl 1205.68087
Lopes, Nuno P.; Navarro, Juan A.; Rybalchenko, Andrey; Singh, Atul
3
2010
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
3
2009
Summarization for termination: No return! Zbl 1185.68412
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
3
2009
Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139
Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas
3
2007
Thread-modular verification is Cartesian abstract interpretation. Zbl 1168.68423
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
2
2006
Scaling network verification using symmetry and surgery. Zbl 1347.68237
Plotkin, Gordon D.; Bjørner, Nikolaj; Lopes, Nuno P.; Rybalchenko, Andrey; Varghese, George
1
2016
Distributed and predictable software model checking. Zbl 1317.68121
Lopes, Nuno P.; Rybalchenko, Andrey
1
2011
Thread-modular counterexample-guided abstraction refinement. Zbl 1306.68031
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
1
2010
Cardinality abstraction for declarative networking applications. Zbl 1242.68059
Pérez, Juan Antonio Navarro; Rybalchenko, Andrey; Singh, Atul
1
2009
Heap assumptions on demand. Zbl 1155.68446
Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas
1
2008
Precise thread-modular verification. Zbl 1211.68095
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
1
2007
Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066
Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey
1
2005
Predicate abstraction for program verification. Zbl 1392.68253
Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey
6
2018
Scaling network verification using symmetry and surgery. Zbl 1347.68237
Plotkin, Gordon D.; Bjørner, Nikolaj; Lopes, Nuno P.; Rybalchenko, Andrey; Varghese, George
1
2016
Horn clause solvers for program verification. Zbl 06484064
Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey
6
2015
A constraint-based approach to solving games on infinite graphs. Zbl 1284.91009
Beyene, Tewodros; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey
4
2014
Separation logic modulo theories. Zbl 1426.68058
Navarro Pérez, Juan Antonio; Rybalchenko, Andrey
8
2013
Compositional termination proofs for multi-threaded programs. Zbl 1352.68067
Popeea, Corneliu; Rybalchenko, Andrey
3
2012
Transition invariants and transition predicate abstraction for program termination. Zbl 1315.68104
Podelski, Andreas; Rybalchenko, Andrey
27
2011
Predicate abstraction and refinement for verifying multi-threaded programs. Zbl 1284.68427
Gupta, Ashutosh; Popeea, Corneliu; Rybalchenko, Andrey
9
2011
Distributed and predictable software model checking. Zbl 1317.68121
Lopes, Nuno P.; Rybalchenko, Andrey
1
2011
Constraint solving for interpolation. Zbl 1213.68389
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
9
2010
Applying prolog to develop distributed systems. Zbl 1205.68087
Lopes, Nuno P.; Navarro, Juan A.; Rybalchenko, Andrey; Singh, Atul
3
2010
Thread-modular counterexample-guided abstraction refinement. Zbl 1306.68031
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
1
2010
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
3
2009
Summarization for termination: No return! Zbl 1185.68412
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
3
2009
Cardinality abstraction for declarative networking applications. Zbl 1242.68059
Pérez, Juan Antonio Navarro; Rybalchenko, Andrey; Singh, Atul
1
2009
Proving conditional termination. Zbl 1155.68431
Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly
10
2008
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
9
2008
Model checking duration calculus: a practical approach. Zbl 1151.68487
Meyer, Roland; Faber, Johannes; Hoenicke, Jochen; Rybalchenko, Andrey
4
2008
Heap assumptions on demand. Zbl 1155.68446
Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas
1
2008
Constraint solving for interpolation. Zbl 1132.68480
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
17
2007
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
14
2007
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
9
2007
Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139
Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas
3
2007
Precise thread-modular verification. Zbl 1211.68095
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
1
2007
Model checking duration calculus: A practical approach. Zbl 1168.68425
Meyer, Roland; Faber, Johannes; Rybalchenko, Andrey
4
2006
Thread-modular verification is Cartesian abstract interpretation. Zbl 1168.68423
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
2
2006
Abstraction refinement for termination. Zbl 1141.68365
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
22
2005
Transition predicate abstraction and fair termination. Zbl 1369.68152
Podelski, Andreas; Rybalchenko, Andrey
11
2005
Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066
Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey
1
2005
A complete method for the synthesis of linear ranking functions. Zbl 1202.68109
Podelski, Andreas; Rybalchenko, Andrey
35
2004
all top 5

Cited by 314 Authors

9 Kröning, Daniel
8 Rybalchenko, Andrey
6 Genaim, Samir
6 Podelski, Andreas
5 Cook, Byron
5 Giesl, Jürgen
5 Steila, Silvia
4 Ben-Amram, Amir M.
4 Brockschmidt, Marc
4 Fuhs, Carsten
4 Kapur, Deepak
4 Kuncak, Viktor
4 Rümmer, Philipp
4 Schneider-Kamp, Peter
4 Vojnar, Tomáš
4 Wintersteiger, Christoph M.
3 Albert, Elvira
3 Bruttomesso, Roberto
3 Demri, Stéphane P.
3 Frohn, Florian
3 Ghilardi, Silvio
3 Hensel, Jera
3 Iosif, Radu
3 Mesnard, Fred
3 Mili, Ali
3 Miné, Antoine
3 Namjoshi, Kedar S.
3 Ranise, Silvio
3 Sharygina, Natasha
3 Sofronie-Stokkermans, Viorica
3 Wahl, Thomas
3 Wehrle, Martin
3 Wies, Thomas
3 Xia, Bican
3 Yokoyama, Keita
3 Zhan, Naijun
2 Aschermann, Cornelius
2 Beyer, Dirk
2 Bouajjani, Ahmed
2 Deters, Morgan
2 Enea, Constantin
2 Falke, Stephan
2 Finkel, Alain
2 Flores-Montoya, Antonio
2 Furia, Carlo Alberto
2 Ghardallou, Wided
2 Griggio, Alberto
2 Grumberg, Orna
2 Habermehl, Peter
2 Kaiser, Alexander D.
2 Kupferschmid, Sebastian
2 Larraz, Daniel
2 Lynch, Christopher A.
2 Martin-Martin, Enrique
2 McMillan, Kenneth L.
2 Meyer, Bertrand
2 Olderog, Ernst-Rüdiger
2 Oliveras, Albert
2 Payet, Étienne
2 Piskac, Ruzica
2 Piterman, Nir
2 Plücker, Martin
2 Rodríguez-Carbonell, Enric
2 Rogalewicz, Adam
2 Rubio, Albert
2 Sebastiani, Roberto
2 Seghir, Mohamed Nassim
2 Sighireanu, Mihaela
2 Ströder, Thomas
2 Tang, Yuefeng
2 Tinelli, Cesare
2 Tsitovich, Aliaksei
2 Weissenbacher, Georg
2 Xu, Ming
2 Yang, Zhengfeng
2 Yavuz, Tuba
2 Zeng, Zhenbing
2 Zhang, Zhihai
2 Zuleger, Florian
1 Abdelzaher, Tarek F.
1 Aharon, Shir
1 Aiken, Alex
1 Alberti, Francesco
1 Arenas, Puri
1 Atig, Mohamed Faouzi
1 Babić, Domagoj
1 Back, Ralph-Johan
1 Bagnara, Roberto
1 Barrett, Clark W.
1 Berardi, Stefano
1 Biere, Armin
1 Bjørner, Nikolaj S.
1 Bohlender, Dimitri
1 Borralleras, Cristina
1 Bouissou, Olivier
1 Bozga, Marius
1 Bradley, Aaron R.
1 Brekling, Aske Wiid
1 Brillout, Angelo
1 Brotherston, James
...and 214 more Authors

Citations by Year