Items where Author is "Schou, Morten Konggaard"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Paper in Conference Proceedings or in Workshop Proceedings
Number of items: 3.

Paper in Conference Proceedings or in Workshop Proceedings

  • MPLS-Kit: An MPLS Data Plane Toolkit
    Vanerio, Juan and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri In: IEEE Global Internet (GI) Symposium 2022 , November 2022 , Paris, France (2022)

  • PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems
    Jensen, Peter Gjøl and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri In: 20th International Symposium on Automated Technology for Verification and Analysis (ATVA) , Oct 25, 2022 - Oct 28, 2022 , Beijing, China (2022)

  • Faster Pushdown Reachability Analysis with Applications in Network Verification
    Jensen, Peter Gjøl and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri and Vanerio, Juan and van Duijn, Ingo In: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA) , October 2021 , Gold Coast, Australia (2021)

    • This list was generated on Wed Nov 20 14:46:13 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.