Ensure OPC-UA Interfaces for Digital Plug-and-Produce. - Frank-Walter Jaekel; Tobias Wolff; Vincent Happersberger; Thomas Knothe (OTM Workshops, 2019)

Comparison of Ethereum Smart Contract Analysis and Verification Methods. - Vincent Happersberger; Frank-Walter Jäkel; Thomas Knothe; Yvonne-Anne Pignolet; Stefan Schmid 001 (ESORICS Workshops (1), 2023)