Name Card

Full name Familienname, Vorname
Bonakdarpour, Borzoo
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (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
2Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Model checking hyperproperties for Markov decision processesArticle Artikel 2022
3Wilke, Lukas ; Dobe, Oyendrila ; Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Probabilistic Hyperproperties with RewardsKonferenzbeitrag Inproceedings2022
4Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo HyperProb: A Model Checker for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings2021
5Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Probabilistic Hyperproperties with NondeterminismKonferenzbeitrag Inproceedings2020
6Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Parameter Synthesis for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings2020
7Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf.jpgBartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2019
8Bartocci, Ezio ; Bonakdarpour, Borzoo ; Falcone, Ylies First International Competition of Software for Runtime VerificationKonferenzbeitrag Inproceedings2014