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]

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (eds.) (2019):
A Program Logic for Dependence Analysis.
In: Lecture Notes in Computer Science, 11918, In: Integrated Formal Methods, pp. 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,
[Conference or Workshop Item]

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hojjat, Hossein ; Massink, Mieke (eds.) (2019):
Modeling Non-deterministic C Code with Active Objects.
In: Lecture Notes in Computer Science, 11761, In: Fundamentals of Software Engineering, pp. 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,
[Conference or Workshop Item]