AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. - Peter Gjøl Jensen; Dan Kristiansen; Stefan Schmid 001; Morten Konggaard Schou; Bernhard Clemens Schrenk; Jirí Srba (CoNEXT, 2020)

NetStack: A Game Approach to Synthesizing Consistent Network Updates. - Stefan Schmid 001; Bernhard Clemens Schrenk; Álvaro Torralba (IFIP Networking, 2022)