Publikationer pr. år
Publikationer pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
-
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, s. 64-70 7 s. (IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil58 Downloads (Pure) -
Labeled Transition Systems
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., 2023, I: Archive of Formal Proofs. 2023Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Pushdown Systems
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., 2023, I: Archive of Formal Proofs. 2023Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Quantitative Verification and Synthesis of Resilient Networks
Schou, M. K., 2023, Aalborg Universitetsforlag. 227 s.Publikation: Ph.d.-afhandling
Åben adgangFil181 Downloads (Pure) -
Differential Testing of Pushdown Reachability with a Formally Verified Oracle
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., okt. 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (red.). TU Wien Academic Press, Bind 3. s. 369-379 11 s. (Conference Series: Formal Methods in Computer-Aided Design).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)35 Downloads (Pure)
Forskningsdatasæt
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Bidrager), Srba, J. (Bidrager), Schou, M. K. (Ophavsperson) & Vanerio, J. (Ophavsperson), Zenodo, 13 okt. 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Datasæt
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson) & Traytel, D. (Ophavsperson), Zenodo, 2 aug. 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Datasæt
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 1 aug. 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Datasæt
-
Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification"
Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson), Vanerio, J. (Ophavsperson) & Duijn, I. V. (Ophavsperson), Zenodo, 2021
DOI: 10.5281/zenodo.5005894, https://zenodo.org/record/5005894
Datasæt
-
Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"
Jensen, P. G. (Ophavsperson), Kristiansen, D. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.4056504, https://zenodo.org/record/4056504
Datasæt