E-LIB Suche - Ergebnisse für: Rybalchenko, Andrey

1

Supercharging Plant Configurations Using Z3:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Bjørner, Nikolaj ; Levatich, Maxwell ; Lopes, Nuno P... - p. 1-25 , 2021

Link: https://doi.org/10.1007/..

2

Fast BGP Simulation of Large Datacenters:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Lopes, Nuno P. ; Rybalchenko, Andrey - p. 386-408 , 2019

Link: https://doi.org/10.1007/..

3

SL-COMP: Competition of Solvers for Separation Logic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Sighireanu, Mihaela ; Navarro Pérez, Juan A. ; Rybalchenko, Andrey... - p. 116-132 , 2019

Link: https://doi.org/10.1007/..

4

Predicate Abstraction for Program Verification:

, In: Handbook of Model Checking,

Jhala, Ranjit ; Podelski, Andreas ; Rybalchenko, Andrey - p. 447-491 , 2018

Link: https://doi.org/10.1007/..

5

CrystalNet : Faithfully Emulating Large Production Netwo..:

, In: Proceedings of the 26th Symposium on Operating Systems Principles,

Liu, Hongqiang Harry ; Zhu, Yibo ; Padhye, Jitu... - p. 599-613 , 2017

Link: https://dl.acm.org/doi/1..

6

Scaling network verification using symmetry and surgery:

Plotkin, Gordon D. ; Bjørner, Nikolaj ; Lopes, Nuno P...
ACM SIGPLAN Notices. 51 (2016) 1 - p. 69-83 , 2016

Link: https://doi.org/10.1145/..

7

Cardinalities and universal quantifiers for verifying param..:

Gleissenthall, Klaus v. ; Bjørner, Nikolaj ; Rybalchenko, Andrey
ACM SIGPLAN Notices. 51 (2016) 6 - p. 599-613 , 2016

Link: https://doi.org/10.1145/..

8

Cardinalities and universal quantifiers for verifying param..:

, In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Gleissenthall, Klaus v. ; Bjørner, Nikolaj ; Rybalchenko, Andrey - p. 599-613 , 2016

Link: https://dl.acm.org/doi/1..

9

Scaling network verification using symmetry and surgery:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Plotkin, Gordon D. ; Bjørner, Nikolaj ; Lopes, Nuno P... - p. 69-83 , 2016

Link: https://dl.acm.org/doi/1..

10

Preface: Special Issue on Interpolation:

Kroening, Daniel ; Rybalchenko, Andrey
Journal of Automated Reasoning. 57 (2016) 1 - p. 1-2 , 2016

Link: https://doi.org/10.1007/..

11

Verified Software: Theories, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, U... Lecture Notes in Computer Science ; 8164;SpringerLink, Bücher

Cohen, Ernie ; Rybalchenko, Andrey , 2014

Link: https://doi.org/10.1007/..

12

Session details: Reasoning:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Rybalchenko, Andrey , 2014

Link: https://dl.acm.org/doi/1..

13

CTL+FO verification as constraint solving:

, In: Proceedings of the 2014 International SPIN Symposium on Model Checking of Software,

Beyene, Tewodros A. ; Brockschmidt, Marc ; Rybalchenko, Andrey - p. 101-104 , 2014

Link: https://dl.acm.org/doi/1..

14

Reduction for Compositional Verification of Multi-Threaded ..:

, In: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,

Popeea, Corneliu ; Rybalchenko, Andrey ; Wilhelm, Andreas - p. 187-194 , 2014

Link: https://dl.acm.org/doi/1..

15

A constraint-based approach to solving games on infinite gr..:

Beyene, Tewodros ; Chaudhuri, Swarat ; Popeea, Corneliu.
ACM SIGPLAN Notices. 49 (2014) 1 - p. 221-233 , 2014

Link: https://doi.org/10.1145/..