Old Web
English
Sign In
Acemap
>
authorDetail
>
Asmae Heydari Tabar
Asmae Heydari Tabar
Technische Universität Darmstadt
Computer science
Programming language
Semantics of logic
Theoretical computer science
model extraction
4
Papers
5
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Automated Model Extraction: From Non-deterministic C Code to Active Objects
2021
Science of Computer Programming
Nathan Wasser
Asmae Heydari Tabar
Reiner Hähnle
Show All
Source
Cite
Save
Citations (1)
Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)
2020
Ka I Pun
Volker Stolz
Elahe Fazeldehkordi
Olaf Owe
Toktam Ramezanifarkhani
Carlos Diego Nascimento Damasceno
Faustin Ahishakiye
Lars Michael Kristensen
Asmae Heydari Tabar
Richard Bubel
Reiner Hähnle
Justus Sagemüller
Olivier Verdier
Show All
Source
Cite
Save
Citations (0)
A Program Logic for Dependence Analysis.
2019
IFM | Integrated Formal Methods
Richard Bubel
Reiner Hähnle
Asmae Heydari Tabar
Show All
Source
Cite
Save
Citations (2)
Modeling Non-deterministic C Code with Active Objects
2019
Fundamentals of Software Engineering
Nathan Wasser
Asmae Heydari Tabar
Reiner Hähnle
Show All
Source
Cite
Save
Citations (2)
1