Morten Konggaard Schou

According to our database, Morten Konggaard Schou authored at least 13 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Pushdown Systems.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Arch. Formal Proofs, 2023

Labeled Transition Systems.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Arch. Formal Proofs, 2023

Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise.

Morten Konggaard Schou, Ingmar Poese, Jirí Srba

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

2022

Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks".

Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio

Dataset, October, 2022

Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems".

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba

Dataset, August, 2022

Differential Testing of Pushdown Reachability with a Formally Verified Oracle.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

R-MPLS: recursive protection for highly dependable MPLS networks.

Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio

Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies, 2022

MPLS-Kit: An MPLS Data Plane Toolkit.

Juan Vanerio, Stefan Schmid, Morten Konggaard Schou, Jirí Srba

Proceedings of the 11th IEEE International Conference on Cloud Networking, 2022

PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems.

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification".

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn

Dataset, June, 2021

Faster Pushdown Reachability Analysis with Applications in Network Verification.

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks.

Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba

Proceedings of the CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, 2020

2019

A Practical Delivery Route Planning System.

Asger Gitz-Johansen, Mikkel Elkjaer Holm, Laurids Vinther Kirkeby, Dan Kristiansen, Alexander Stoica Ostenfeld, Morten Konggaard Schou, Bin Yang

Proceedings of the 20th IEEE International Conference on Mobile Data Management, 2019