Kevin Nico Hudemann

According to our database, Kevin Nico Hudemann authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Runtime Verification for Programmable Switches.

Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, Anja Feldmann

IEEE/ACM Trans. Netw., August, 2023

2021

Fix with P6: Verifying Programmable Switches at Runtime.

Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, Anja Feldmann

Proceedings of the 40th IEEE Conference on Computer Communications, 2021

2020

Towards Runtime Verification of Programmable Switches.

Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Stefan Schmid, Artur Hecker, Anja Feldmann

CoRR, 2020

2019

Runtime Verification of P4 Switches with Reinforcement Learning.

Apoorv Shukla, Kevin Nico Hudemann, Artur Hecker, Stefan Schmid

Proceedings of the 2019 Workshop on Network Meets AI & ML, 2019