Morten Konggaard Schou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2019–2025
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PPDP | Formalizing Weighted Pushdown Systems in Isabelle/HOL. | Anders Schlichtkrull, Morten Konggaard Schou |
| 2023 | PRDC | Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. | Morten Konggaard Schou, Ingmar Poese, Jir Srba |
| 2022 | ATVA | PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. | Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba |
| 2022 | CoNEXT | R-MPLS: recursive protection for highly dependable MPLS networks. | Stefan Schmid, Morten Konggaard Schou, Jir Srba, Juan Vanerio |
| 2022 | FMCAD | Differential Testing of Pushdown Reachability with a Formally Verified Oracle. | Anders Schlichtkrull, Morten Konggaard Schou, Jir Srba, Dmitriy Traytel |
| 2021 | ATVA | Faster Pushdown Reachability Analysis with Applications in Network Verification. | Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba, Juan Vanerio, Ingo van Duijn |
| 2020 | CoNEXT | AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. | Peter Gjl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jir Srba |
| 2019 | MDM | 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 |