Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

From Network Verification to Synthesis: Breaking New Ground in Network Automation

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Snowcap: Synthesizing Network-Wide Configuration Updates

Autorzy: Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Opublikowane w: ACM SIGCOMM, Numer Yearly, 2021
Wydawca: ACM

Predicting Specification Violations During BGP Convergence (odnośnik otworzy się w nowym oknie)

Autorzy: Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Opublikowane w: ACM CoNEXT Student Workshop, Numer Yearly, 2023
Wydawca: ACM
DOI: 10.1145/3630202.3630235

Causality Analysis in Control Plane Verification (odnośnik otworzy się w nowym oknie)

Autorzy: Yu Chen; Tibor Schneider; Laurent Vanbever
Opublikowane w: ACM CoNEXT Student Workshop, Numer Yearly, 2023
Wydawca: ACM
DOI: 10.1145/3630202.3630237

Generating representative, live network traffic out of millions of code repositories (odnośnik otworzy się w nowym oknie)

Autorzy: Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Opublikowane w: ACM HotNets, Numer Yearly, 2022
Wydawca: ACM
DOI: 10.1145/3563766.3564084

Metha: Network Verifiers Need To Be Correct Too!

Autorzy: Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Opublikowane w: USENIX NSDI, Numer Yearly, 2021
Wydawca: USENIX Association

On the Complexity of Network-Wide Configuration Synthesis (odnośnik otworzy się w nowym oknie)

Autorzy: Tibor Schneider; Roland Schmid; Laurent Vanbever
Opublikowane w: IEEE International Conference on Network Protocols, Numer Yearly, 2022
Wydawca: IEEE
DOI: 10.1109/icnp55882.2022.9940325

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0