Towards Net-based Formal Methods for Complex Event Processing. - Michael Offel; Han van der Aa; Matthias Weidlich 001 (LWDA, 2018)

HashCache: High-Performance State Tracking for Resilient FPGA-Based Packet Processing. - Michael Offel; Andreas Ley; Sven Hager (FPL, 2023)