Nils Rollshausen

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Object Oriented

Simulated Annealing Algorithm

Dynamic Response

Top Venues

Sci. Comput. Program.

Publications

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen
Deductive verification of active objects with Crowbar. Sci. Comput. Program. 226 (2023)
Eduard Kamburjan, Marco Scaletta, Nils Rollshausen
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. CoRR (2021)