Vahid Hashemi - RankMe

46 papers A 3B 8C 1Misc 2Journal 19Unranked 12

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions. CoRR Saeed Rahmani, Sabine Rieder, Erwin de Gelder, Marcel Sonntag, Jorge Lorente Mallada, Sytze Kalisvaart, Vahid Hashemi, Simeon C. Calvert
2024	—	`conf`	AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. VMCAI (2) Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
2024	—	`conf`	Autonomous Vehicles Path Planning Under Temporal Logic Specifications. SBMF Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi
2024	J	`jnl`	Autonomous Vehicles Path Planning under Temporal Logic Specifications. CoRR Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi
2024	A	`conf`	Causal Analysis for Robust Interpretability of Neural Networks. WACV Ola Ahmad, Nicolas Béreux, Loïc Baret, Vahid Hashemi, Freddy Lécué
2024	B	`conf`	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. RV Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff
2024	J	`jnl`	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. CoRR Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff
2024	—	`conf`	Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking. ApplePies Francesco Bellotti, Riccardo Berta, Vafali Soltanmuradov, David Martín Gómez, Akshay Dhonthi, Vahid Hashemi, Luca Lazzaroni
2024	—	`conf`	Runtime Input Monitoring of a Reinforcement Learning-Based Agent for Automated Car Parking. ApplePies Hadi Ballout, Riccardo Berta, Igor Bochenko, Luca Lazzaroni, Akshay Dhonthi, Vahid Hashemi, Francesco Bellotti
2023	J	`jnl`	AGNES: Abstraction-guided Framework for Deep Neural Networks Security. CoRR Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
2023	B	`conf`	Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. FM Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
2023	J	`jnl`	Causal Analysis for Robust Interpretability of Neural Networks. CoRR Ola Ahmad, Nicolas Béreux, Vahid Hashemi, Freddy Lécué
2023	B	`conf`	Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. FM Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
2022	—	`conf`	Artificial Intelligence for Adaptive, Responsive, and Level-Compliant Interaction in the Vehicle of the Future (KARLI). HCI (40) 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
2022	J	`jnl`	Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. CoRR Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
2022	J	`jnl`	Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. CoRR Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
2022	B	`conf`	SMC4PEP: Stochastic Model Checking of Product Engineering Processes. FASE Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
2022	J	`jnl`	SMC4PEP: Stochastic Model Checking of Product Engineering Processes. CoRR Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
2021	B	`conf`	Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. RV Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis
2021	B	`conf`	OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio
2020	B	`conf`	DeepAbstract: Neural Network Abstraction for Accelerating Verification. ATVA Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
2020	J	`jnl`	DeepAbstract: Neural Network Abstraction for Accelerating Verification. CoRR Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
2020	A	`conf`	Towards Safety Verification of Direct Perception Neural Networks. DATE Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
2020	—	`conf`	Towards a Systems Engineering Based Automotive Product Engineering Process. ECSA Companion Hassan Hage, Vahid Hashemi, Frank Mantwill
2020	J	`jnl`	Towards a Systems Engineering based Automotive Product Engineering Process. CoRR Hassan Hage, Vahid Hashemi, Frank Mantwill
2019	J	`jnl`	Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2019	J	`jnl`	Towards Safety Verification of Direct Perception Neural Networks. CoRR Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
2017	—	`—`	Decision algorithms for modelling, optimal control and verification of probabilistic systems. Vahid Hashemi
2017	—	`conf`	Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
2017	J	`jnl`	Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
2017	—	`conf`	Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2017	J	`jnl`	Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2017	Misc	`conf`	Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni
2017	J	`jnl`	Reformulation of the linear program for completely ergodic MDPs with average cost criteria. Optim. Lett. Vahid Hashemi
2016	C	`conf`	Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski
2016	J	`jnl`	Compositional Reasoning for Interval Markov Decision Processes. CoRR Vahid Hashemi, Holger Hermanns, Andrea Turrini
2016	J	`jnl`	Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini
2016	—	`conf`	Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
2016	B	`conf`	Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI Vahid Hashemi, Holger Hermanns, Lei Song
2016	Misc	`conf`	Towards a combinatorial approach for undiscounted MDPs: student research abstract. SAC Vahid Hashemi
2014	A	`conf`	Measuring Diversity of Preferences in a Group. ECAI Vahid Hashemi, Ulle Endriss
2014	—	`conf`	Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). SynCoP Vahid Hashemi, Hassan Hatefi, Jan Krcál
2013	J	`jnl`	On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Vahid Hashemi, Holger Hermanns, Andrea Turrini
2012	—	`conf`	Computing Behavioral Relations for Probabilistic Concurrent Systems. ROCKS Daniel Gebler, Vahid Hashemi, Andrea Turrini
2011	—	`conf`	A Simple Algorithm for Solving the All-Pairs Minimum Value Cut Problem Using DNA Computing. BICoB Marzieh Khodaee, Vahid Hashemi, Mohammad Aminisharifabad
2011	J	`jnl`	Circular and radial design comparison of survivability in asymmetrical hierarchical networks. Int. J. Comput. Math. Hassan Salehi Fathabadi, Vahid Hashemi