Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Terru Stübinger
conf.researchr.org general profile
FM 2026 profile
POPL 2026 profile
STAF 2026 profile
Not registered as user
Name:
Terru Stübinger
Affiliation:
Karlsruhe Institut für Technologie
Contributions
2026
ECMFA
Author of Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models within the ECMFA 2026-track
FM
Author of Slicing Models for Equiconsistency with Alloy within the ABZ-track
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Sat 27 Jun 02:47