Asmae Heydari Tabar
Asmae Heydari Tabar
Research Associate at Computer Science Department, TU Darmstadt
Verified email at
Cited by
Cited by
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
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
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
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–5