Runtime Verification for Programmable Switches

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

doi:10.1109/TNET.2023.3234931

Local TagsRelease HistoryDetailsSummary

Runtime Verification for Programmable Switches

Shukla, A., Hudemann, K., Vági, Z., Hügerich, L., Smaragdakis, G., Hecker, A., et al. (2023). Runtime Verification for Programmable Switches. IEEE/ACM Transactions on Networking. doi:10.1109/TNET.2023.3234931.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-000C-B6AC-5 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-24F4-6

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Shukla, Apoorv¹, Author
Hudemann, Kevin¹, Author
Vági, Zsolt¹, Author
Hügerich, Lily¹, Author
Smaragdakis, Georgios¹, Author
Hecker, Artur¹, Author
Schmid, Stefan¹, Author
Feldmann, Anja², Author

Affiliations:
1External Organizations, ou_persistent22
2Internet Architecture, MPI for Informatics, Max Planck Society, ou_2489697

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2023

Publication Status: Published online

Pages: 16 p.

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Shukla23
DOI: 10.1109/TNET.2023.3234931

Degree: -

Event

show

Legal Case

show

Project information

show hide

Project name : ResolutioNet

Grant ID : 679158

Funding program : Horizon 2020 (H2020)

Funding organization : European Commission (EC)

Source 1

show

hide

Title: IEEE/ACM Transactions on Networking

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Piscataway, NJ : IEEE

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: ISSN: 1063-6692