References in zbMATH (referenced in 23 articles , 2 standard articles )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra: Actor-based model checking for software-defined networks (2021)
  2. Caltais, Georgiana; Tunç, Hünkar Can: Explaining safety failures in NetKAT (2021)
  3. Livesey, Joseph; Wojtczak, Dominik: Propositional gossip protocols (2021)
  4. Singh, Jagdeep; Behal, Sunny: Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions (2020)
  5. Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron: Some complexity results for stateful network verification (2019)
  6. Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio: On series-parallel pomset languages: rationality, context-freeness and automata (2019)
  7. Diekmann, Cornelius; Hupel, Lars; Michaelis, Julius; Haslbeck, Maximilian; Carle, Georg: Verified iptables firewall analysis and verification (2018)
  8. Doumane, Amina; Pous, Damien: Completeness for identity-free Kleene lattices (2018)
  9. Gattinger, Malvin; Wagemaker, Jana: Towards an analysis of dynamic gossip in Net\textsckat (2018)
  10. Kahn, David M.: Undecidable problems for probabilistic network programming (2017)
  11. Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio: Brzozowski goes concurrent -- a Kleene theorem for pomset languages (2017)
  12. Mamouras, Konstantinos: Equational theories of abnormal termination based on Kleene algebra (2017)
  13. Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra: Probabilistic NetKAT (2016)
  14. Mamouras, Konstantinos: The Hoare logic of deterministic and nondeterministic monadic recursion schemes (2016)
  15. Thiemann, Peter (ed.): 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 (2016)
  16. Uramoto, Takeo: Canonical finite models of Kleene algebra with tests (2016)
  17. Smolka, Steffen; Eliopoulos, Spiridon; Foster, Nate; Guha, Arjun: A fast compiler for NetKAT (2015)
  18. Traytel, Dmitriy: A coalgebraic decision procedure for WS1S (2015)
  19. -: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22--24, 2014 (2014)
  20. Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David: Netkat, semantic foundations for networks (2014)

1 2 next