Input-Dynamic Distributed Algorithms for Communication Networks
Klaus-Tycho Foerster, Janne Korhonen, Ami Paz, Joel Rybicki, and Stefan Schmid.
ACM SIGMETRICS, Beijing, China, June 2021.
Documents: paper pdf, slides pdf, bibtex bib

Automatic Synthesis of Transiently Correct Network Updates via Petri Games
M. Didriksen, P.G. Jensen, J.F. Jønler, A.-I. Katona, S.D.L. Lama, F.B. Lottrup, S. Shajarat, J. Srba.
42nd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), LNCS, pages 1–20 Springer-Verlag, June 2021.
Documents: paper pdf, bibtex bib 

A Survey of Fast-Recovery Mechanisms in Packet-Switched Networks
Marco Chiesa, Andrzej Kamisinski, Jacek Rak, Gabor Retvari, and Stefan Schmid.
IEEE Communications Surveys and Tutorials (COMST), March 2021.
Documents: paper pdf, bibtex bib 

Resilient Capacity-Aware Routing
Stefan Schmid, Nicolas Schnepf and Jiri Srba.
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Virtual Conference, March 2021.
Documents: paper pdf, slides pdf, bibtex bib 

AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks
Peter Gjøl Jensen, Morten Konggaard, Dan Kristiansen, Stefan Schmid, Bernhard Clemens Schrenk, and Jiri Srba.
16th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT), Barcelona, Spain, December 2020.
Artefact Evaluation: Available, Reusable.
Documents: paper pdf, slides pdf, bibtex bib

Latte: Improving the Latency of Transiently Consistent Network Update Schedules
Mark Glavind, Niels Christensen, Jiri Srba, and Stefan Schmid.
38th International Symposium on Computer Performance, Modeling, Measurements and Evaluation (PERFORMANCE) and ACM Performance Evaluation Review (PER), Milan, Italy, November 2020.
Documents: paper pdf, PER pdf, slides pdf, bibtex bib

P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
Jesper Stenbjerg Jensen, Troels Beck Krogh, Jonas Sand Madsen, Stefan
Schmid, Jiri Srba, and Marc Tom Thorgersen.
14th ACM International Conference on emerging Networking EXperiments and
Technologies (CoNEXT), Heraklion/Crete, Greece, December 2018.
Documents: paper pdf , slides pdf , bibtex bib

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks
Stefan Schmid and Jiri Srba.
37th IEEE Conference on Computer Communications (INFOCOM), Honolulu,
Hawaii, USA, April 2018.
Documents: paper pdf, slides pdf, bibtex bib