Publications-Asma Heydari Tabar

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner (2021):
Automated model extraction: From non-deterministic C code to active objects.
In: Science of Computer Programming, 204, Elsevier, ISSN 0167-6423,
DOI: 10.1016/j.scico.2020.102597,
[Article]

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2020):
Safer Parallelization.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, S. 117-137,
Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_8,
[Konferenzveröffentlichung]

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (Hrsg.) (2019):
A Program Logic for Dependence Analysis.
In: Lecture Notes in Computer Science, 11918, In: Integrated Formal Methods, S. 83-100,
Springer, 15th International Conference onIntegrated Formal Methods (IFM 2019), Bergen, Norway, 02.-06.11.2019, ISBN 978-3-030-34967-7,
DOI: 10.1007/978-3-030-34968-4_5,
[Konferenzveröffentlichung]

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hojjat, Hossein ; Massink, Mieke (Hrsg.) (2019):
Modeling Non-deterministic C Code with Active Objects.
In: Lecture Notes in Computer Science, 11761, In: Fundamentals of Software Engineering, S. 213-227,
Springer, 8th International Conference on Fundamentals of Software Engineering (FSEN 2019), Tehran, Iran, 01.-03.05.2019, ISBN 978-3-030-31516-0,
DOI: 10.1007/978-3-030-31517-7_15,
[Konferenzveröffentlichung]

go to TU-biblio search on ULB website