Modeling Non-deterministic C Code with Active Objects. - Nathan Wasser; Asmae Heydari Tabar; Reiner Hähnle (FSEN, 2019)

A Program Logic for Dependence Analysis. - Richard Bubel; Reiner Hähnle; Asmae Heydari Tabar (IFM, 2019)

Safer Parallelization. - Reiner Hähnle; Asmae Heydari Tabar; Arya Mazaheri; Mohammad Norouzi 003; Dominic Steinhöfel; Felix Wolf 001 (ISoLA (2), 2020)

Automated model extraction: From non-deterministic C code to active objects. - Nathan Wasser; Asmae Heydari Tabar; Reiner Hähnle (Sci. Comput. Program., 2021)

Automatic Loop Invariant Generation for Data Dependence Analysis. - Asmae Heydari Tabar; Richard Bubel; Reiner Hähnle (FormaliSE@ICSE, 2022)

Automatic Data Dependence Analysis by Deductive Verification. - Asmae Heydari Tabar (2024)

Scaling Information Flow Control By-Construction to Component-Based Software Architectures. - Rasmus C. Rønneberg; Tabea Bordis; Christopher Gerking; Asmae Heydari Tabar; Ina Schaefer (FORTE, 2025)