RoSE 2021
Wed 2 Jun 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
RoSE Program
Your Program
Wed 2 Jun
Track/Call
Organization
RoSE 2021 Committees
Not available
Contributors
People Index
Search
Series
Series
RoSE 2025
RoSE 2024
RoSE 2023
RoSE 2022
RoSE 2021
Sign in
Sign up
ICSE 2021
(
series
) /
RoSE 2021 (
series
) /
Alexander Knüppel
ICSE 2021 profile
conf.research.org general profile
ICSE 2020 profile
SPLASH 2018 profile
Registered user since Thu 29 Apr 2021
Name:
Alexander Knüppel
Country:
Germany
Affiliation:
TU Braunschweig
Contributions
2021
FormaliSE
How much Specification is Enough? Mutation Analysis for Software Contracts
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Sat 23 Nov 17:25