Sara Abbaspour Asadollah
Sara Abbaspour Asadollah
Verified email at - Homepage
Cited by
Cited by
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
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
A survey on testing for cyber physical system
S Abbaspour Asadollah, R Inam, H Hansson
IFIP International Conference on Testing Software and Systems, 194-207, 2015
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 (1), 49-82, 2017
Web service response time monitoring: architecture and validation
S Abbaspour Asadollah, TK Chiew
Theoretical and Mathematical Foundations of Computer Science, 276-282, 2011
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
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
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
A study of concurrency bugs in an open source software
S Abbaspour Asadollah, D Sundmark, S Eldh, H Hansson, EP Enoiu
IFIP International Conference on Open Source Systems, 16-31, 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
From requirements to verifiable executable models using Rebeca
M Sirjani, L Provenzano, S Abbaspour Asadollah, MH Moghadam
International Conference on Software Engineering and Formal Methods, 67-86, 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
An actor-based approach for security analysis of cyber-physical systems
F Moradi, S Abbaspour Asadollah, A Sedaghatbaf, A Čaušević, M Sirjani, ...
International Conference on Formal Methods for Industrial Critical Systems …, 2020
Bugs and debugging of concurrent and multicore software
S Abbaspour Asadollah
Mälardalen University Press, 2016
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), 1-29, 2021
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software
SA Asadollah, D Sundmark, H Hansson
2017 IEEE International Conference on Software Testing, Verification and …, 2017
A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies
R Inam, AY Hata, V Prifti, SA Asadollah
arXiv preprint arXiv:2205.08404, 2022
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
Building Attack Models for Security Analysis of CPS
F Moradi, M Sirjani, A Cauševic, SA Asadollah
The system can't perform the operation now. Try again later.
Articles 1–20