Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Reinhard von Hanxleden
conf.researchr.org general profile
ICSE 2024 profile
SPLASH 2018 profile
SPLASH 2021 profile
Registered user since Sat 31 May 2025
Name:
Reinhard von Hanxleden
Affiliation:
Kiel University
Contributions
2024
ICSE
Author of Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca within the Posters-track
2018
REBLS
Author of Synthesizing Manually Verifiable Code for Statecharts within the REBLS 2018-track
Share
x
Fri 13 Jun 05:41
