A Simple Algorithm for Solving the All-Pairs Minimum Value Cut Problem Using DNA Computing. - Marzieh Khodaee; Vahid Hashemi; Mohammad Aminisharifabad (BICoB, 2011)

Circular and radial design comparison of survivability in asymmetrical hierarchical networks. - Hassan Salehi Fathabadi; Vahid Hashemi (Int. J. Comput. Math., 2011)

Computing Behavioral Relations for Probabilistic Concurrent Systems. - Daniel Gebler; Vahid Hashemi; Andrea Turrini (ROCKS, 2012)

On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. - Vahid Hashemi; Holger Hermanns; Andrea Turrini (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Measuring Diversity of Preferences in a Group. - Vahid Hashemi; Ulle Endriss (ECAI, 2014)

Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). - Vahid Hashemi; Hassan Hatefi; Jan Krcál (SynCoP, 2014)

Compositional Bisimulation Minimization for Interval Markov Decision Processes. - Vahid Hashemi; Holger Hermanns; Lei Song 001; K. Subramani 001; Andrea Turrini; Piotr Wojciechowski 002 (LATA, 2016)

Exploiting Robust Optimization for Interval Probabilistic Bisimulation. - Ernst Moritz Hahn; Vahid Hashemi; Holger Hermanns; Andrea Turrini (QEST, 2016)

Towards a combinatorial approach for undiscounted MDPs: student research abstract. - Vahid Hashemi (SAC, 2016)

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. - Vahid Hashemi; Holger Hermanns; Lei Song 001 (VMCAI, 2016)

Compositional Reasoning for Interval Markov Decision Processes. - Vahid Hashemi; Holger Hermanns; Andrea Turrini (CoRR, 2016)

Deciding probabilistic automata weak bisimulation: theory and practice. - Luis María Ferrer Fioriti; Vahid Hashemi; Holger Hermanns; Andrea Turrini (Formal Aspects Comput., 2016)

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. - Ernst Moritz Hahn; Vahid Hashemi; Holger Hermanns; Morteza Lahijanian; Andrea Turrini (QEST, 2017)

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. - Vahid Hashemi; Andrea Turrini; Ernst Moritz Hahn; Holger Hermanns; Khaled M. Elbassioni (SETTA, 2017)

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. - Dimitri Scheftelowitsch; Peter Buchholz 001; Vahid Hashemi; Holger Hermanns (VALUETOOLS, 2017)

Reformulation of the linear program for completely ergodic MDPs with average cost criteria. - Vahid Hashemi (Optim. Lett., 2017)

Decision algorithms for modelling, optimal control and verification of probabilistic systems. - Vahid Hashemi (2017)

Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. - Ernst Moritz Hahn; Vahid Hashemi; Holger Hermanns; Morteza Lahijanian; Andrea Turrini (ACM Trans. Model. Comput. Simul., 2019)

DeepAbstract: Neural Network Abstraction for Accelerating Verification. - Pranav Ashok; Vahid Hashemi; Jan Kretínský; Stefanie Mohr (ATVA, 2020)

Towards Safety Verification of Direct Perception Neural Networks. - Chih-Hong Cheng; Chung-Hao Huang; Thomas Brunner; Vahid Hashemi (DATE, 2020)

Towards a Systems Engineering Based Automotive Product Engineering Process. - Hassan Hage; Vahid Hashemi; Frank Mantwill (ECSA Companion, 2020)

Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. - Vahid Hashemi; Jan Kretínský; Stefanie Mohr; Emmanouil Seferis (RV, 2021)

OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. - Vahid Hashemi; Panagiotis Kouvaros; Alessio Lomuscio (SEFM, 2021)

SMC4PEP: Stochastic Model Checking of Product Engineering Processes. - Hassan Hage; Emmanouil Seferis; Vahid Hashemi; Frank Mantwill (FASE, 2022)

Artificial Intelligence for Adaptive, Responsive, and Level-Compliant Interaction in the Vehicle of the Future (KARLI). - Frederik Diederichs; Christoph Wannemacher; Fabian Faller; Martin Mikolajewski; Manuel Martin; Michael Voit; Harald Widlroither; Eike Schmidt; Doreen Engelhardt; Lena Rittger; Vahid Hashemi; Manya Sahakyan; et al. (HCI (40), 2022)

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. - Akshay Dhonthi; Ernst Moritz Hahn; Vahid Hashemi (FM, 2023)

Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. - Vahid Hashemi; Jan Kretínský; Sabine Rieder; Jessica Schmidt (FM, 2023)

Causal Analysis for Robust Interpretability of Neural Networks. - Ola Ahmad; Nicolas Béreux; Vahid Hashemi; Freddy Lécué (CoRR, 2023)

Runtime Input Monitoring of a Reinforcement Learning-Based Agent for Automated Car Parking. - Hadi Ballout; Riccardo Berta; Igor Bochenko; Luca Lazzaroni; Akshay Dhonthi; Vahid Hashemi; Francesco Bellotti (ApplePies, 2024)

Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking. - Francesco Bellotti; Riccardo Berta; Vafali Soltanmuradov; David Martín Gómez; Akshay Dhonthi; Vahid Hashemi; Luca Lazzaroni (ApplePies, 2024)

Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. - Vahid Hashemi; Jan Kretínský; Sabine Rieder; Torsten Schön; Jan Vorhoff (RV, 2024)

Autonomous Vehicles Path Planning Under Temporal Logic Specifications. - Akshay Dhonthi; Nicolas Schischka; Ernst Moritz Hahn; Vahid Hashemi (SBMF, 2024)

AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. - Akshay Dhonthi; Marcello Eiermann; Ernst Moritz Hahn; Vahid Hashemi (VMCAI (2), 2024)

Causal Analysis for Robust Interpretability of Neural Networks. - Ola Ahmad; Nicolas Béreux; Loïc Baret; Vahid Hashemi; Freddy Lécué (WACV, 2024)

A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions. - Saeed Rahmani; Sabine Rieder; Erwin de Gelder; Marcel Sonntag; Jorge Lorente Mallada; Sytze Kalisvaart; Vahid Hashemi; Simeon C. Calvert (CoRR, 2024)