Sara Abbaspour Asadollah
Sara Abbaspour Asadollah
Researcher
Dirección de correo verificada de mdh.se - Página principal
Título
Citado por
Citado por
Año
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
592017
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
572011
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
472015
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
18*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
13*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
112015
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
82017
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
82016
From requirements to verifiable executable models using Rebeca
M Sirjani, L Provenzano, SA Asadollah, MH Moghadam
International Conference on Software Engineering and Formal Methods, 67-86, 2020
52020
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
52020
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
52019
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
42018
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
22020
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
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
2021
Building Attack Models for Security Analysis of CPS
F Moradi, M Sirjani, A Cauševic, SA Asadollah
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20