| 2026 | SIGCOMM | When static verification is not enough: revealing BGP bugs at runtime. | Pietro Ronchetti, Tibor Schneider, Laurent Vanbever |
| 2025 | ICNP | Guided Exploration of Control-Plane Routing States. | Tibor Schneider, Jean Mgret, Laurent Vanbever |
| 2025 | NSDI | Verifying maximum link loads in a changing world. | Tibor Schneider, Stefano Vissicchio, Laurent Vanbever |
| 2025 | SIGCOMM | Probabilistic Routing Algebras for QoS Routing. | Jean Mgret, Tibor Schneider, Laurent Vanbever |
| 2023 | CoNEXT | Causality Analysis in Control Plane Verification. | Yu Chen, Tibor Schneider, Laurent Vanbever |
| 2023 | CoNEXT | Predicting Specification Violations During BGP Convergence. | Roland Schmid, Tibor Schneider, Georgia Fragkouli, Laurent Vanbever |
| 2023 | SIGCOMM | Taming the transient while reconfiguring BGP. | Tibor Schneider, Roland Schmid, Stefano Vissicchio, Laurent Vanbever |
| 2022 | ICNP | On the Complexity of Network-Wide Configuration Synthesis. | Tibor Schneider, Roland Schmid, Laurent Vanbever |
| 2021 | ISCAS | Mixed-Precision Quantization and Parallel Implementation of Multispectral Riemannian Classification for Brain-Machine Interfaces. | Xiaying Wang, Tibor Schneider, Michael Hersche, Lukas Cavigelli, Luca Benini |
| 2021 | SIGCOMM | Snowcap: synthesizing network-wide configuration updates. | Tibor Schneider, Rdiger Birkner, Laurent Vanbever |
| 2020 | SmartComp | Q-EEGNet: an Energy-Efficient 8-bit Quantized Parallel EEGNet Implementation for Edge Motor-Imagery Brain-Machine Interfaces. | Tibor Schneider, Xiaying Wang, Michael Hersche, Lukas Cavigelli, Luca Benini |
| 2019 | GLOBECOM | Prototyping Directional UAV-Based Wireless Access and Backhaul Systems. | Mikhail Gerasimenko, Jir Pokorn, Tibor Schneider, Jakub Sirjov, Sergey Andreev, Jiri Hosek |