Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. - Eduard Kamburjan; Marco Scaletta; Nils Rollshausen (CoRR, 2021)

Deductive verification of active objects with Crowbar. - Eduard Kamburjan; Marco Scaletta; Nils Rollshausen (Sci. Comput. Program., 2023)

PairSonic: Helping Groups Securely Exchange Contact Information. - Florentin Putz; Steffen Haesler; Thomas Völkl; Maximilian Gehring; Nils Rollshausen; Matthias Hollick (CSCW Companion, 2024)

Generating Transparent and Query-Based RDF Layers. - Nils Rollshausen; Eduard Kamburjan; Martin Giese (SOFLIM2KG-SemIIM@ISWC, 2024)

WatchWitch: Interoperability, Privacy, and Autonomy for the Apple Watch. - Nils Rollshausen; Alexander Heinrich; Matthias Hollick; Jiska Classen (Proc. Priv. Enhancing Technol., 2025)