Kevin Nico Hudemann

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Signature Verification

Asynchronous Circuits

Reinforcement Learning

Stochastic Approximation

Top Venues

IEEE/ACM Trans. Netw.

Publications

Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, Anja Feldmann
Runtime Verification for Programmable Switches. IEEE/ACM Trans. Netw. 31 (4) (2023)
Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, Anja Feldmann
Fix with P6: Verifying Programmable Switches at Runtime. INFOCOM (2021)
Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Stefan Schmid, Artur Hecker, Anja Feldmann
Towards Runtime Verification of Programmable Switches. CoRR (2020)
Apoorv Shukla, Kevin Nico Hudemann, Artur Hecker, Stefan Schmid
Runtime Verification of P4 Switches with Reinforcement Learning. NetAI@SIGCOMM (2019)