Sara Abbaspour Asadollah
Sara Abbaspour Asadollah
Postdoc researcher
Email verificata su mdh.se - Home page
Titolo
Citata da
Citata da
Anno
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
452017
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
452011
A survey on testing for cyber physical system
SA Asadollah, R Inam, H Hansson
IFIP International Conference on Testing Software and Systems, 194-207, 2015
432015
10 Years of research on debugging concurrent and multicore software: a systematic mapping study
SA Asadollah, D Sundmark, S Eldh, H Hansson, W Afzal
Software quality journal 25 (1), 49-82, 2017
212017
Web service response time monitoring: architecture and validation
S Abbaspour Asadollah, TK Chiew
Theoretical and Mathematical Foundations of Computer Science, 276-282, 2011
16*2011
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
122015
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*2017
A study of concurrency bugs in an open source software
SA Asadollah, D Sundmark, S Eldh, H Hansson, EP Enoiu
IFIP International Conference on Open Source Systems, 16-31, 2016
102016
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
62017
From requirements to verifiable executable models using Rebeca
M Sirjani, L Provenzano, SA Asadollah, MH Moghadam
International Workshop on Automated and verifiable Software sYstem DEvelopment, 2019
42019
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
32019
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
22018
Bugs and debugging of concurrent and multicore software
S Abbaspour Asadollah
Mälardalen University Press, 2016
22016
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
12017
An Actor-based Approach for Security Analysis of Cyber-Physical Systems
F Moradi, SA Asadollah, A Sedaghatbaf, A Čaušević, M Sirjani, C Talcott
International Conference on Formal Methods for Industrial Critical Systems …, 2020
2020
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
2020
A Runtime Verification based Concurrency Bug Detector for FreeRTOS Embedded Software
S Abbaspour Asadollah, EP Enoiu, A Causevic, S Daniel, H Hansson
2018
Concurrency Bugs: Characterization, Debugging and Runtime Verification
S Abbaspour Asadollah
Mälardalen University, 2018
2018
The pedagogical challenges of creating information literate librarians
M Derakhshan, M Hassanzadeh, SE Higgins, SA Asadollah
Library Review, 2017
2017
A model for systematic monitoring and debugging of starvation bugs in multicore software
S Abbaspour Asadollah, M Saadatmand, S Eldh, D Sundmark, ...
Proceedings of the 1st International Workshop on Specification …, 2016
2016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20