Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Smolka, Steffen
5  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

SwitchV : automated SDN switch validation with P4 models:

, In: Proceedings of the ACM SIGCOMM 2022 Conference,
Albab, Kinan Dak ; DiLorenzo, Jonathan ; Heule, Stefan... - p. 365-379 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Scalable verification of probabilistic networks:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Smolka, Steffen ; Kumar, Praveen ; Kahn, David M.... - p. 190-203 , 2019
Link: https://dl.acm.org/doi/1..
 
?
3

Proof-Carrying Network Code:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Skalka, Christian ; Ring, John ; Darais, David... - p. 1115-1129 , 2019
Link: https://dl.acm.org/doi/1..
 
?
4

Cantor meets Scott: semantic foundations for probabilistic ..:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
Smolka, Steffen ; Kumar, Praveen ; Foster, Nate.. - p. 557-571 , 2017
Link: https://dl.acm.org/doi/1..
 
?
5

A fast compiler for NetKAT:

, In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming,
Smolka, Steffen ; Eliopoulos, Spiridon ; Foster, Nate. - p. 328-341 , 2015
Link: https://dl.acm.org/doi/1..
 
1-5