swMATH16269MaRDI QIDQ28139FDOQ28139
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-12736-1_1
Cited In (76)
- DyNetiKAT
- Explaining safety failures in NetKAT
- Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings
- Undecidable Problems for Probabilistic Network Programming
- On series-parallel pomset languages: rationality, context-freeness and automata
- Hopscotch -- reaching the target hop by hop
- Title not available (Why is that?)
- Actor-based model checking for software-defined networks
- A coalgebraic decision procedure for WS1S
- Brzozowski goes concurrent -- a Kleene theorem for pomset languages
- Propositional gossip protocols
- Towards an analysis of dynamic gossip in Net\textsc{kat}
- Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- Title not available (Why is that?)
- Canonical finite models of Kleene algebra with tests
- Probabilistic NetKAT
- Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions
- Equational theories of abnormal termination based on Kleene algebra
- Faster pushdown reachability analysis with applications in network verification
- jFuzzyLogic
- Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17--19, 2014, Proceedings
- KAT-ML
- FIREMAN
- Firmato
- NetCore
- Procera
- Hakaru
- Frenetic
- VeriCon
- The Hoare logic of deterministic and nondeterministic monadic recursion schemes
- CoVisor
- ProbNetKAT
- Syco
- Nettle
- VeriFlow
- POX
- Codatatype
- ConfigChecker
- Firewall Builder
- POSIX Lexing
- IP Addresses
- Iptables Semantics
- LOFT
- Regular Sets
- Simple Firewall
- Routing
- Finite Automata HF
- Hereditarily Finite Sets
- UPF Firewall
- Anglican
- Anteater
- Kuai
- Some complexity results for stateful network verification
- nftables
- iptables
- JESS
- ArOMA
- FADM
- floodlight
- Flowfence
- HyperFlow
- Kandoo
- nox
- OpenFlowSIA
- Ryu
- SDSNM
- SGS
- StateSec
- TDDAD
- SDN-SafeCheck
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Verified iptables firewall analysis and verification
- Completeness for identity-free Kleene lattices
- Minimal number of calls in propositional protocols
- A fast compiler for NetKAT
- p4v
This page was built for software: NetKAT
