Asmae Heydari Tabar
Asmae Heydari Tabar
Research Associate at Computer Science Department, Karlsruhe Institute of Technology
Verified email at
Cited by
Cited by
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
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
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
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
4.2 Abstraction in Contracts: Report from Breakout Group 2
R Hähnle, AH Tabar, E Kamburjan, N Kosmatov, R Monahan, T Santen, ...
Principles of Contract Languages, 18, 0
3.6 A Program Logic for Data Dependence Analysis
AH Tabar
Principles of Contract Languages, 7, 0
The system can't perform the operation now. Try again later.
Articles 1–8