Follow
Kevin Nico Hudemann
Kevin Nico Hudemann
Verified email at inet.tu-berlin.de
Title
Cited by
Cited by
Year
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
422019
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
122021
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
Runtime Verification for Programmable Switches
A Shukla, K Hudemann, Z Vági, L Hügerich, G Smaragdakis, A Hecker, ...
IEEE/ACM Transactions on Networking, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–4