| Probabilistic hyperproperties with nondeterminism E Ábrahám, E Bartocci, B Bonakdarpour, O Dobe International Symposium on Automated Technology for Verification and …, 2020 | 29 | 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 |
| 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 |
| Parameter synthesis for probabilistic hyperproperties E Abrahám, E Bartocci, B Bonakdarpour, O Dobe 23rd International Conference on Logic for Programming, Artificial …, 2020 | 13 | 2020 |
| HyperProb: A Model Checker for Probabilistic Hyperproperties O Dobe, E Ábrahám, E Bartocci, B Bonakdarpour International Symposium on Formal Methods, 657-666, 2021 | 10 | 2021 |
| 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 |
| Probabilistic hyperproperties with rewards O Dobe, L Wilke, E Ábrahám, E Bartocci, B Bonakdarpour NASA Formal Methods Symposium, 656-673, 2022 | 7 | 2022 |
| Model Checking Hyperproperties for Markov Decision Processes O Dobe, E Ábrahám, E Bartocci, B Bonakdarpour Information and Computation, 104978, 2022 | 4 | 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 | 1 | 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 | | 2023 |
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
