Publications

Found 6 results
Filters: Author is Asmae Heydari Tabar  [Clear All Filters]
2022
A. Heydari Tabar, Bubel, R., and Hähnle, R., “Automatic Loop Invariant Generation for Data Dependence Analysis”, in Proceedings of the 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, pp. 34-45.
2021
N. Wasser, Tabar, A. Heydari, and Hähnle, R., “Automated model extraction: From non-deterministic C code to active objects”, Science of Computer Programming, vol. 204, 2021.
2020
R. Hähnle, Tabar, A. Heydari, Mazaheri, A., Norouzi, M., Steinhöfel, D., and Wolf, F., “Safer Parallelization”, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, pp. 117-137.
2019
R. Bubel, Hähnle, R., and Tabar, A. Heydari, “A Program Logic for Dependence Analysis”, in Proceedings of 15th International Conference on Integrated Formal Methods (iFM), 2019, pp. 83-100.
A. Heydari Tabar, Bubel, R., and Hähnle, R., “Automatic Loop Invariant Generation Using Predicate Abstraction for Dependence Analysis”, in Proceedings of the PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM), 2019, pp. 10-12.
N. Wasser, Tabar, A. Heydari, and Hähnle, R., “Modeling Non-deterministic C Code with Active Objects”, in Proceedings of the 8th International Conference on Fundamentals of Software Engineering (FSEN), 2019, pp. 213-227.