Language support for verifiable SDNs. - Matthias Eichholz 001 (SPLASH (Companion Volume), 2016)

Towards safe modular composition of network functions. - Matthias Eichholz 001; Guido Salvaneschi; Mira Mezini (Programming, 2018)

Online Reprogrammable Multi Tenant Switches. - Johannes Krude; Jaco A. Hofmann; Matthias Eichholz 001; Klaus Wehrle; Andreas Koch 001; Mira Mezini (ENCP@CoNEXT, 2019)

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. - Matthias Eichholz 001; Eric Hayden Campbell; Nate Foster; Guido Salvaneschi; Mira Mezini (ECOOP, 2019)

GRASS: generic reactive application-specific scheduling. - Marcel Blöcher; Matthias Eichholz 001; Pascal Weisenburger; Patrick Eugster; Mira Mezini; Guido Salvaneschi (REBLS@SPLASH, 2019)

Optimizing Data Plane Programs for the Network. - Johannes Krude; Matthias Eichholz 001; Maximilian Winck; Klaus Wehrle; Mira Mezini (NetPL@SIGCOMM, 2019)

ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. - Artur Sterz; Matthias Eichholz 001; Ragnar Mogk; Lars Baumgärtner; Pablo Graubner; Matthias Hollick; Mira Mezini; Bernd Freisleben (Art Sci. Eng. Program., 2021)

Dependently-typed data plane programming. - Matthias Eichholz 001; Eric Hayden Campbell; Matthias Krebs; Nate Foster; Mira Mezini (Proc. ACM Program. Lang., 2022)

Type-Safe Data Plane Programming. - Matthias Eichholz 001 (2022)