Stefan Mehner

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 4

Top Topics

Cut Elimination

Functional Language

Epistemic Logic

Top Venues

University of Bonn (PHD)

Education History

University of Bonn

PHD

Publications

Stefan Mehner, Helge Reelfs, Ingmar Poese, Oliver Hohlfeld
IPD: Detecting Traffic Ingress Points at ISPs. SIGCOMM (2024)
Eike Bjoern Schweissguth, Helge Parzyjegla, Peter Danielis, Gero Mühl, Dirk Timmermann, Stefan Mehner, Oliver Hohlfeld, David Hellmanns, Jonathan Falk
TSN Scheduler Benchmarking. WFCS (2023)
Stefan Mehner, Franka Schuster, Oliver Hohlfeld
Lights on Power Plant Control Networks. PAM (2022)
Stefan Mehner, Hartmut König
No Need to Marry to Change Your Name! Attacking Profinet IO Automation Networks Using DCP. DIMVA (2019)
Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer
Parametricity and Proving Free Theorems for Functional-Logic Languages. PPDP (2014)
Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
Understanding idiomatic traversals backwards and forwards. Haskell (2013)
Stefan Mehner, Ronny Klauck, Hartmut König
Location-independent fall detection with smartphone. PETRA (2013)