Carolyn Jane Anderson
Nate Foster
Arjun Guha
Jean-Baptiste Jeannin
Dexter Kozen
Cole Schlesinger
David Walker
2014
NetKAT: semantic foundations for networks
The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014
113–126
10.1145/2535838.2535862
Christel Baier
Joost-Pieter Katoen
2008
Principles of model checking
MIT Press
Ilan Beer
Shoham Ben-David
Hana Chockler
Avigail Orni
Richard J. Trefler
2012
Explaining counterexamples using causality
Formal Methods in System Design
40
1
20–40
10.1007/s10703-011-0132-2
Salem Benferhat
John Grant
2011
Scalable Uncertainty Management - 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings
Lecture Notes in Computer Science
6929
Springer
10.1007/978-3-642-23963-2
Christian Buckl
Alois Knoll
Ina Schieferdecker
Justyna Zander
2007
Model-Based Analysis and Development of Dependable Systems
Giese
271–293
10.1007/978-3-642-16277-0_10
Georgiana Caltais
Sophie Linnea Guetlein
Stefan Leue
2018
Causality for General LTL-definable Properties
Finkbeiner
Kleinberg
1–15
10.4204/EPTCS.286.1
Georgiana Caltais
Stefan Leue
Mohammad Reza Mousavi
2016
(De-)Composing Causality in Labeled Transition Systems
Gößler
Sokolsky
10–24
10.4204/EPTCS.224.3
Manuel Clavel
Francisco Durán
Steven Eker
Patrick Lincoln
Narciso Martí-Oliet
José Meseguer
Jose F. Quesada
1999
The Maude System
Narendran
Rusinowitch
240–243
10.1007/3-540-48685-2_18
Bernd Finkbeiner
Samantha Kleinberg
2019
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018
EPTCS
286
10.4204/EPTCS.286
Nate Foster
Rob Harrison
Michael J. Freedman
Christopher Monsanto
Jennifer Rexford
Alec Story
David Walker
2011
Frenetic: a network programming language
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011
279–291
10.1145/2034773.2034812
Nate Foster
Dexter Kozen
Matthew Milano
Alexandra Silva
Laure Thompson
2015
A Coalgebraic Decision Procedure for NetKAT
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015
343–355
10.1145/2676726.2677011
Roberto Giacobazzi
Josh Berdine
Isabella Mastroeni
2013
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Lecture Notes in Computer Science
7737
Springer
10.1007/978-3-642-35873-9
Holger Giese
Gabor Karsai
Edward Lee
Bernhard Rumpe
Bernhard Schätz
2011
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Lecture Notes in Computer Science
6100
Springer
10.1007/978-3-642-16277-0
Gregor Gößler
Oleg Sokolsky
2016
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016
EPTCS
224
10.4204/EPTCS.224
Joseph Y. Halpern
2011
Causality, Responsibility, and Blame: A Structural-Model Approach
Benferhat
Grant
1
10.1007/978-3-642-23963-2_1
Peyman Kazemian
George Varghese
Nick McKeown
2012
Header Space Analysis: Static Checking for Networks
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, April 25-27, 2012
113–126
https://www.usenix.org/conference/nsdi12/technical-sessions/presentation/kazemian
Simon Knight
Hung X. Nguyen
Nick Falkner
Rhys Alistair Bowden
Matthew Roughan
2011
The Internet Topology Zoo
IEEE Journal on Selected Areas in Communications
29
9
1765–1775
10.1109/JSAC.2011.111002
Dexter Kozen
1994
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
Inf. Comput.
110
2
366–390
10.1006/inco.1994.1037
Dexter Kozen
1997
Kleene Algebra with Tests
ACM Trans. Program. Lang. Syst.
19
3
427–443
10.1145/256167.256195
Florian Leitner-Fischer
Stefan Leue
2013
Causality Checking for Complex System Models
Giacobazzi
248–267
10.1007/978-3-642-35873-9_16
D. Lewis
1973
Causation
Journal of Philosopy
70
556–567
10.2307/2025310
Nick McKeown
Tom Anderson
Hari Balakrishnan
Guru M. Parulkar
Larry L. Peterson
Jennifer Rexford
Scott Shenker
Jonathan S. Turner
2008
OpenFlow: enabling innovation in campus networks
Computer Communication Review
38
2
69–74
10.1145/1355734.1355746
Paliath Narendran
Michaël Rusinowitch
1999
Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings
Lecture Notes in Computer Science
1631
Springer
10.1007/3-540-48685-2
István Pelle
András Gulyás
2019
An Extensible Automated Failure Localization Framework Using NetKAT, Felix, and SDN Traceroute
Future Internet
11
5
10.3390/fi11050107
https://www.mdpi.com/1999-5903/11/5/107
Walid Mohamed Taha
2009
Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings
Lecture Notes in Computer Science
5658
Springer
10.1007/978-3-642-03034-5
Andreas Voellmy
Paul Hudak
2009
Nettle: A Language for Configuring Routing Networks
Taha
211–235
10.1007/978-3-642-03034-5_11
Andreas Voellmy
Junchang Wang
Yang Richard Yang
Bryan Ford
Paul Hudak
2013
Maple: simplifying SDN programming using algorithmic policies
ACM SIGCOMM 2013 Conference, SIGCOMM'13, Hong Kong, China, August 12-16, 2013
87–98
10.1145/2486001.2486030