Asmae Heydari Tabar

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Static Analysis

Parallel Implementations

Top Venues

Sci. Comput. Program.

Publications

Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle
Automatic Loop Invariant Generation for Data Dependence Analysis. FormaliSE@ICSE (2022)
Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
Automated model extraction: From non-deterministic C code to active objects. Sci. Comput. Program. 204 (2021)
Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf
Safer Parallelization. ISoLA (2) (2020)
Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
Modeling Non-deterministic C Code with Active Objects. FSEN (2019)
Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar
A Program Logic for Dependence Analysis. IFM (2019)