Andrey Rybalchenko
发表
Andreas Podelski,
Alexander Malkis,
Andrey Rybalchenko,
2010,
SAS.
Marc Brockschmidt,
Andrey Rybalchenko,
Tewodros A. Beyene,
2014,
SPIN.
Nikolaj Bjørner,
Kenneth L. McMillan,
Andrey Rybalchenko,
2013,
ArXiv.
Kenneth L. McMillan,
Andrey Rybalchenko,
Nikolaj Bjrner,
2012
.
Daniel Kroening,
Andrey Rybalchenko,
2016,
Journal of Automated Reasoning.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2006,
CAV.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2006
.
Andrey Rybalchenko,
2010,
CAV.
Andrey Rybalchenko,
2014
.
Andrey Rybalchenko,
Nuno P. Lopes,
2011,
VMCAI.
Andrey Rybalchenko,
A. Rybalchenko,
Andrey Rybalchenko,
2014,
ArXiv.
Thomas A. Henzinger,
Laura Kovács,
Andrey Rybalchenko,
2010,
ICLP 2010.
Andrey Rybalchenko,
Boris Köpf,
A. Rybalchenko,
2013,
SFM.
Andreas Podelski,
Andrey Rybalchenko,
A. Rybalchenko,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Swarat Chaudhuri,
Andrey Rybalchenko,
Tewodros A. Beyene,
2014,
POPL.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2007,
VMCAI.
Ashutosh Gupta,
Andrey Rybalchenko,
A. Rybalchenko,
2009,
CAV.
Viktor Kuncak,
Andrey Rybalchenko,
A. Rybalchenko,
2012,
Lecture Notes in Computer Science.
Thomas A. Henzinger,
Rupak Majumdar,
Ashutosh Gupta,
2008,
POPL '08.
Ashutosh Gupta,
Andrey Rybalchenko,
Nuno P. Lopes,
2012,
TACAS.
Andrey Rybalchenko,
2012,
SPIN.
Nikolaj Bjørner,
Fabio Fioravanti,
Andrey Rybalchenko,
2014
.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2007,
PLDI '07.
Atul Singh,
Andrey Rybalchenko,
Juan Antonio Navarro Pérez,
2010,
Theory Pract. Log. Program..
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2011,
CAV.
Andrey Rybalchenko,
A. Rybalchenko,
2004
.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2009,
Formal Methods Syst. Des..
Andreas Podelski,
Andrey Rybalchenko,
2011,
TACAS.
Rupak Majumdar,
Ashutosh Gupta,
Andrey Rybalchenko,
2012,
International Journal on Software Tools for Technology Transfer.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2011,
POPL '11.
Rupak Majumdar,
Ashutosh Gupta,
Andrey Rybalchenko,
2009,
TACAS.
Andreas Podelski,
Andrey Rybalchenko,
Reinhard Wilhelm,
2002
.
Andrey Rybalchenko,
2011,
PPDP.
George Varghese,
Nick McKeown,
Nikolaj Bjørner,
2016
.
Andreas Podelski,
Andrey Rybalchenko,
A. Rybalchenko,
2007,
TOPL.
Stephan Merz,
Bernadette Charron-Bost,
Josef Widder,
2013
.
Andrey Rybalchenko,
Nuno P. Lopes,
A. Rybalchenko,
2019,
VMCAI.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2010,
ATVA.
Rishabh Singh,
Andrey Rybalchenko,
A. Rybalchenko,
2009,
SPIN.
Andreas Podelski,
Andrey Rybalchenko,
A. Rybalchenko,
2003
.
Fabio Fioravanti,
Andrey Rybalchenko,
Valerio Senni,
2014
.
Andreas Podelski,
Andrey Rybalchenko,
A. Rybalchenko,
2004,
VMCAI.
Andrey Rybalchenko,
2010,
CSL.
Andrey Rybalchenko,
Corneliu Popeea,
A. Rybalchenko,
2012,
TACAS.
Viorica Sofronie-Stokkermans,
Andrey Rybalchenko,
A. Rybalchenko,
2007,
J. Symb. Comput..
Andrey Rybalchenko,
Tewodros A. Beyene,
Corneliu Popeea,
2016,
HCVS@ETAPS.
Andrey Rybalchenko,
Ernie Cohen,
2013
.
Andreas Podelski,
Andrey Rybalchenko,
A. Rybalchenko,
2007,
PADL.
Viktor Kuncak,
Andrey Rybalchenko,
A. Rybalchenko,
2012,
VMCAI 2012.
Viktor Vafeiadis,
Satnam Singh,
Ashutosh Gupta,
2009,
2009 Formal Methods in Computer-Aided Design.
Swarat Chaudhuri,
Andrey Rybalchenko,
Tewodros A. Beyene,
2015,
VSTTE.
Andrey Morozov,
Klaus W. Wagner,
Andrey Rybalchenko,
2009,
Computer Science Symposium in Russia.
Michael Backes,
Andrey Rybalchenko,
Boris Köpf,
2009,
2009 30th IEEE Symposium on Security and Privacy.
Stephan Merz,
Bernadette Charron-Bost,
Josef Widder,
2013,
Dagstuhl Reports.
Atul Singh,
Andrey Rybalchenko,
Juan Antonio Navarro Pérez,
2009,
CAV.
Kenneth L. McMillan,
Andrey Rybalchenko,
K. McMillan,
2013
.
Andrey Rybalchenko,
Tewodros A. Beyene,
Corneliu Popeea,
2013,
CAV.
Andrey Rybalchenko,
Ruslán Ledesma-Garza,
2012,
SAS.
Andreas Podelski,
Ranjit Jhala,
Andrey Rybalchenko,
2018,
Handbook of Model Checking.
Andreas Podelski,
Alexander Malkis,
Andrey Rybalchenko,
2006,
ICTAC.
Andreas Podelski,
Alexey Gotsman,
Moshe Y. Vardi,
2007,
POPL '07.
Andrey Rybalchenko,
Boris Köpf,
Klaus von Gleissenthall,
2015,
CAV.
Nikolaj Bjørner,
Andrey Rybalchenko,
Klaus von Gleissenthall,
2016,
PLDI.
Cristina Serban,
Wei-Ngan Chin,
Siau-Cheng Khoo,
2019,
TACAS.
Nikolaj Bjørner,
Kenneth L. McMillan,
Andrey Rybalchenko,
2013,
SAS.
Andrey Rybalchenko,
2014,
SIGL.
Sumit Gulwani,
Shmuel Sagiv,
Byron Cook,
2008,
CAV.
Thomas A. Henzinger,
Laura Kovács,
Andrey Rybalchenko,
2010,
LPAR.
Marc Brockschmidt,
Andrey Rybalchenko,
2014
.
Amir Pnueli,
Andreas Podelski,
Andrey Rybalchenko,
2005,
TACAS.
Andrey Rybalchenko,
Boris Köpf,
A. Rybalchenko,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2005,
SAS.
Jochen Hoenicke,
Roland Meyer,
Johannes Faber,
2006,
Formal Aspects of Computing.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2011,
APLAS.
Andreas Podelski,
Jörg Hoffmann,
Jan-Georg Smaus,
2007,
MoChArt.
Andrey Rybalchenko,
Juan Antonio Navarro Pérez,
A. Rybalchenko,
2013,
APLAS.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2011,
Commun. ACM.
Roland Meyer,
Johannes Faber,
Andrey Rybalchenko,
2006,
ICTAC.
Andreas Podelski,
Thomas Wies,
Andrey Rybalchenko,
2008,
CAV.
Andreas Podelski,
Alexander Malkis,
Andrey Rybalchenko,
2007,
SAS.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2014,
HCVS.
Andrey Rybalchenko,
A. Rybalchenko,
2005,
Ausgezeichnete Informatikdissertationen.
Andrey Rybalchenko,
Corneliu Popeea,
2013,
TACAS.
Nikolaj Bjørner,
Arie Gurfinkel,
Kenneth L. McMillan,
2015,
Fields of Logic and Computation II.
Andrey Rybalchenko,
Juan Antonio Navarro Pérez,
2009,
PADL.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2007,
PLDI '07.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2006,
PLDI '06.
Santiago Zanella Béguelin,
Andrey Rybalchenko,
Klaus von Gleissenthall,
2014,
VPT@CAV.
Nikolaj Bjørner,
Kenneth L. McMillan,
Andrey Rybalchenko,
2013,
SMT@IJCAR.
George Varghese,
Nikolaj Bjørner,
Gordon D. Plotkin,
2016,
POPL.
Rupak Majumdar,
Ranjit Jhala,
Andrey Rybalchenko,
2011,
CAV.
Andrey Rybalchenko,
Juan Antonio Navarro Pérez,
A. Rybalchenko,
2011,
PLDI '11.
Andrey Rybalchenko,
Nuno P. Lopes,
Corneliu Popeea,
2012,
PLDI.
Andrey Rybalchenko,
A. Rybalchenko,
2009,
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Andrey Rybalchenko,
Klaus von Gleissenthall,
2013,
CONCUR.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2005
.
Rupak Majumdar,
Pierre Ganty,
Andrey Rybalchenko,
2009,
POPL '09.
Jitendra Padhye,
Hongqiang Harry Liu,
Yibo Zhu,
2017,
SOSP.
Viorica Sofronie-Stokkermans,
Andrey Rybalchenko,
2010,
J. Symb. Comput..
Andreas Podelski,
Andrey Rybalchenko,
A. Rybalchenko,
2005,
POPL '05.
Andreas Wilhelm,
Andrey Rybalchenko,
Corneliu Popeea,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Andrey Rybalchenko,
Ernie Cohen,
2013,
Lecture Notes in Computer Science.
Nikolaj Bjørner,
Andrey Rybalchenko,
Chandrasekar Vuppalapati,
2021,
CPAIOR.
Andreas Podelski,
Byron Cook,
Andrey Rybalchenko,
2006,
PLDI.
Andrey Rybalchenko,
Juan Antonio Navarro Pérez,
2011,
PLDI.
Andreas Podelski,
Andrey Rybalchenko,
2005,
POPL.
Andrey Rybalchenko,
A. Rybalchenko,
Simon Kramer,
2022
.
Andrey Rybalchenko,
Nuno P. Lopes,
Corneliu Popeea,
2012,
PLDI.