Research output per year
Research output per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
-
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
Schou, M. K., Poese, I. & Srba, J., 5 Dec 2024, In: Formal Aspects of Computing. 36, 4, p. 1-18 18 p., 27.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise
Schou, M. K., Poese, I. & Srba, J., 2023, Proceedings - 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing, PRDC 2023. IEEE (Institute of Electrical and Electronics Engineers), p. 64-70 7 p. (IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile64 Downloads (Pure) -
Labeled Transition Systems
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., 2023, In: Archive of Formal Proofs. 2023Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
Pushdown Systems
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., 2023, In: Archive of Formal Proofs. 2023Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
Quantitative Verification and Synthesis of Resilient Networks
Schou, M. K., 2023, Aalborg Universitetsforlag. 227 p.Research output: PhD thesis
Open AccessFile204 Downloads (Pure)
Datasets
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Contributor), Jiri, S. (Contributor), Schou, M. K. (Creator) & Vanerio, J. (Creator), Zenodo, 13 Oct 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Dataset
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Creator), Schou, M. K. (Creator), Srba, J. (Creator) & Traytel, D. (Creator), Zenodo, 2 Aug 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Dataset
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator) & Srba, J. (Creator), Zenodo, 1 Aug 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Dataset
-
Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification"
Jensen, P. G. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator), Srba, J. (Creator), Vanerio, J. (Creator) & Duijn, I. V. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.5005894, https://zenodo.org/record/5005894
Dataset
-
Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"
Jensen, P. G. (Creator), Kristiansen, D. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator), Schrenk, B. C. (Creator) & Srba, J. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.4056504, https://zenodo.org/record/4056504
Dataset