Full name Familienname, Vorname

Sallinger, Sarah Sophie

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian	A Formalization of Heisenbugs and Their Causes	Inproceedings Konferenzbeitrag	31-Oct-2023
	2		Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie	Deductive Controller Synthesis for Probabilistic Hyperproperties	Inproceedings Konferenzbeitrag	15-Sep-2023