Finger Trees. - Benedikt Nordhoff; Stefan Körner; Peter Lammich (Arch. Formal Proofs, 2010)

Dijkstra's Shortest Path Algorithm. - Benedikt Nordhoff; Peter Lammich (Arch. Formal Proofs, 2012)

Iterable Forward Reachability Analysis of Monitor-DPNs. - Benedikt Nordhoff; Markus Müller-Olm; Peter Lammich (Festschrift for Dave Schmidt, 2013)

A Branching Time Variant of CaRet. - Jens Oliver Gutsfeld; Markus Müller-Olm; Benedikt Nordhoff (SPIN, 2018)

Information Flow Control via Dependency Tracking. - Benedikt Nordhoff (Arch. Formal Proofs, 2021)

Security through safety: an approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour. - Benedikt Nordhoff (2022)