Sara Abbaspour is a Post Doc researcher working in the Cyber-Physical Systems Analysis group at Mälardalen University in Västerås, Sweden. She has completed her PhD and defended her PhD thesis entitled “Concurrency Bugs: Characterization, Debugging and Runtime Verification” and her Licentiate thesis entitled “Bugs and Debugging of Concurrent and Multicore Software” in 2018 and 2016 respectively.
She received a Master’s degree in Software Engineering at Faculty of Computer Science and Information at University of Malaya, Malaysia. The field of her research during the Master’s degree was Web Engineering. She obtained her Bachelor’s degree in Software Engineering from Iran. Her research area was focused on Image Processing.
She also has work experience in various aspects of industrial environment such as Mobile Development Systems, Multimedia Technologies and eLearning application, RFID, Smart Cards Technologies, and Software System Testing.
Her main research interests include:
From Requirements to Verifiable ExecutableModels using Rebeca (Nov 2019) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)
On-Off Attack on a Blockchain-based IoT System (Sep 2019) Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01)
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software (Aug 2018) Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson 17th IEEE International Symposium on Parallel and Distributed Computing ( ISPDC-2018)
Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study (Jun 2018) Saad Mubeen, Sara Abbaspour Asadollah, Alessandro Papadopoulos, Mohammad Ashjaei, Hongyu Pei-Breivold, Moris Behnam Journal of IEEE Access (ACCESS)
The pedagogical challenges of creating information literate librarians (Mar 2018) Maryam Derakhshan , Mohammad Hassanzadeh , Susan E. Higgins , Sara Abbaspour Asadollah Library Review (Library Review)
|EXACT - Experimental Analysis of the Coupling Effect Hypothesis in Software Testing||active|
|Serendipity - Secure and dependable platforms for autonomy||active|
|Sprint 11 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT||finished|
|Sprint 12 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT||finished|
|Sprint 13 Project: SLA-IoT - Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT||finished|
|SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems||finished|
|A Survey on Service Level Agreement Definition for Cloud Services in IoT||available|
|A Systematic Mapping Study of Advanced Driver Assistance Systems (ADAS)||in progress|
|Developing a Methodology Model and Writing a Documentation Template For Network Analysis||finished|
|Investigating GUI test automation ROI: An industrial case study||finished|