Asmae Heydari Tabar

202020212 2

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 cs.tu-darmstadt.de
Arya MazaheriPhD Student, 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
A Program Logic for Dependence Analysis R Bubel, R Hähnle, AH Tabar International Conference on Integrated Formal Methods, 83-100, 2019	2	2019
Safer parallelization R Hähnle, AH Tabar, A Mazaheri, M Norouzi, D Steinhöfel, F Wolf International Symposium on Leveraging Applications of Formal Methods, 117-137, 2020	1	2020
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	1	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		2021
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–5

Citations per year