Search for persons
X
?
Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science ,
1
Supercharging Plant Configurations Using Z3:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
SL-COMP: Competition of Solvers for Separation Logic:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
3
Fast BGP Simulation of Large Datacenters:
, In:
?
Proceedings of the 26th Symposium on Operating Systems Principles ,
5
CrystalNet : Faithfully Emulating Large Production Netwo..:
, In:
?
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ,
8
Scaling network verification using symmetry and surgery:
, In:
?
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
10
Cardinalities and universal quantifiers for verifying param..:
, In:
?
11
Verified Software: Theories, Tools, Experiments
5th International Conference, VSTTE 2013, Menlo Park, CA, U...
Lecture Notes in Computer Science ; 8164;SpringerLink, Bücher
?
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ,
15