Items where Author is "Srba, Jiri"

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: 14.

Journal Paper

  • AllSynth: A BDD-Based Approach for Network Update Synthesis
    Larsen, Kim G. and Mariegaard, Anders and Schmid, Stefan and Srba, Jiri ISSN 0167-6423 Elsevier (2023)

  • 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

  • AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
    Larsen, Kim G. and Mariegaard, Anders and Schmid, Stefan and Srba, Jiri In: 16th International Symposium on Theoretical Aspects of Software Engineering (TASE) , July 2022 , Cluj-Napoca, Romania (2022)

  • FBR: Dynamic Memory-Aware Fast Rerouting
    Johansen, Nicklas and Kaer, Lasse and Madsen, Andreas and Nielsen, Kristian and Schmid, Stefan and Srba, Jiri and Tollund, Rasmus In: IEEE Global Internet (GI) Symposium 2022 , November 2022 , Paris, France (2022)

  • The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures
    Cuijpers, Pieter and Schmid, Stefan and Schnepf, Nicolas and Srba, Jiri In: 52nd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) , June 2022 , Baltimore, Maryland (2022)

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

  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks
    Schmid, Stefan and Konggaard Schou, Morten and Srba, Jiri and Vanerio, Juan In: 18th ACM International Conference on Emerging Networking Experiments and Technologies (CoNEXT) , December 6, 2022 – December 9, 2022 , Rome, Italy (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)

  • Resilient Capacity-Aware Routing
    Schmid, Stefan and Schnepf, Nicolas and Srba, Jiri In: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , March 2021 , Virtual Conference (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)

  • Latte: Improving the Latency of Transiently Consistent Network Update Schedules
    Glavind, Mark and Christensen, Niels and Srba, Jiri and Schmid, Stefan In: 38th International Symposium on Computer Performance, Modeling, Measurements and Evaluation (PERFORMANCE) , November 2020 , Milan, Italy (2020)

  • P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
    Stenbjerg Jensen, Jesper and Beck Krogh, Troels and Sand Madsen, Jonas and Schmid, Stefan and Srba, Jiri and Thorgersen, Marc Tom In: 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT) , December 2018 , Heraklion/Crete, Greece (2018)

  • Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks
    Schmid, Stefan and Srba, Jiri In: 37th IEEE Conference on Computer Communications (INFOCOM) , April 2018 , Honolulu, Hawaii, USA (2018)

    • This list was generated on Tue Dec 3 13:47: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.