| Modeling trust and reputation systems in hostile environments SA Ghasempouri, BT Ladani Future Generation Computer Systems 99, 571-592, 2019 | 21 | 2019 |
| Model checking of robustness properties in trust and reputation systems SA Ghasempouri, BT Ladani Future Generation Computer Systems 108, 302-319, 2020 | 8 | 2020 |
| Model of requirements engineering for information technology governance based on the COBIT framework in public organizations using the REGIT method: Case study: Civil … AR Mohseni, MP AhmadAliNezhad, SA Ghasempoori 2017 IEEE 4th International Conference on Knowledge-Based Engineering and …, 2017 | 3 | 2017 |
| A Formal Model for Security Analysis of Trust and Reputation systems SA Ghasempouri, BT Ladani 2017 14th International ISC (Iranian Society of Cryptology) Conference on …, 2017 | 3 | 2017 |
| Modeling Trust in Supervising of Virtual Banking Systems: A GRC Based Approach M Ahmadalinejad, SA Ghasempouri Governance 19, 17, 2014 | 2 | 2014 |
| A New Meta-Heuristic Method for Initial Clustering of K-Means Algorithm SA Ghasempouri, A Baraani-Dastjerdi, BT Ladani Proc. of the 20th National CSI Computer Conference (CSICC2015), Mashhad, 2015 | | 2015 |
| An Improved Method to Detect Metamorphic Viruses using Weighted Opcode Graph A Khalilian, SA Ghasempouri, BT Ladani Proc. of the National Conference on Software System's Security (SoftSec2014 …, 2014 | | 2014 |
| A New Tool for Verification of Probabilistic Constraint Automata SA Ghasempouri, F Ghasemi, A Movaghar Computer Society of Iran Computer Conference 2008 (CSICC08), Kish Island, 2008 | | 2008 |
Behrouz Tork LadaniProfessor of software engineering at Faculty of Computer Engineering, University of IsfahanGeverifieerd e-mailadres voor eng.ui.ac.ir
