| Probabilistic hyperproperties with nondeterminism E Ábrahám, E Bartocci, B Bonakdarpour, O Dobe International Symposium on Automated Technology for Verification and …, 2020 | 30 | 2020 |
| Detection of tumor in brain MRI using fuzzy feature selection and support vector machine A Halder, O Dobe 2016 International Conference on Advances in Computing, Communications and …, 2016 | 19 | 2016 |
| Parameter synthesis for probabilistic hyperproperties E Abrahám, E Bartocci, B Bonakdarpour, O Dobe 23rd International Conference on Logic for Programming, Artificial …, 2020 | 15 | 2020 |
| Rough K-means and support vector machine based brain tumor detection A Halder, O Dobe 2017 international conference on advances in computing, communications and …, 2017 | 15 | 2017 |
| HyperProb: A Model Checker for Probabilistic Hyperproperties O Dobe, E Ábrahám, E Bartocci, B Bonakdarpour International Symposium on Formal Methods, 657-666, 2021 | 11 | 2021 |
| Probabilistic hyperproperties with rewards O Dobe, L Wilke, E Ábrahám, E Bartocci, B Bonakdarpour NASA Formal Methods Symposium, 656-673, 2022 | 8 | 2022 |
| Rough K-means and morphological operation-based brain tumor extraction O Dobe, A Sarkar, A Halder Integrated Intelligent Computing, Communication and Security, 661-667, 2019 | 8 | 2019 |
| Model Checking Hyperproperties for Markov Decision Processes O Dobe, E Ábrahám, E Bartocci, B Bonakdarpour Information and Computation, 104978, 2022 | 5 | 2022 |
| Lightweight Verification of Hyperproperties O Dobe, S Schupp, E Bartocci, B Bonakdarpour, A Legay, M Pajic, ... International Symposium on Automated Technology for Verification and …, 2023 | 3 | 2023 |
| Introducing asynchronicity to probabilistic hyperproperties L Gerlach, O Dobe, E Ábrahám, E Bartocci, B Bonakdarpour International Conference on Quantitative Evaluation of Systems, 47-64, 2023 | 1 | 2023 |
| Verification of Probabilistic Hyperproperties on Markov Models O Dobe Michigan State University, 2024 | | 2024 |
Ezio BartocciFaculty of Informatics, TU Wien在 tuwien.ac.at 的电子邮件经过验证
