| 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 | 44 | 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 | 16 | 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 31 (4), 1822-1837, 2023 | | 2023 |
