An Introduction to Adaptive Software Security MA Nia arXiv preprint arXiv:2312.17358, 2023 | | 2023 |
Deploying Reinforcement Learning for Efficient Runtime Decision-Making in Autonomous Systems M Dastranj, MA Nia, M Kargahi RTEST2022, 2022 | | 2022 |
Runtime Probabilistic Analysis of Self-Adaptive Systems via Formal Approximation Techniques MA Nia University of Tehran (Iran), 2022 | 2 | 2022 |
Investigating the role of usable security in developers' intention toward security enhancement in service‐oriented applications F Jalali, M Alidoost Nia, T Ermakova, M Abdollahi, B Fabian Security and Privacy, e199, 2022 | | 2022 |
Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime M Dastranj, MA Nia, M Kargahi arXiv preprint arXiv:2110.14040, 2021 | 1 | 2021 |
Resilient monitoring in self-adaptive systems through behavioral parameter estimation MA Nia, M Kargahi, A Abate Journal of Systems Architecture 118, 102177, 2021 | 6 | 2021 |
Advanced Computing: 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part I D Garg, K Wong, J Sarangapani, SK Gupta Springer Nature, 2021 | 3 | 2021 |
Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime (Extended Version) M Dastranj, MA Nia, M Kargahi | | 2021 |
Probabilistic approximation of runtime quantitative verification in self-adaptive systems MA Nia, M Kargahi, F Faghih Microprocessors and microsystems 72, 102943, 2020 | 18 | 2020 |
Self-Adaptation with Imperfect Monitoring in Solar Energy Harvesting Systems MA Nia, M Kargahi, A Abate The CSI/CPSSI International Symposium on Real-Time and Embedded Systems and …, 2020 | 7 | 2020 |
A Model-Driven Approach to Runtime Verification of Self-Adaptive Systems MA Nia Presented as a Contributed Talk in the Scottish Programming Languages and …, 2020 | 1 | 2020 |
A Random Walk-Based Pattern-Matching Simulator for Verification of Incomplete Markov Models MA Nia https://github.com/alidoostnia/Self-adaptive-pattern-matching/, 2020 | 6 | 2020 |
Handling Imperfect Monitoring in Self-Adaptive Solar Energy Harvesting Systems MA Nia, M Kargahi, A Abate | | 2020 |
Detecting new generations of threats using attribute‐based attack graphs MA Nia, B Bahrak, M Kargahi, B Fabian IET Information Security 13 (4), 293-303, 2019 | 18 | 2019 |
Security in Computing and Communications: 6th International Symposium, SSCC 2018, Bangalore, India, September 19–22, 2018, Revised Selected Papers SM Thampi, S Madria, G Wang, DB Rawat, JMA Calero Springer, 2019 | 1 | 2019 |
Workload Distribution for Supporting Anonymous Communications in Automotive Network MA Nia, A Ruiz-Martínez Security in Computing and Communications: 6th International Symposium, SSCC …, 2019 | 1 | 2019 |
Systematic literature review on the state of the art and future research work in anonymous communications systems MA Nia, A Ruiz-Martínez Computers & Electrical Engineering 69, 497-520, 2018 | 43 | 2018 |
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm MA Nia, F Faghih 2018 Real-Time and Embedded Systems and Technologies (RTEST), 88-95, 2018 | 6 | 2018 |
How to deal with security hazards in IoT? A self-adaptive solution to IoT applications MA Nia Am J Compt Sci Inform Technol 6, 2018 | 1 | 2018 |
How to deal with security hazards in IoT? A self-adaptive solution to IoT applications M Alidoost Nia Euroscicon Conference on 3D Printing and Wireless Technology 6, 2018 | | 2018 |