Asmae Heydari Tabar

According to our database, Asmae Heydari Tabar authored at least 7 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Scaling Information Flow Control By-Construction to Component-Based Software Architectures.

Rasmus C. Rønneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2025

2024

Automatic Data Dependence Analysis by Deductive Verification.

Asmae Heydari Tabar

PhD thesis, 2024

2022

Automatic Loop Invariant Generation for Data Dependence Analysis.

Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Automated model extraction: From non-deterministic C code to active objects.

Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle

Sci. Comput. Program., 2021

2020

Safer Parallelization.

Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

A Program Logic for Dependence Analysis.

Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Modeling Non-deterministic C Code with Active Objects.

Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019