Morten Konggaard Schou

View Scopus Profile

Morten Konggaard Schou

 https://orcid.org/0000-0002-5970-4294

  • Selma Lagerløfs Vej 300, 2-1-1

    9220 Aalborg Ø

    Denmark

20192023

Research activity per year

If you made any changes in Pure these will be visible here soon.

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
View full fingerprint

Collaborations from the last five years

Dive into details by clicking on the dots.
Explore network further
  • 7 Article in proceeding
  • 1 PhD thesis

  • Quantitative Verification and Synthesis of Resilient Networks

    Schou, M. K., 2023, Aalborg Universitetsforlag. 227 p.

    Research output: PhD thesis

    Open Access
    File
    31 Downloads (Pure)

  • Differential Testing of Pushdown Reachability with a Formally Verified Oracle

    Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., Oct 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (eds.). TU Wien Academic Press, Vol. 3. p. 369-379 11 p. (Conference Series: Formal Methods in Computer-Aided Design).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    13 Downloads (Pure)

  • MPLS-Kit: An MPLS Data Plane Toolkit

    Vanerio, J., Schmid, S., Schou, M. K. & Srba, J., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). Secci, S., Durairajan, R., Linguaglossa, L., Kamiyama, N., Nogueira, M. & Rovedakis, S. (eds.). IEEE, p. 49-54 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems

    Jensen, P. G., Schmid, S., Schou, M. K. & Srba, J., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 225-230 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13505 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 Nov 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, p. 276-292 17 p. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)
View all 8 research outputs