Name Card

Full name Familienname, Vorname
Ábrahám, Erika
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Garlich, Lina ; Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Introducing Asynchronicity to Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
2Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Probabilistic Hyperproperties with RewardsInproceedings Konferenzbeitrag 20-May-2022
3Schupp, Stefan ; Ábrahám, Erika ; Ebert, Tristan Recent developments in theory and tool support for hybrid systems verification with HyProArticle Artikel 2022
4Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Model checking hyperproperties for Markov decision processesArticle Artikel 2022
5Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo HyperProb: A Model Checker for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings2021
6Freiberger, Felix ; Schupp, Stefan ; Hermanns, Holger ; Ábrahám, Erika Controller verification meets controller codeKonferenzbeitrag Inproceedings 2021
7Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Probabilistic Hyperproperties with NondeterminismKonferenzbeitrag Inproceedings2020

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia Distribution Estimation for Probabilistic LoopsInproceedings Konferenzbeitrag 12-Sep-2022
2Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022