Vahid Hashemi

According to our database, Vahid Hashemi authored at least 30 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Causal Analysis for Robust Interpretability of Neural Networks.

Ola Ahmad, Nicolas Béreux, Loïc Baret, Vahid Hashemi, Freddy Lécué

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

AGNES: Abstraction-Guided Framework for Deep Neural Networks Security.

Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Causal Analysis for Robust Interpretability of Neural Networks.

Ola Ahmad, Nicolas Béreux, Vahid Hashemi, Freddy Lécué

CoRR, 2023

Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.

Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt

Proceedings of the Formal Methods - 25th International Symposium, 2023

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.

Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi

Proceedings of the Formal Methods - 25th International Symposium, 2023

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, 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

Proceedings of the HCI International 2022 Posters, 2022

SMC4PEP: Stochastic Model Checking of Product Engineering Processes.

Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks.

Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks.

Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis

Proceedings of the Runtime Verification - 21st International Conference, 2021

2020

Towards a Systems Engineering Based Automotive Product Engineering Process.

Hassan Hage, Vahid Hashemi, Frank Mantwill

Proceedings of the Software Architecture - 14th European Conference, 2020

Towards Safety Verification of Direct Perception Neural Networks.

Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

DeepAbstract: Neural Network Abstraction for Accelerating Verification.

Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

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

2017

Decision algorithms for modelling, optimal control and verification of probabilistic systems.

Vahid Hashemi

PhD thesis, 2017

Reformulation of the linear program for completely ergodic MDPs with average cost criteria.

Vahid Hashemi

Optim. Lett., 2017

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters.

Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.

Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes.

Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Deciding probabilistic automata weak bisimulation: theory and practice.

Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini

Formal Aspects Comput., 2016

Compositional Reasoning for Interval Markov Decision Processes.

Vahid Hashemi, Holger Hermanns, Andrea Turrini

CoRR, 2016

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs.

Vahid Hashemi, Holger Hermanns, Lei Song

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Towards a combinatorial approach for undiscounted MDPs: student research abstract.

Vahid Hashemi

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Exploiting Robust Optimization for Interval Probabilistic Bisimulation.

Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Compositional Bisimulation Minimization for Interval Markov Decision Processes.

Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski

Proceedings of the Language and Automata Theory and Applications, 2016

2014

Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version).

Vahid Hashemi, Hassan Hatefi, Jan Krcál

Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

Measuring Diversity of Preferences in a Group.

Vahid Hashemi, Ulle Endriss

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation.

Vahid Hashemi, Holger Hermanns, Andrea Turrini

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2012

Computing Behavioral Relations for Probabilistic Concurrent Systems.

Daniel Gebler, Vahid Hashemi, Andrea Turrini

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

2011

Circular and radial design comparison of survivability in asymmetrical hierarchical networks.

Hassan Salehi Fathabadi, Vahid Hashemi

Int. J. Comput. Math., 2011

A Simple Algorithm for Solving the All-Pairs Minimum Value Cut Problem Using DNA Computing.

Marzieh Khodaee, Vahid Hashemi, Mohammad Aminisharifabad

Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011