Andrey Rybalchenko
AuthID: R-006-EQM
1
TITLE: Supercharging Plant Configurations Using Z3
AUTHORS: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLISHED: 2021, SOURCE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
AUTHORS: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLISHED: 2021, SOURCE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
INDEXED IN: 
DBLP
DBLP2
TITLE: Fast BGP Simulation of Large Datacenters
AUTHORS: Nuno P Lopes ; Andrey Rybalchenko;
PUBLISHED: 2019, SOURCE: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, VOLUME: 11388
AUTHORS: Nuno P Lopes ; Andrey Rybalchenko;
PUBLISHED: 2019, SOURCE: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, VOLUME: 11388
3
TITLE: Scaling network verification using symmetry and surgery
AUTHORS: Gordon D Plotkin; Nikolaj Bjørner; Nuno P Lopes ; Andrey Rybalchenko; George Varghese;
PUBLISHED: 2016, SOURCE: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, VOLUME: 51, ISSUE: 1
AUTHORS: Gordon D Plotkin; Nikolaj Bjørner; Nuno P Lopes ; Andrey Rybalchenko; George Varghese;
PUBLISHED: 2016, SOURCE: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, VOLUME: 51, ISSUE: 1
INDEXED IN: 
Scopus DBLP
Scopus DBLP4
TITLE: Synthesizing Software Verifiers from Proof Rules
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 6
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 6
INDEXED IN: Scopus 
WOS
Scopus WOS5
TITLE: HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution)
AUTHORS: Grebenshchikov, S; Gupta, A; Lopes, NP ; Popeea, C; Rybalchenko, A;
PUBLISHED: 2012, SOURCE: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, VOLUME: 7214
AUTHORS: Grebenshchikov, S; Gupta, A; Lopes, NP ; Popeea, C; Rybalchenko, A;
PUBLISHED: 2012, SOURCE: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, VOLUME: 7214
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP6
TITLE: Synthesizing software verifiers from proof rules
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12 in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12 in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012
7
TITLE: HSF(C): A Software Verifier Based on Horn Clauses
AUTHORS: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTHORS: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef8
TITLE: Distributed and Predictable Software Model Checking Full Text
AUTHORS: Lopes, NP ; Rybalchenko, A;
PUBLISHED: 2011, SOURCE: 12th International Conference on Verification, Model Checking, and Abstract Interpretation in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME: 6538
AUTHORS: Lopes, NP ; Rybalchenko, A;
PUBLISHED: 2011, SOURCE: 12th International Conference on Verification, Model Checking, and Abstract Interpretation in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME: 6538
