Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
Schou, Morten Konggaard, Poese, Ingmar, Srba, Jiri
Published in Formal aspects of computing (15.10.2024)
Published in Formal aspects of computing (15.10.2024)
Get full text
Journal Article
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise
Schou, Morten Konggaard, Poese, Ingmar, Srba, Jiri
Published in 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC) (24.10.2023)
Published in 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC) (24.10.2023)
Get full text
Conference Proceeding
A Practical Delivery Route Planning System
Gitz-Johansen, Asger, Holm, Mikkel Elkjaer, Kirkeby, Laurids Vinther, Kristiansen, Dan, Ostenfeld, Alexander Stoica, Schou, Morten Konggaard, Yang, Bin
Published in 2019 20th IEEE International Conference on Mobile Data Management (MDM) (01.06.2019)
Published in 2019 20th IEEE International Conference on Mobile Data Management (MDM) (01.06.2019)
Get full text
Conference Proceeding
Differential Testing of Pushdown Reachability with a Formally Verified Oracle
Schlichtkrull, Anders, Schou, Morten Konggaard, Srba, Jiri, Traytel, Dmitriy
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
MPLS-Kit: An MPLS Data Plane Toolkit
Vanerio, Juan, Schmid, Stefan, Schou, Morten Konggaard, Srba, Jiri
Published in 2022 IEEE 11th International Conference on Cloud Networking (CloudNet) (07.11.2022)
Published in 2022 IEEE 11th International Conference on Cloud Networking (CloudNet) (07.11.2022)
Get full text
Conference Proceeding