Publications

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