Publications

Found 6 results
Filters: Autor is Asmae Heydari Tabar  [Clear All Filters]
2022
A. Heydari Tabar, Bubel, R., und 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, S. 34-45.
2021
N. Wasser, Tabar, A. Heydari, und Hähnle, R., „Automated model extraction: From non-deterministic C code to active objects“, Science of Computer Programming, Bd. 204, 2021.
2020
R. Hähnle, Tabar, A. Heydari, Mazaheri, A., Norouzi, M., Steinhöfel, D., und Wolf, F., „Safer Parallelization“, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, S. 117-137.
2019
R. Bubel, Hähnle, R., und Tabar, A. Heydari, „A Program Logic for Dependence Analysis“, in Proceedings of 15th International Conference on Integrated Formal Methods (iFM), 2019, S. 83-100.
A. Heydari Tabar, Bubel, R., und 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, S. 10-12.
N. Wasser, Tabar, A. Heydari, und 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, S. 213-227.