| Aalwines: A fast and quantitative what-if analysis tool for mpls networks PG Jensen, D Kristiansen, S Schmid, MK Schou, BC Schrenk, J Srba Proceedings of the 16th International Conference on emerging Networking …, 2020 | 18 | 2020 |
| Faster pushdown reachability analysis with applications in network verification PG Jensen, S Schmid, MK Schou, J Srba, J Vanerio, I Duijn Automated Technology for Verification and Analysis: 19th International …, 2021 | 4 | 2021 |
| R-MPLS: recursive protection for highly dependable MPLS networks S Schmid, MK Schou, J Srba, J Vanerio Proceedings of the 18th International Conference on emerging Networking …, 2022 | 3 | 2022 |
| MPLS-Kit: An MPLS Data Plane Toolkit J Vanerio, S Schmid, MK Schou, J Srba 2022 IEEE 11th International Conference on Cloud Networking (CloudNet), 49-54, 2022 | 2 | 2022 |
| Differential Testing of Pushdown Reachability with a Formally Verified Oracle. A Schlichtkrull, MK Schou, J Srba, D Traytel FMCAD, 369-379, 2022 | 2 | 2022 |
| Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise MK Schou, I Poese, J Srba 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing …, 2023 | 1 | 2023 |
| A Practical Delivery Route Planning System A Gitz-Johansen, ME Holm, LV Kirkeby, D Kristiansen, AS Ostenfeld, ... 2019 20th IEEE International Conference on Mobile Data Management (MDM), 349-350, 2019 | 1 | 2019 |
| Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks MK Schou, I Poese, J Srba Formal Aspects of Computing 36 (4), 1-18, 2024 | | 2024 |
| Pushdown Systems A Schlichtkrull, MK Schou, J Srba, D Traytel Arch. Formal Proofs 2023, 2023 | | 2023 |
| Labeled Transition Systems A Schlichtkrull, MK Schou, J Srba, D Traytel Archive of Formal Proofs 2023, 2023 | | 2023 |
| Quantitative Verification and Synthesis of Resilient Networks MK Schou | | 2023 |
| PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems PG Jensen, S Schmid, MK Schou, J Srba International Symposium on Automated Technology for Verification and …, 2022 | | 2022 |
| Quantitative Analysis of MPLS Networks in AalWiNes D Kristiansen, MK Schou | | |
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
