default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVahid Hashemi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c23]Vahid Hashemi, Jan Kretínský
, Sabine Rieder, Torsten Schön, Jan Vorhoff:
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. RV 2024: 218-228- [c22]Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi:
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. VMCAI (2) 2024: 124-138 - [c21]Ola Ahmad, Nicolas Béreux, Loïc Baret, Vahid Hashemi, Freddy Lécué:
Causal Analysis for Robust Interpretability of Neural Networks. WACV 2024: 4673-4682 - 2023
- [c20]Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt:
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. FM 2023: 622-634 - [c19]Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi:
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. FM 2023: 635-647 - [i11]Ola Ahmad, Nicolas Béreux, Vahid Hashemi, Freddy Lécué:
Causal Analysis for Robust Interpretability of Neural Networks. CoRR abs/2305.08950 (2023) - [i10]Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi:
AGNES: Abstraction-guided Framework for Deep Neural Networks Security. CoRR abs/2311.04009 (2023) - 2022
- [c18]Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill:
SMC4PEP: Stochastic Model Checking of Product Engineering Processes. FASE 2022: 155-162 - [c17]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: 164-171 - [i9]Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill:
SMC4PEP: Stochastic Model Checking of Product Engineering Processes. CoRR abs/2203.06974 (2022) - [i8]Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi:
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. CoRR abs/2212.07278 (2022) - [i7]Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt:
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. CoRR abs/2212.07773 (2022) - 2021
- [c16]Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis:
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. RV 2021: 254-264 - [c15]Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio:
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM 2021: 463-480 - 2020
- [c14]Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr:
DeepAbstract: Neural Network Abstraction for Accelerating Verification. ATVA 2020: 92-107 - [c13]Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi:
Towards Safety Verification of Direct Perception Neural Networks. DATE 2020: 1640-1643 - [c12]Hassan Hage, Vahid Hashemi, Frank Mantwill:
Towards a Systems Engineering Based Automotive Product Engineering Process. ECSA Companion 2020: 527-541 - [i6]Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr:
DeepAbstract: Neural Network Abstraction for Accelerating Verification. CoRR abs/2006.13735 (2020) - [i5]Hassan Hage, Vahid Hashemi, Frank Mantwill:
Towards a Systems Engineering based Automotive Product Engineering Process. CoRR abs/2007.11897 (2020)
2010 – 2019
- 2019
- [j5]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): 27:1-27:31 (2019) - [i4]Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi:
Towards Safety Verification of Direct Perception Neural Networks. CoRR abs/1904.04706 (2019) - 2017
- [b1]Vahid Hashemi:
Decision algorithms for modelling, optimal control and verification of probabilistic systems. Saarland University, Saarbrücken, Germany, 2017 - [j4]Vahid Hashemi:
Reformulation of the linear program for completely ergodic MDPs with average cost criteria. Optim. Lett. 11(7): 1477-1487 (2017) - [c11]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST 2017: 207-223 - [c10]Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni:
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA 2017: 25-41 - [c9]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS 2017: 44-51 - [i3]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR abs/1706.06875 (2017) - [i2]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR abs/1710.08986 (2017) - 2016
- [j3]Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28(1): 109-143 (2016) - [c8]Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA 2016: 114-126 - [c7]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST 2016: 55-71 - [c6]Vahid Hashemi:
Towards a combinatorial approach for undiscounted MDPs: student research abstract. SAC 2016: 1708-1709 - [c5]Vahid Hashemi, Holger Hermanns, Lei Song:
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI 2016: 351-371 - [i1]Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Compositional Reasoning for Interval Markov Decision Processes. CoRR abs/1607.08484 (2016) - 2014
- [c4]Vahid Hashemi, Ulle Endriss:
Measuring Diversity of Preferences in a Group. ECAI 2014: 423-428 - [c3]Vahid Hashemi, Hassan Hatefi, Jan Krcál:
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). SynCoP 2014: 19-33 - 2013
- [j2]Vahid Hashemi, Holger Hermanns, Andrea Turrini:
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - 2012
- [c2]Daniel Gebler, Vahid Hashemi, Andrea Turrini:
Computing Behavioral Relations for Probabilistic Concurrent Systems. ROCKS 2012: 117-155 - 2011
- [j1]Hassan Salehi Fathabadi, Vahid Hashemi:
Circular and radial design comparison of survivability in asymmetrical hierarchical networks. Int. J. Comput. Math. 88(14): 2926-2935 (2011) - [c1]Marzieh Khodaee, Vahid Hashemi, Mohammad Aminisharifabad:
A Simple Algorithm for Solving the All-Pairs Minimum Value Cut Problem Using DNA Computing. BICoB 2011: 201-204
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
