Automated model extraction: From non-deterministic C code to active objects
Wasser, N.; Heydari Tabar, A.; Hähnle, R.
2021. Science of Computer Programming, 204 (5), Art.-Nr.: 102597. doi:10.1016/J.SCICO.2020.102597

Safer Parallelization
Hähnle, R.; Tabar, A. H.; Heydari Tabar, A.; Mazaheri, A.; Norouzi, M.; Steinhöfel, D.; Wolf, F.
2020. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II Hrsg.: Margaria, Tiziana; Steffen, Bernhard, 117–137, Springer International Publishing. doi:10.1007/978-3-030-61470-6_8

Modeling Non-deterministic C Code with Active Objects
Wasser, N.; Heydari Tabar, A.; Hähnle, R.
2019. Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers Hrsg.: Hojjat, Hossein; Massink, Mieke, 213–227, Springer International Publishing. doi:10.1007/978-3-030-31517-7_15

A Program Logic for Dependence Analysis
Bubel, R.; Hähnle, R.; Heydari Tabar, A.
2019. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Hrsg.: Ahrendt, Wolfgang; Tarifa, Silvia Lizeth Tapia, 83–100, Springer International Publishing. doi:10.1007/978-3-030-34968-4_5