Andrey Rybalchenko
AuthID: R-006-EQM
1
TÃTULO: Supercharging Plant Configurations Using Z3
AUTORES: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLICAÇÃO: 2021, FONTE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
AUTORES: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLICAÇÃO: 2021, FONTE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Fast BGP Simulation of Large Datacenters
AUTORES: Nuno P Lopes ; Andrey Rybalchenko;
PUBLICAÇÃO: 2019, FONTE: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, VOLUME: 11388
AUTORES: Nuno P Lopes ; Andrey Rybalchenko;
PUBLICAÇÃO: 2019, FONTE: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, VOLUME: 11388
3
TÃTULO: Scaling network verification using symmetry and surgery
AUTORES: Gordon D Plotkin; Nikolaj Bjørner; Nuno P Lopes ; Andrey Rybalchenko; George Varghese;
PUBLICAÇÃO: 2016, FONTE: 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, NÚMERO: 1
AUTORES: Gordon D Plotkin; Nikolaj Bjørner; Nuno P Lopes ; Andrey Rybalchenko; George Varghese;
PUBLICAÇÃO: 2016, FONTE: 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, NÚMERO: 1
INDEXADO EM: 
Scopus DBLP
Scopus DBLP4
TÃTULO: Synthesizing Software Verifiers from Proof Rules
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 6
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 6
INDEXADO EM: Scopus 
WOS
Scopus WOS5
TÃTULO: HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution)
AUTORES: Grebenshchikov, S; Gupta, A; Lopes, NP ; Popeea, C; Rybalchenko, A;
PUBLICAÇÃO: 2012, FONTE: 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
AUTORES: Grebenshchikov, S; Gupta, A; Lopes, NP ; Popeea, C; Rybalchenko, A;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP6
TÃTULO: Synthesizing software verifiers from proof rules
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: 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
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: 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
TÃTULO: HSF(C): A Software Verifier Based on Horn Clauses
AUTORES: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTORES: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef8
TÃTULO: Distributed and Predictable Software Model Checking Full Text
AUTORES: Lopes, NP ; Rybalchenko, A;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Verification, Model Checking, and Abstract Interpretation in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME: 6538
AUTORES: Lopes, NP ; Rybalchenko, A;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Verification, Model Checking, and Abstract Interpretation in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME: 6538
