Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

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

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Snowcap: Synthesizing Network-Wide Configuration Updates

Autores: Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Publicado en: ACM SIGCOMM, Edición Yearly, 2021
Editor: ACM

Predicting Specification Violations During BGP Convergence (se abrirá en una nueva ventana)

Autores: Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Publicado en: ACM CoNEXT Student Workshop, Edición Yearly, 2023
Editor: ACM
DOI: 10.1145/3630202.3630235

Causality Analysis in Control Plane Verification (se abrirá en una nueva ventana)

Autores: Yu Chen; Tibor Schneider; Laurent Vanbever
Publicado en: ACM CoNEXT Student Workshop, Edición Yearly, 2023
Editor: ACM
DOI: 10.1145/3630202.3630237

Generating representative, live network traffic out of millions of code repositories (se abrirá en una nueva ventana)

Autores: Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Publicado en: ACM HotNets, Edición Yearly, 2022
Editor: ACM
DOI: 10.1145/3563766.3564084

Metha: Network Verifiers Need To Be Correct Too!

Autores: Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Publicado en: USENIX NSDI, Edición Yearly, 2021
Editor: USENIX Association

On the Complexity of Network-Wide Configuration Synthesis (se abrirá en una nueva ventana)

Autores: Tibor Schneider; Roland Schmid; Laurent Vanbever
Publicado en: IEEE International Conference on Network Protocols, Edición Yearly, 2022
Editor: IEEE
DOI: 10.1109/icnp55882.2022.9940325

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0