Cited in
(77)- 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
- Explaining safety failures in NetKAT
- Hopscotch -- reaching the target hop by hop
- On series-parallel pomset languages: rationality, context-freeness and automata
- Undecidable Problems for Probabilistic Network Programming
- Actor-based model checking for software-defined networks
- scientific article; zbMATH DE number 7533344 (Why is no real title available?)
- A coalgebraic decision procedure for WS1S
- Propositional gossip protocols
- Brzozowski goes concurrent -- a Kleene theorem for pomset languages
- Towards an analysis of dynamic gossip in Net\textsc{kat}
- Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- scientific article; zbMATH DE number 7649949 (Why is no real title available?)
- 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
- jMoped
- jFuzzyLogic
- KAT-ML
- FIREMAN
- Firmato
- NetCore
- Procera
- Hakaru
- Frenetic
- VeriCon
- 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
- nftables
- iptables
- JESS
- ArOMA
- FADM
- floodlight
- Flowfence
- HyperFlow
- Kandoo
- nox
- OpenFlowSIA
- Ryu
- SDSNM
- SGS
- StateSec
- TDDAD
- SDN-SafeCheck
- Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17--19, 2014, Proceedings
- The Hoare logic of deterministic and nondeterministic monadic recursion schemes
- Some complexity results for stateful network verification
- DyNetiKAT
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Verified iptables firewall analysis and verification
- Minimal number of calls in propositional protocols
- A fast compiler for NetKAT
- Completeness for identity-free Kleene lattices
- p4v
This page was built for software: NetKAT
