Follow
Asmae Heydari Tabar
Asmae Heydari Tabar
Research Associate at Computer Science Department, TU Darmstadt
Verified email at cs.tu-darmstadt.de
Title
Cited by
Cited by
Year
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
62020
A Program Logic for Dependence Analysis
R Bubel, R Hähnle, AH Tabar
International Conference on Integrated Formal Methods, 83-100, 2019
52019
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
32021
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
32019
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
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