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 | 8 | 2020 |
A Program Logic for Dependence Analysis R Bubel, R Hähnle, AH Tabar International Conference on Integrated Formal Methods, 83-100, 2019 | 7 | 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 | 4 | 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 | 3 | 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 | 3 | 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 | | 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 | | |