Items where Author is "Jensen, Peter Gjøl"

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

Journal Paper

  • Automata Theoretic Approach to Verification of MPLS Networks under Link Failures
    Jensen, Peter Gjøl and Jensen, Jesper Stenbjerg and Krogh, Troels Beck and Madsen, Jonas Sand and Schmid, Stefan and Srba, Jiri and Thorgersen, Marc Tom ISSN 1063-6692 (2021)

    • Paper in Conference Proceedings or in Workshop Proceedings

  • 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)

  • AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks
    Jensen, Peter Gjøl and Konggaard, Morten and Kristiansen, Dan and Schmid, Stefan and Schrenk, Bernhard Clemens and Srba, Jiri In: 16th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT) , December 2020 , Barcelona, Spain (2020)

    • This list was generated on Mon Dec 30 07:25:18 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.