Name Card

Full name Familienname, Vorname
Dobe, Oyendrila
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Probabilistic Hyperproperties with RewardsInproceedings Konferenzbeitrag 20-May-2022
2Wilke, Lukas ; Dobe, Oyendrila ; Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Probabilistic Hyperproperties with RewardsKonferenzbeitrag Inproceedings2022
3Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo HyperProb: A Model Checker for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings2021
4Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Probabilistic Hyperproperties with NondeterminismKonferenzbeitrag Inproceedings2020
5Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Parameter Synthesis for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings2020