Morten Konggaard Schou

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 10

Top Topics

Transition Systems

Reachability Analysis

Top Venues

Arch. Formal Proofs

Publications

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Labeled Transition Systems. Arch. Formal Proofs 2023 (2023)
Morten Konggaard Schou, Ingmar Poese, Jirí Srba
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. PRDC (2023)
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Pushdown Systems. Arch. Formal Proofs 2023 (2023)
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. ATVA (2022)
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Differential Testing of Pushdown Reachability with a Formally Verified Oracle. FMCAD (2022)
Juan Vanerio, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
MPLS-Kit: An MPLS Data Plane Toolkit. CloudNet (2022)
Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio
R-MPLS: recursive protection for highly dependable MPLS networks. CoNEXT (2022)
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn
Faster Pushdown Reachability Analysis with Applications in Network Verification. ATVA (2021)
Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba
AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. CoNEXT (2020)
Asger Gitz-Johansen, Mikkel Elkjaer Holm, Laurids Vinther Kirkeby, Dan Kristiansen, Alexander Stoica Ostenfeld, Morten Konggaard Schou, Bin Yang
A Practical Delivery Route Planning System. MDM (2019)