Edit Profile Rybalchenko, Andrey Compute Distance To: Compute Author ID: rybalchenko.andrey Published as: Rybalchenko, Andrey Documents Indexed: 41 Publications since 2004, including 4 Books all top 5 Co-Authors 0 single-authored 13 Podelski, Andreas 4 Cook, Byron 4 Lopes, Nuno P. 4 Popeea, Corneliu Alexandru 3 Bjørner, Nikolaj S. 3 Gupta, Ashutosh 3 Henzinger, Thomas A. 3 Majumdar, Rupak 3 Malkis, Alexander 2 Faber, Johannes 2 Köpf, Boris 2 Meyer, Roland 2 Pérez, Juan Antonio Navarro 2 Singh, Atul 2 Sofronie-Stokkermans, Viorica 2 von Gleissenthall, Klaus 1 Beyene, Tewodros 1 Beyer, Dirk 1 Chaudhuri, Swarat 1 Cohen, Ernie 1 Fioravanti, Fabio 1 Frid, Anna Èduardovna 1 Ganty, Pierre 1 Gotsman, Alexey 1 Gulwani, Sumit 1 Gurfinkel, Arie 1 Hoenicke, Jochen 1 Hoffmann, Jörg 1 Hottelier, Thibaud 1 Jhala, Ranjit 1 Kovács, Laura Ildikó 1 Kröning, Daniel 1 Kuncak, Viktor 1 Kupferschmid, Sebastian 1 Lev-Ami, Tal 1 McMillan, Kenneth L. 1 Morozov, Andreĭ Sergeevich 1 Navarro, Juan Antonio 1 Plotkin, Gordon D. 1 Pnueli, Amir 1 Sagiv, Mooly 1 Senni, Valerio 1 Smaus, Jan-Georg 1 Vardi, Moshe Y. 1 Varghese, George 1 Wagner, Klaus W. 1 Wies, Thomas 1 Xu, Ru-Gang all top 5 Serials 3 Lecture Notes in Computer Science 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Formal Methods in System Design 1 Theory and Practice of Logic Programming 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) Fields 41 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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.68109Podelski, Andreas; Rybalchenko, Andrey 35 2004 Transition invariants and transition predicate abstraction for program termination. Zbl 1315.68104Podelski, Andreas; Rybalchenko, Andrey 27 2011 Abstraction refinement for termination. Zbl 1141.68365Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey 22 2005 Constraint solving for interpolation. Zbl 1132.68480Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica 17 2007 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 14 2007 Transition predicate abstraction and fair termination. Zbl 1369.68152Podelski, Andreas; Rybalchenko, Andrey 11 2005 Proving conditional termination. Zbl 1155.68431Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly 10 2008 Predicate abstraction and refinement for verifying multi-threaded programs. Zbl 1284.68427Gupta, Ashutosh; Popeea, Corneliu; Rybalchenko, Andrey 9 2011 Constraint solving for interpolation. Zbl 1213.68389Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica 9 2010 Proving non-termination. Zbl 1295.68158Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang 9 2008 Proving that programs eventually do something good. Zbl 1295.68083Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y. 9 2007 Separation logic modulo theories. Zbl 1426.68058Navarro Pérez, Juan Antonio; Rybalchenko, Andrey 8 2013 Predicate abstraction for program verification. Zbl 1392.68253Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey 6 2018 Horn clause solvers for program verification. Zbl 06484064Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey 6 2015 A constraint-based approach to solving games on infinite graphs. Zbl 1284.91009Beyene, Tewodros; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey 4 2014 Model checking duration calculus: a practical approach. Zbl 1151.68487Meyer, Roland; Faber, Johannes; Hoenicke, Jochen; Rybalchenko, Andrey 4 2008 Model checking duration calculus: A practical approach. Zbl 1168.68425Meyer, Roland; Faber, Johannes; Rybalchenko, Andrey 4 2006 Compositional termination proofs for multi-threaded programs. Zbl 1352.68067Popeea, Corneliu; Rybalchenko, Andrey 3 2012 Applying prolog to develop distributed systems. Zbl 1205.68087Lopes, Nuno P.; Navarro, Juan A.; Rybalchenko, Andrey; Singh, Atul 3 2010 Verifying liveness for asynchronous programs. Zbl 1315.68064Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey 3 2009 Summarization for termination: No return! Zbl 1185.68412Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey 3 2009 Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas 3 2007 Thread-modular verification is Cartesian abstract interpretation. Zbl 1168.68423Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 2 2006 Scaling network verification using symmetry and surgery. Zbl 1347.68237Plotkin, Gordon D.; Bjørner, Nikolaj; Lopes, Nuno P.; Rybalchenko, Andrey; Varghese, George 1 2016 Distributed and predictable software model checking. Zbl 1317.68121Lopes, Nuno P.; Rybalchenko, Andrey 1 2011 Thread-modular counterexample-guided abstraction refinement. Zbl 1306.68031Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 1 2010 Cardinality abstraction for declarative networking applications. Zbl 1242.68059Pérez, Juan Antonio Navarro; Rybalchenko, Andrey; Singh, Atul 1 2009 Heap assumptions on demand. Zbl 1155.68446Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas 1 2008 Precise thread-modular verification. Zbl 1211.68095Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 1 2007 Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey 1 2005 Predicate abstraction for program verification. Zbl 1392.68253Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey 6 2018 Scaling network verification using symmetry and surgery. Zbl 1347.68237Plotkin, Gordon D.; Bjørner, Nikolaj; Lopes, Nuno P.; Rybalchenko, Andrey; Varghese, George 1 2016 Horn clause solvers for program verification. Zbl 06484064Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey 6 2015 A constraint-based approach to solving games on infinite graphs. Zbl 1284.91009Beyene, Tewodros; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey 4 2014 Separation logic modulo theories. Zbl 1426.68058Navarro Pérez, Juan Antonio; Rybalchenko, Andrey 8 2013 Compositional termination proofs for multi-threaded programs. Zbl 1352.68067Popeea, Corneliu; Rybalchenko, Andrey 3 2012 Transition invariants and transition predicate abstraction for program termination. Zbl 1315.68104Podelski, Andreas; Rybalchenko, Andrey 27 2011 Predicate abstraction and refinement for verifying multi-threaded programs. Zbl 1284.68427Gupta, Ashutosh; Popeea, Corneliu; Rybalchenko, Andrey 9 2011 Distributed and predictable software model checking. Zbl 1317.68121Lopes, Nuno P.; Rybalchenko, Andrey 1 2011 Constraint solving for interpolation. Zbl 1213.68389Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica 9 2010 Applying prolog to develop distributed systems. Zbl 1205.68087Lopes, Nuno P.; Navarro, Juan A.; Rybalchenko, Andrey; Singh, Atul 3 2010 Thread-modular counterexample-guided abstraction refinement. Zbl 1306.68031Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 1 2010 Verifying liveness for asynchronous programs. Zbl 1315.68064Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey 3 2009 Summarization for termination: No return! Zbl 1185.68412Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey 3 2009 Cardinality abstraction for declarative networking applications. Zbl 1242.68059Pérez, Juan Antonio Navarro; Rybalchenko, Andrey; Singh, Atul 1 2009 Proving conditional termination. Zbl 1155.68431Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly 10 2008 Proving non-termination. Zbl 1295.68158Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang 9 2008 Model checking duration calculus: a practical approach. Zbl 1151.68487Meyer, Roland; Faber, Johannes; Hoenicke, Jochen; Rybalchenko, Andrey 4 2008 Heap assumptions on demand. Zbl 1155.68446Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas 1 2008 Constraint solving for interpolation. Zbl 1132.68480Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica 17 2007 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 14 2007 Proving that programs eventually do something good. Zbl 1295.68083Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y. 9 2007 Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas 3 2007 Precise thread-modular verification. Zbl 1211.68095Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 1 2007 Model checking duration calculus: A practical approach. Zbl 1168.68425Meyer, Roland; Faber, Johannes; Rybalchenko, Andrey 4 2006 Thread-modular verification is Cartesian abstract interpretation. Zbl 1168.68423Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 2 2006 Abstraction refinement for termination. Zbl 1141.68365Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey 22 2005 Transition predicate abstraction and fair termination. Zbl 1369.68152Podelski, Andreas; Rybalchenko, Andrey 11 2005 Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey 1 2005 A complete method for the synthesis of linear ranking functions. Zbl 1202.68109Podelski, Andreas; Rybalchenko, Andrey 35 2004 all cited Publications top 5 cited Publications 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 all top 5 Cited in 34 Serials 17 Formal Methods in System Design 13 Journal of Automated Reasoning 5 Formal Aspects of Computing 4 Information and Computation 4 Journal of Systems Science and Complexity 4 Theory and Practice of Logic Programming 4 ACM Transactions on Computational Logic 3 Acta Informatica 3 Annals of Mathematics and Artificial Intelligence 3 Computer Languages, Systems & Structures 3 Journal of Logical and Algebraic Methods in Programming 2 Artificial Intelligence 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Journal of Symbolic Computation 2 Logical Methods in Computer Science 1 ACM Computing Surveys 1 International Journal of General Systems 1 Information Processing Letters 1 Advances in Mathematics 1 Journal of Computer and System Sciences 1 The Journal of Symbolic Logic 1 Programming and Computer Software 1 Science of Computer Programming 1 Real-Time Systems 1 Discrete Event Dynamic Systems 1 Journal of Applied Non-Classical Logics 1 Theory of Computing Systems 1 Journal of the ACM 1 The Journal of Logic and Algebraic Programming 1 Sādhanā 1 Mathematics in Computer Science 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science all top 5 Cited in 12 Fields 152 Computer science (68-XX) 43 Mathematical logic and foundations (03-XX) 4 Combinatorics (05-XX) 3 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year