Asmae Heydari Tabar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2025
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FORTE | Scaling Information Flow Control By-Construction to Component-Based Software Architectures. | Rasmus C. Rnneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer |
| 2020 | ISoLA | Safer Parallelization. | Reiner Hhnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhfel, Felix Wolf |
| 2019 | IFM | A Program Logic for Dependence Analysis. | Richard Bubel, Reiner Hhnle, Asmae Heydari Tabar |