KIT - Application-oriented Formal Verification - Team

Henriette Färber, M.Sc. Researcher / PhD Student
Room 227, Building 50.34 Phone: +49 721 608-43856 Fax: +49 721 608-44021 henriette faerberXwx3∂kit edu	KIT / Institute of Information Security and Dependability (KASTEL) Am Fasanengarten 5 Building 50.34 76131 Karlsruhe Germany

Henriette Färber, M.Sc.

Researcher / PhD Student

Room 227, Building 50.34
Phone: +49 721 608-43856
Fax: +49 721 608-44021
henriette faerberXwx3∂kit edu

KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany

2025
Title	Author(s)	Source
Observable Semantics for Characterising Consistency Between Heterogeneous Models	Henriette Färber, Romain Pascual, Terru Stübinger, and Mattias Ulbrich	Software Engineering and Formal Methods (SEFM 2025)