Artikel

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
doi: 10.1016/j.scico.2020.102597
Artikel, Bibliographie

Konferenzveröffentlichung

Tabar, Asmae Heydari ; Bubel, Richard ; Hähnle, Reiner (2022)
Automatic Loop Invariant Generation for Data Dependence Analysis.
10th IEEE/ACM International Conference on Formal Methods in Software Engineering. Pittsburgh (22.05.2022-22.05.2022)
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
Hrsg.: Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (2019)
A Program Logic for Dependence Analysis.
15th International Conference onIntegrated Formal Methods (IFM 2019). Bergen, Norway (02.11.2019-06.11.2019)
doi: 10.1007/978-3-030-34968-4_5
Konferenzveröffentlichung, Bibliographie

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hrsg.: Hojjat, Hossein ; Massink, Mieke (2019)
Modeling Non-deterministic C Code with Active Objects.
8th International Conference on Fundamentals of Software Engineering (FSEN 2019). Tehran, Iran (01.05.2019-03.05.2019)
doi: 10.1007/978-3-030-31517-7_15
Konferenzveröffentlichung, Bibliographie