Vahid Hashemi

Simeon C. Calvert

CoRR, 2024

Causal Analysis for Robust Interpretability of Neural Networks.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Autonomous Vehicles Path Planning Under Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

Causal Analysis for Robust Interpretability of Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

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

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.

[BibT_eX]

[DOI]

Akshay Dhonthi

Ernst Moritz Hahn

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).

[BibT_eX]

[DOI]

Proceedings of the HCI International 2022 Posters, 2022

SMC4PEP: Stochastic Model Checking of Product Engineering Processes.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2020

Towards a Systems Engineering Based Automotive Product Engineering Process.

[BibT_eX]

[DOI]

Hassan Hage

Frank Mantwill

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

Towards Safety Verification of Direct Perception Neural Networks.

[BibT_eX]

[DOI]

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

DeepAbstract: Neural Network Abstraction for Accelerating Verification.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2019

2017

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

[BibT_eX]

[DOI]

PhD thesis, 2017

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

[BibT_eX]

[DOI]

Optim. Lett., 2017

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

[BibT_eX]

[DOI]

Dimitri Scheftelowitsch

Peter Buchholz

Luis María Ferrer Fioriti

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

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2016

Deciding probabilistic automata weak bisimulation: theory and practice.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Compositional Reasoning for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2016

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs.

[BibT_eX]

[DOI]

Lei Song

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

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

[BibT_eX]

[DOI]

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

Exploiting Robust Optimization for Interval Probabilistic Bisimulation.

[BibT_eX]

[DOI]

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

Compositional Bisimulation Minimization for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

2014

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2012

Computing Behavioral Relations for Probabilistic Concurrent Systems.

[BibT_eX]

[DOI]

Daniel Gebler

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.

[BibT_eX]

[DOI]

Hassan Salehi Fathabadi

Int. J. Comput. Math., 2011

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

[BibT_eX]

Marzieh Khodaee