E-LIB Suche - Ergebnisse für: Smolka, Steffen

1

KATch: A Fast Symbolic Verifier for NetKAT:

Moeller, Mark ; Jacobs, Jules ; Belanger, Olivier Savary...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1905-1928 , 2024

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

2

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..

3

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..

4

Guarded Kleene algebra with tests: verification of uninterp..:

Smolka, Steffen ; Foster, Nate ; Hsu, Justin...
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

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

5

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..

6

Guarded Kleene algebra with tests: verification of uninterp..:

Smolka, Steffen ; Foster, Nate ; Hsu, Justin...
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

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

7

Cantor meets Scott: semantic foundations for probabilistic ..:

Smolka, Steffen ; Kumar, Praveen ; Foster, Nate..
ACM SIGPLAN Notices. 52 (2017) 1 - p. 557-571 , 2017

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

8

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..

9

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..

10

A fast compiler for NetKAT:

Smolka, Steffen ; Eliopoulos, Spiridon ; Foster, Nate.
ACM SIGPLAN Notices. 50 (2015) 9 - p. 328-341 , 2015

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

11

DDR in Dosen

das Deutsche Rundfunkarchiv zieht um

Boßdorf, Hagen ; Smolka, Steffen ; Smolka, Ludger - [Bildtonträger] . ,

Exemplar: Zentrale/Mediathek: pg 0891

12

Semi-intelligible Isar Proofs from Machine-Generated Proofs:

Blanchette, Jasmin Christian ; Böhme, Sascha ; Fleury, Mathias..
Journal of Automated Reasoning. 56 (2015) 2 - p. 155-200 , 2015

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

13

Guarded Kleene Algebra with Tests: Verification of Uninterp..:

Smolka, Steffen ; Foster, Nate ; Hsu, Justin...
http://arxiv.org/abs/1907.05920. , 2019

Link: http://arxiv.org/abs/190..

14

Scalable Verification of Probabilistic Networks:

Smolka, Steffen ; Kumar, Praveen ; Kahn, David M...
http://arxiv.org/abs/1904.08096. , 2019

Link: http://arxiv.org/abs/190..

15

Probabilistic Program Equivalence for NetKAT:

Smolka, Steffen ; Kumar, Praveen ; Foster, Nate...
http://arxiv.org/abs/1707.02772. , 2017

Link: http://arxiv.org/abs/170..