Items where Author is "Larsen, Kim G."

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

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

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

  • WNetKAT: A Weighted SDN Programming and Verification Language
    Larsen, Kim G. and Schmid, Stefan and Xue, Bingtian In: 20th International Conference on Principles of Distributed Systems (OPODIS) , December 2016 , Madrid, Spain (2016)

  • WNetKAT: Programming and Verifying Weighted Software-Defined Networks
    Larsen, Kim G. and Schmid, Stefan and Xue, Bingtian In: 28th Nordic Workshop on Programming Theory (NWPT) , October 2016 , Rold Storkro (North Jutland), Denmark (2016)

    • This list was generated on Thu Apr 18 08:57:26 2024 CEST.
    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.