Vahid Hashemi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
14
Active years
2014–2024
Best venue rank
B
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | WACV | Causal Analysis for Robust Interpretability of Neural Networks. | Ola Ahmad, Nicolas Breux, Loc Baret, Vahid Hashemi, Freddy Lcu |
| 2024 | RV | Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. | Vahid Hashemi, Jan Kretnsk, Sabine Rieder, Torsten Schn, Jan Vorhoff |
| 2024 | VMCAI | AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. | Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi |
| 2023 | FM | Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. | Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi |
| 2023 | FM | Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. | Vahid Hashemi, Jan Kretnsk, Sabine Rieder, Jessica Schmidt |
| 2022 | FASE | SMC4PEP: Stochastic Model Checking of Product Engineering Processes. | Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill |
| 2022 | HCI | 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 Fler, Tobias Rler, Marc Groerschkamp, Andreas Kurbos, Miriam Bottesch, Pia Immoor, Arnd Engeln, Marlis Fleischmann, Miriam Schweiker, Anne Pagenkopf, Lesley-Ann Mathis, Daniela Piechnik |
| 2021 | RV | Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. | Vahid Hashemi, Jan Kretnsk, Stefanie Mohr, Emmanouil Seferis |
| 2021 | SEFM | OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. | Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio |
| 2020 | ATVA | DeepAbstract: Neural Network Abstraction for Accelerating Verification. | Pranav Ashok, Vahid Hashemi, Jan Kretnsk, Stefanie Mohr |
| 2020 | DATE | Towards Safety Verification of Direct Perception Neural Networks. | Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi |
| 2020 | ECSA | Towards a Systems Engineering Based Automotive Product Engineering Process. | Hassan Hage, Vahid Hashemi, Frank Mantwill |
| 2017 | SETTA | Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. | Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni |
| 2016 | LATA | Compositional Bisimulation Minimization for Interval Markov Decision Processes. | Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski |
| 2016 | SAC | Towards a combinatorial approach for undiscounted MDPs: student research abstract. | Vahid Hashemi |
| 2016 | VMCAI | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. | Vahid Hashemi, Holger Hermanns, Lei Song |
| 2014 | ECAI | Measuring Diversity of Preferences in a Group. | Vahid Hashemi, Ulle Endriss |