| DeepAbstract: neural network abstraction for accelerating verification P Ashok, V Hashemi, J Křetínský, S Mohr International Symposium on Automated Technology for Verification and …, 2020 | 56 | 2020 |
| Multi-objective robust strategy synthesis for interval Markov decision processes EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini International Conference on Quantitative Evaluation of Systems, 207-223, 2017 | 38 | 2017 |
| Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-31, 2019 | 22 | 2019 |
| Multi-objective approaches to Markov decision processes with uncertain transition parameters D Scheftelowitsch, P Buchholz, V Hashemi, H Hermanns Proceedings of the 11th EAI International Conference on Performance …, 2017 | 21 | 2017 |
| Towards safety verification of direct perception neural networks CH Cheng, CH Huang, T Brunner, V Hashemi 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2020 | 19 | 2020 |
| Reward-bounded reachability probability for uncertain weighted MDPs V Hashemi, H Hermanns, L Song International Conference on Verification, Model Checking, and Abstract …, 2015 | 15 | 2015 |
| Deciding probabilistic automata weak bisimulation: theory and practice LM Ferrer Fioriti, V Hashemi, H Hermanns, A Turrini Formal Aspects of Computing 28, 109-143, 2016 | 13 | 2016 |
| Exploiting robust optimization for interval probabilistic bisimulation EM Hahn, V Hashemi, H Hermanns, A Turrini Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016 | 12 | 2016 |
| Compositional bisimulation minimization for interval Markov decision processes V Hashemi, H Hermanns, L Song, K Subramani, A Turrini, ... Language and Automata Theory and Applications: 10th International Conference …, 2016 | 11 | 2016 |
| Probabilistic bisimulations for PCTL model checking of interval MDPs V Hashemi, H Hatefi, J Krčál arXiv preprint arXiv:1403.2864, 2014 | 11 | 2014 |
| Computing behavioral relations for probabilistic concurrent systems D Gebler, V Hashemi, A Turrini International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 9 | 2012 |
| On the efficiency of deciding probabilistic automata weak bisimulation V Hashemi, H Hermanss, A Turrini Electronic Communications of the EASST 66, 2014 | 8 | 2014 |
| Gaussian-based runtime detection of out-of-distribution inputs for neural networks V Hashemi, J Křetínský, S Mohr, E Seferis International Conference on Runtime Verification, 254-264, 2021 | 7 | 2021 |
| Runtime monitoring for out-of-distribution detection in object detection neural networks V Hashemi, J Křetínskỳ, S Rieder, J Schmidt International Symposium on Formal Methods, 622-634, 2023 | 6 | 2023 |
| Artificial intelligence for adaptive, responsive, and level-compliant interaction in the vehicle of the future (KARLI) F Diederichs, C Wannemacher, F Faller, M Mikolajewski, M Martin, M Voit, ... International Conference on Human-Computer Interaction, 164-171, 2022 | 6 | 2022 |
| OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks V Hashemi, P Kouvaros, A Lomuscio Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021 | 6 | 2021 |
| Polynomial-time alternating probabilistic bisimulation for interval MDPs V Hashemi, A Turrini, EM Hahn, H Hermanns, K Elbassioni International Symposium on Dependable Software Engineering: Theories, Tools …, 2017 | 5 | 2017 |
| Compositional reasoning for interval Markov decision processes V Hashemi, H Hermanns, A Turrini arXiv preprint arXiv:1607.08484, 2016 | 4 | 2016 |
| Backdoor mitigation in deep neural networks via strategic retraining A Dhonthi, EM Hahn, V Hashemi International Symposium on Formal Methods, 635-647, 2023 | 2 | 2023 |
| Towards a systems engineering based automotive product engineering process H Hage, V Hashemi, F Mantwill Software Architecture: 14th European Conference, ECSA 2020 Tracks and …, 2020 | 2 | 2020 |
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
