Fire and smoke detection using wavelet analysis and disorder characteristics A Rafiee, R Dianat, M Jamshidi, R Tavakoli, S Abbaspour 2011 3rd International conference on computer research and development 3 …, 2011 | 110 | 2011 |
Management of service level agreements for cloud services in IoT: A systematic mapping study S Mubeen, SA Asadollah, AV Papadopoulos, M Ashjaei, H Pei-Breivold, ... IEEE access 6, 30184-30207, 2017 | 108 | 2017 |
A survey on testing for cyber physical system S Abbaspour Asadollah, R Inam, H Hansson Testing Software and Systems: 27th IFIP WG 6.1 International Conference …, 2015 | 93 | 2015 |
Concurrency bugs in open source software: a case study S Abbaspour Asadollah, D Sundmark, S Eldh, H Hansson Journal of Internet Services and Applications 8 (1), 4, 2017 | 37 | 2017 |
10 years of research on debugging concurrent and multicore software: A systematic mapping study S Abbaspour Asadollah, D Sundmark, S Eldh, H Hansson, W Afzal Software quality journal 25, 49-82, 2017 | 30 | 2017 |
Towards classification of concurrency bugs based on observable properties SA Asadollah, H Hansson, D Sundmark, S Eldh 2015 IEEE/ACM 1st International Workshop on Complex Faults and Failures in …, 2015 | 26 | 2015 |
A systematic literature study on definition and modeling of service-level agreements for cloud services in IoT S Girs, S Sentilles, SA Asadollah, M Ashjaei, S Mubeen IEEE Access 8, 134498-134513, 2020 | 25 | 2020 |
Web service response time monitoring: architecture and validation S Abbaspour Asadollah, TK Chiew Theoretical and Mathematical Foundations of Computer Science, 276-282, 2011 | 20 | 2011 |
An actor-based approach for security analysis of cyber-physical systems F Moradi, S Abbaspour Asadollah, A Sedaghatbaf, A Čaušević, M Sirjani, ... Formal Methods for Industrial Critical Systems: 25th International …, 2020 | 16 | 2020 |
On-off attack on a blockchain-based iot system F Moradi, A Sedaghatbaf, SA Asadollah, A Čaušević, M Sirjani 2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019 | 15 | 2019 |
A comprehensive exploration of languages for parallel computing F Ciccozzi, L Addazi, SA Asadollah, B Lisper, AN Masud, S Mubeen ACM Computing Surveys (CSUR) 55 (2), 1-39, 2022 | 13 | 2022 |
A study of concurrency bugs in an open source software S Abbaspour Asadollah, D Sundmark, S Eldh, H Hansson, EP Enoiu Open Source Systems: Integrating Communities: 12th IFIP WG 2.13 …, 2016 | 12 | 2016 |
A runtime verification tool for detecting concurrency bugs in freertos embedded software SA Asadollah, D Sundmark, S Eldh, H Hansson 2018 17th International Symposium on Parallel and Distributed Computing …, 2018 | 11 | 2018 |
SLAs for industrial IoT: Mind the gap AV Papadopoulos, SA Asadollah, M Ashjaei, S Mubeen, H Pei-Breivold, ... 2017 5th International Conference on Future Internet of Things and Cloud …, 2017 | 11 | 2017 |
Towards a verification-driven iterative development of software for safety-critical cyber-physical systems M Sirjani, L Provenzano, SA Asadollah, MH Moghadam, M Saadatmand Journal of Internet Services and Applications 12 (1), 2, 2021 | 9 | 2021 |
From requirements to verifiable executable models using Rebeca M Sirjani, L Provenzano, S Abbaspour Asadollah, MH Moghadam Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021 | 9 | 2021 |
Monitoring cyber-physical systems using a tiny twin to prevent cyber-attacks F Moradi, M Bagheri, H Rahmati, H Yazdi, SA Asadollah, M Sirjani International Symposium on Model Checking Software, 24-43, 2022 | 7 | 2022 |
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system F Moradi, B Pourvatan, SA Asadollah, M Sirjani Journal of Parallel and Distributed Computing 184, 104780, 2024 | 5 | 2024 |
Saraf: Searching for adversarial robust activation functions M Salimi, M Loni, M Sirjani, A Cicchetti, S Abbaspour Asadollah Proceedings of the 2023 6th International Conference on Machine Vision and …, 2023 | 5 | 2023 |
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems F Moradi, SA Asadollah, B Pourvatan, Z Moezkarimi, M Sirjani Journal of Logical and Algebraic Methods in Programming 139, 100965, 2024 | 4 | 2024 |