Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

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

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Verifying maximum link loads in a changing world (si apre in una nuova finestra)

Autori: Schneider, Tibor; id_orcid0000-0003-2858-9120; Vissicchio, Stefano; Vanbever, Laurent
Pubblicato in: Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI ’25), 2025, ISBN 978-1-939133-46-5
Editore: USENIX Association
DOI: 10.3929/ethz-b-000711664

Snowcap: Synthesizing Network-Wide Configuration Updates (si apre in una nuova finestra)

Autori: Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
Pubblicato in: ACM SIGCOMM, Numero Yearly, 2021
Editore: ACM
DOI: 10.1145/3452296.3472915

Predicting Specification Violations During BGP Convergence (si apre in una nuova finestra)

Autori: Roland Schmid; Tibor Schneider; Georgia Fragkouli; Laurent Vanbever
Pubblicato in: ACM CoNEXT Student Workshop, Numero Yearly, 2023
Editore: ACM
DOI: 10.1145/3630202.3630235

Taming the transient while reconfiguring BGP (si apre in una nuova finestra)

Autori: Tibor Schneider, Roland Schmid, Stefano Vissicchio, Laurent Vanbever
Pubblicato in: Proceedings of the ACM SIGCOMM 2023 Conference, 2025, Pagina/e 77-93
Editore: ACM
DOI: 10.1145/3603269.3604855

Causality Analysis in Control Plane Verification (si apre in una nuova finestra)

Autori: Yu Chen; Tibor Schneider; Laurent Vanbever
Pubblicato in: ACM CoNEXT Student Workshop, Numero Yearly, 2023
Editore: ACM
DOI: 10.1145/3630202.3630237

Generating representative, live network traffic out of millions of code repositories (si apre in una nuova finestra)

Autori: Tobias Bühler; Roland Schmid; Sandro Lutz; Laurent Vanbever
Pubblicato in: ACM HotNets, Numero Yearly, 2022
Editore: ACM
DOI: 10.1145/3563766.3564084

Probabilistic Routing Algebras for QoS Routing (si apre in una nuova finestra)

Autori: Jean Mégret, Tibor Schneider, Laurent Vanbever
Pubblicato in: Proceedings of the ACM SIGCOMM 2025 Posters and Demos, 2025, Pagina/e 85-87
Editore: ACM
DOI: 10.1145/3744969.3748432

Guided Exploration of Control-Plane Routing States (si apre in una nuova finestra)

Autori: Tibor Schneider, Jean Mégret, Laurent Vanbever
Pubblicato in: 2025 IEEE 33rd International Conference on Network Protocols (ICNP), 2025, Pagina/e 1-12
Editore: IEEE
DOI: 10.1109/icnp65844.2025.11192328

Metha: Network Verifiers Need To Be Correct Too! (si apre in una nuova finestra)

Autori: Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin Vechev
Pubblicato in: USENIX NSDI, Numero Yearly, 2021
Editore: USENIX Association
DOI: 10.3929/ethz-b-000491509

On the Complexity of Network-Wide Configuration Synthesis (si apre in una nuova finestra)

Autori: Tibor Schneider; Roland Schmid; Laurent Vanbever
Pubblicato in: IEEE International Conference on Network Protocols, Numero Yearly, 2022
Editore: IEEE
DOI: 10.1109/icnp55882.2022.9940325

Transient Forwarding Anomalies and How to Find Them (si apre in una nuova finestra)

Autori: Schmid, Roland; id_orcid0000-0002-3278-4220; Schneider, Tibor; id_orcid0000-0003-2858-9120; Fragkouli, Georgia; Vanbever, Laurent
Pubblicato in: Proceedings of the ACM on Networking, 3 (CoNEXT2), 2025, ISSN 2834-5509
Editore: Association for Computing Machinery (ACM)
DOI: 10.3929/ethz-b-000747785

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0