Asmae Heydari Tabar -

Registered user since Thu 25 Mar 2021

Name:Asmae Heydari Tabar

Country:Germany

Affiliation:Technical University of Darmstadt

Research interests:Formal Verification

Contributions

2022

FormaliSE

Author of Automatic Loop Invariant Generation for Data Dependence Analysis within the FormaliSE 2022-track

2021

ECOOP

Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track