Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

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

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Snowcap: Synthesizing Network-Wide Configuration Updates

Auteurs: Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Publié dans: ACM SIGCOMM, Numéro Yearly, 2021
Éditeur: ACM

Predicting Specification Violations During BGP Convergence (s’ouvre dans une nouvelle fenêtre)

Auteurs: Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Publié dans: ACM CoNEXT Student Workshop, Numéro Yearly, 2023
Éditeur: ACM
DOI: 10.1145/3630202.3630235

Causality Analysis in Control Plane Verification (s’ouvre dans une nouvelle fenêtre)

Auteurs: Yu Chen; Tibor Schneider; Laurent Vanbever
Publié dans: ACM CoNEXT Student Workshop, Numéro Yearly, 2023
Éditeur: ACM
DOI: 10.1145/3630202.3630237

Generating representative, live network traffic out of millions of code repositories (s’ouvre dans une nouvelle fenêtre)

Auteurs: Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Publié dans: ACM HotNets, Numéro Yearly, 2022
Éditeur: ACM
DOI: 10.1145/3563766.3564084

Metha: Network Verifiers Need To Be Correct Too!

Auteurs: Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Publié dans: USENIX NSDI, Numéro Yearly, 2021
Éditeur: USENIX Association

On the Complexity of Network-Wide Configuration Synthesis (s’ouvre dans une nouvelle fenêtre)

Auteurs: Tibor Schneider; Roland Schmid; Laurent Vanbever
Publié dans: IEEE International Conference on Network Protocols, Numéro Yearly, 2022
Éditeur: IEEE
DOI: 10.1109/icnp55882.2022.9940325

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0