Ábrahám, Erika

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Ábrahám, Erika
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.013 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Schupp, Stefan ; Ábrahám, Erika ; Ebert, Tristan Recent developments in theory and tool support for hybrid systems verification with HyProArticle Artikel 2022
2Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Probabilistic Hyperproperties with NondeterminismKonferenzbeitrag Inproceedings2020
3Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Model checking hyperproperties for Markov decision processesArticle Artikel 2022
4Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo HyperProb: A Model Checker for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings2021
5Freiberger, Felix ; Schupp, Stefan ; Hermanns, Holger ; Ábrahám, Erika Controller verification meets controller codeKonferenzbeitrag Inproceedings 2021