Name Card

Full name Familienname, Vorname
Sallinger, Sarah Sophie
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brechelmacher, Otto ; Ničković, Dejan ; Nießen, Tobias ; Sallinger, Sarah Sophie ; Weissenbacher, Georg Differential Property Monitoring for Backdoor DetectionInproceedings Konferenzbeitrag 29-Nov-2024
2Sallinger-2023-A Formalization ofHeisenbugs andTheir Causes-am.pdf.jpgSallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian A Formalization of Heisenbugs and Their CausesInproceedings Konferenzbeitrag 31-Oct-2023
3Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie Deductive Controller Synthesis for Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Graussam Lukas - 2024 - Consistency-based Software Fault Localization with...pdf.jpgGraussam, Lukas Consistency-based software fault localization with multiple observationsThesis Hochschulschrift 2024