Vahid Hashemi

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 32

Top Venues

CoRR

QEST

VMCAI

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Ola Ahmad, Nicolas Béreux, Loïc Baret, Vahid Hashemi, Freddy Lécué
Causal Analysis for Robust Interpretability of Neural Networks. WACV (2024)
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. VMCAI (2) (2024)
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. FM (2023)
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
AGNES: Abstraction-guided Framework for Deep Neural Networks Security. CoRR (2023)
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. FM (2023)
Ola Ahmad, Nicolas Béreux, Vahid Hashemi, Freddy Lécué
Causal Analysis for Robust Interpretability of Neural Networks. CoRR (2023)
Frederik Diederichs, Christoph Wannemacher, Fabian Faller, Martin Mikolajewski, Manuel Martin, Michael Voit, Harald Widlroither, Eike Schmidt, Doreen Engelhardt, Lena Rittger, Vahid Hashemi, Manya Sahakyan, Massimo Romanelli, Bernd Kiefer, Victor Fäßler, Tobias Rößler, Marc Großerüschkamp, Andreas Kurbos, Miriam Bottesch, Pia Immoor, Arnd Engeln, Marlis Fleischmann, Miriam Schweiker, Anne Pagenkopf, Lesley-Ann Mathis, Daniela Piechnik
Artificial Intelligence for Adaptive, Responsive, and Level-Compliant Interaction in the Vehicle of the Future (KARLI). HCI (40) (2022)
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. CoRR (2022)
Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
SMC4PEP: Stochastic Model Checking of Product Engineering Processes. FASE (2022)
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. CoRR (2022)
Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
SMC4PEP: Stochastic Model Checking of Product Engineering Processes. CoRR (2022)
Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM (2021)
Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. RV (2021)
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification. CoRR (2020)
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification. ATVA (2020)
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
Towards Safety Verification of Direct Perception Neural Networks. DATE (2020)
Hassan Hage, Vahid Hashemi, Frank Mantwill
Towards a Systems Engineering Based Automotive Product Engineering Process. ECSA Companion (2020)
Hassan Hage, Vahid Hashemi, Frank Mantwill
Towards a Systems Engineering based Automotive Product Engineering Process. CoRR (2020)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
Towards Safety Verification of Direct Perception Neural Networks. CoRR (2019)
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS (2017)
Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA (2017)
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR (2017)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR (2017)
Vahid Hashemi
Reformulation of the linear program for completely ergodic MDPs with average cost criteria. Optim. Lett. 11 (7) (2017)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST (2017)
Vahid Hashemi, Holger Hermanns, Lei Song
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI (2016)
Vahid Hashemi, Holger Hermanns, Andrea Turrini
Compositional Reasoning for Interval Markov Decision Processes. CoRR (2016)
Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28 (1) (2016)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST (2016)
Vahid Hashemi
Towards a combinatorial approach for undiscounted MDPs: student research abstract. SAC (2016)
Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr J. Wojciechowski
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA (2016)
Vahid Hashemi, Ulle Endriss
Measuring Diversity of Preferences in a Group. ECAI (2014)
Vahid Hashemi, Hassan Hatefi, Jan Krcál
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). SynCoP (2014)
Vahid Hashemi, Holger Hermanns, Andrea Turrini
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Daniel Gebler, Vahid Hashemi, Andrea Turrini
Computing Behavioral Relations for Probabilistic Concurrent Systems. ROCKS (2012)
Hassan Salehi Fathabadi, Vahid Hashemi
Circular and radial design comparison of survivability in asymmetrical hierarchical networks. Int. J. Comput. Math. 88 (14) (2011)
Marzieh Khodaee, Vahid Hashemi, Mohammad Aminisharifabad
A Simple Algorithm for Solving the All-Pairs Minimum Value Cut Problem Using DNA Computing. BICoB (2011)

Vahid Hashemi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vahid Hashemi