Asieh Salehi Fathabadi

Medical student's academic performance: The role of academic emotions and motivation.

Ali Asghar Hayat, Asieh Salehi Fathabadi, Javad Kojuri · PubMed · 2018 · 65 citations · Full text

Social Sciences, Medical Education, Psychology +15

Language and tool support for event refinement structures in Event-B

Asieh Salehi Fathabadi, Michael Butler, Abdolbaghi Rezazadeh · Formal Aspects of Computing · 2014 · 22 citations · Full text

Computing, Computer Science, Computer Systems +10

Domain-specific scenarios for refinement-based methods

Colin Snook, Thai Son Hoang, Dana Dghaym et al. · Journal of Systems Architecture · 2020 · 20 citations

Computing, Computer Science, Formal Methods +10

Building traceable Event-B models from requirements

Eman H. Alkhammash, Michael Butler, Asieh Salehi Fathabadi et al. · Science of Computer Programming · 2015 · 17 citations

Engineering, Systems Engineering, Formal Methods +11

A model-based framework for software portability and verification in embedded power management systems

Asieh Salehi Fathabadi, Michael Butler, Sheng Yang et al. · Journal of Systems Architecture · 2017 · 15 citations · Full text

Engineering, Computer Engineering, Computer Science +16