Segui
Kevin Nico Hudemann
Kevin Nico Hudemann
Email verificata su inet.tu-berlin.de
Titolo
Citata da
Citata da
Anno
Runtime verification of P4 switches with reinforcement learning
A Shukla, KN Hudemann, A Hecker, S Schmid
Proceedings of the 2019 Workshop on Network Meets AI & ML, 1-7, 2019
272019
Fix with P6: Verifying Programmable Switches at Runtime
A Shukla, K Hudemann, Z VŠgi, L HŁgerich, G Smaragdakis, A Hecker, ...
IEEE INFOCOM 2021-IEEE Conference on Computer Communications, 1-10, 2021
52021
Towards runtime verification of programmable switches
A Shukla, K Hudemann, Z VŠgi, L HŁgerich, G Smaragdakis, S Schmid, ...
arXiv preprint arXiv:2004.10887, 2020
32020
Il sistema al momento non puÚ eseguire l'operazione. Riprova piý tardi.
Articoli 1–3