Sara Abbaspour is a researcher and associated senior lecturer working in the Cyber-Physical Systems Analysis group at Mälardalen University in Västerås, Sweden.
She was a Post Doc researcher from 2018 until 2020 at Mälardalen University. 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:
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition (Feb 2024) Fereidoun Moradi, Bahman Pourvatan , Sara Abbaspour, Marjan Sirjani Journal of Parallel and Distributed Computing (JPDC 185)
SARAF: Searching for Adversarial Robust Activation Functions (Jun 2023) Maghsood Salimi, Mohammad Loni, Marjan Sirjani, Antonio Cicchetti, Sara Abbaspour The 6th International Conference on Machine Vision and Applications (ICMVA'2023)
Cyberattacks: Modeling, Analysis, and Mitigation (Sep 2022) Sara Abbaspour 6th International Conference on Computer, Software and Modeling (ICCSM)
POSTER: Towards Cyber Resilience of Cyber-Physical Systems using Tiny Twins (Aug 2022) Fereidoun Moradi, Sara Abbaspour, Marjan Sirjani 7th IEEE European Symposium on Security and Privacy (EuroS&P 2022)
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks (Aug 2022) Fereidoun Moradi, Maryam Bagheri , Hanieh Rahmati , Hamed Yazdi , Sara Abbaspour, Marjan Sirjani 25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)
A Comprehensive Exploration of Languages for Parallel Computing (Jan 2022) Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
|EXACT - Experimental Analysis of the Coupling Effect Hypothesis in Software Testing
|MACMa - Modeling and Analyzing Event-based Autonomous Systems - Software Center
|SACSys - Safe and Secure Adaptive Collaborative Systems
|Serendipity - Secure and dependable platforms for autonomy
|Sprint 11 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT
|Sprint 12 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT
|Sprint 13 Project: SLA-IoT - Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT
|SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems
|A Survey on Service Level Agreement Definition for Cloud Services in IoT
|A Systematic Mapping Study of Advanced Driver Assistance Systems (ADAS)
|Developing a Methodology Model and Writing a Documentation Template For Network Analysis
|Investigating GUI test automation ROI: An industrial case study