Nils Rollshausen

According to our database, Nils Rollshausen authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

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