Towards Runtime Verification of Programmable Switches. - Apoorv Shukla; Kevin Nico Hudemann; Zsolt Vági; Lily Hügerich; Georgios Smaragdakis; Stefan Schmid 001; Artur Hecker; Anja Feldmann (CoRR, 2020)

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 001; Anja Feldmann (INFOCOM, 2021)

Runtime Verification for Programmable Switches. - Apoorv Shukla; Kevin Nico Hudemann; Zsolt Vági; Lily Hügerich; Georgios Smaragdakis; Artur Hecker; Stefan Schmid 001; Anja Feldmann (IEEE/ACM Trans. Netw., 2023)