Asmae Heydari Tabar

20202021202220232 8 8 3

Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
Nathan WasserPostDoc at Department of Computer Science, Technische Universität DarmstadtVerified email at cs.tu-darmstadt.de
Felix WolfProfessor of Computer Science, TU DarmstadtVerified email at tu-darmstadt.de
Arya MazaheriResearcher at Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Dominic SteinhöfelCISPA Helmholtz Center for Information SecurityVerified email at cispa.de

Asmae Heydari Tabar

Research Associate at Computer Science Department, TU Darmstadt

Verified email at cs.tu-darmstadt.de


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Safer parallelization R Hähnle, A Heydari Tabar, A Mazaheri, M Norouzi, D Steinhöfel, F Wolf Leveraging Applications of Formal Methods, Verification and Validation …, 2020	7	2020
A Program Logic for Dependence Analysis R Bubel, R Hähnle, AH Tabar International Conference on Integrated Formal Methods, 83-100, 2019	6	2019
Automated model extraction: from non-deterministic C code to active objects N Wasser, AH Tabar, R Hähnle Science of Computer Programming 204, 102597, 2021	4	2021
Modeling Non-deterministic C Code with Active Objects N Wasser, AH Tabar, R Hähnle International Conference on Fundamentals of Software Engineering, 213-227, 2019	3	2019
Automatic loop invariant generation for data dependence analysis AH Tabar, R Bubel, R Hähnle Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022	1	2022
Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19) KI Pun, V Stolz, E Fazeldehkordi, O Owe, T Ramezanifarkhani, ... Høgskulen på Vestlandet, 2020		2020

The system can't perform the operation now. Try again later.

Articles 1–6

Citations per year