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 | 42 | 2019 |
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 | 13 | 2021 |
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 | 3 | 2020 |
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 |