Sara Abbaspour Asadollah
Sara Abbaspour Asadollah
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
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
Web service response time monitoring: architecture and validation
S Abbaspour Asadollah, TK Chiew
Theoretical and Mathematical Foundations of Computer Science, 276-282, 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
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
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
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
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
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
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
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
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20