Asmae Heydari Tabar
Asmae Heydari Tabar
Research Associate at Computer Science Department, TU Darmstadt
Verified email at
Cited by
Cited by
Safer parallelization
R Hähnle, A Heydari Tabar, A Mazaheri, M Norouzi, D Steinhöfel, F Wolf
International Symposium on Leveraging Applications of Formal Methods, 117-137, 2020
A Program Logic for Dependence Analysis
R Bubel, R Hähnle, AH Tabar
International Conference on Integrated Formal Methods, 83-100, 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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–6