Nils Rollshausen

According to our database, Nils Rollshausen authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

WatchWitch: Interoperability, Privacy, and Autonomy for the Apple Watch.

Nils Rollshausen, Alexander Heinrich, Matthias Hollick, Jiska Classen

Proc. Priv. Enhancing Technol., 2025

2024

Generating Transparent and Query-Based RDF Layers.

Nils Rollshausen, Eduard Kamburjan, Martin Giese

Proceedings of the Joint Proceedings of the 1st Software Lifecycle Management for Knowledge Graphs Workshop and the 3rd International Workshop on Semantic Industrial Information Modelling (SOFLIM2KG-SEMIIM 2024) co-located with 23th International Semantic Web Conference (ISWC 2024), 2024

PairSonic: Helping Groups Securely Exchange Contact Information.

Florentin Putz, Steffen Haesler, Thomas Völkl, Maximilian Gehring, Nils Rollshausen, Matthias Hollick

Proceedings of the Companion Publication of the 2024 Conference on Computer-Supported Cooperative Work and Social Computing, 2024

2023

Deductive verification of active objects with Crowbar.

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen

Sci. Comput. Program., March, 2023

2021

Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects.

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen

CoRR, 2021