1. Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: Semantic foundations for networks. In: Proc. 41st ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL 2014), San Diego, California, USA, pp. 113–126. ACM (January 2014)
2. Ball, T., Bjorner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A.: Vericon: Towards verifying controller programs in software-defined networks. In: PLDI (to appear, 2014)
3. Bonchi, F., Pous, D.: Checking NFA equivalence with bisimulations up to congruence. In: Proc. 40th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, POPL 2013, pp. 457–468. ACM (2013)
4. Braibant, T., Pous, D.: Deciding Kleene algebras in Coq. Logical Methods in Computer Science 8(1:16), 1–42 (2012)
5. Canini, M., Venzano, D., Perešíni, P., Kostić, D., Rexford, J.: A NICE way to test OpenFlow applications. In: NSDI (2012)