Morten Konggaard Schou

12 papers A 2B 4C 2Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
Formalizing Weighted Pushdown Systems in Isabelle/HOL.
PPDP
Anders Schlichtkrull, Morten Konggaard Schou
2024 J jnl
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks.
Formal Aspects Comput.
Morten Konggaard Schou, Ingmar Poese, Jirí Srba
2023 C conf
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise.
PRDC
Morten Konggaard Schou, Ingmar Poese, Jirí Srba
2023 J jnl
Labeled Transition Systems.
Arch. Formal Proofs
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
2023 J jnl
Pushdown Systems.
Arch. Formal Proofs
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
2022 B conf
Differential Testing of Pushdown Reachability with a Formally Verified Oracle.
FMCAD
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
2022 — conf
MPLS-Kit: An MPLS Data Plane Toolkit.
CloudNet
Juan Vanerio, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
2022 B conf
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems.
ATVA
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
2022 A conf
R-MPLS: recursive protection for highly dependable MPLS networks.
CoNEXT
Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio
2021 B conf
Faster Pushdown Reachability Analysis with Applications in Network Verification.
ATVA
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn
2020 A conf
AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks.
CoNEXT
Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba
2019 B conf
A Practical Delivery Route Planning System.
MDM
Asger Gitz-Johansen, Mikkel Elkjaer Holm, Laurids Vinther Kirkeby, Dan Kristiansen, Alexander Stoica Ostenfeld, Morten Konggaard Schou, Bin Yang