Login / Signup
Zsolt Vági
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Signature Verification
Cooperative
Asynchronous Circuits
Single Chip
Top Venues
CoRR
IEEE/ACM Trans. Netw.
INFOCOM
</>
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)