Zsolt Vági

According to our database, Zsolt Vági authored at least 3 papers between 2020 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