Sara Abbaspour, Associated Senior Lecturer


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 UniversityShe 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:

  • Safety and security-relevant cyber-physical systems
  • Debugging, testing and runtime verification of concurrent, parallel and multicore software
  • Security for wireless network
  • Service-level Agreements in Industrial IoT
  • Autonomous Driving and Advanced Driver Assistance Systems (ADAS)

[Show all publications]

[Google Scholar author page]

Latest publications:

Cyberattacks: Modeling, Analysis, and Mitigation (Sep 2022)
Sara Abbaspour
6th International Conference on Computer, Software and Modeling (ICCSM)

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)

A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies (Dec 2021)
Rafia Inam, Alberto Yukinobu Hata , Vlasjov Prifti , Sara Abbaspour
Wireless Personal Communications Journal (WIRE)

DPAC Newsletter Spring 2021 (Jun 2021)
Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (May 2021)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam, Mehrdad Saadatmand
Journal of Internet Services and Applications (JISA)

From Requirements to Verifiable Executable Models using Rebeca (Sep 2020)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam
Software Engineering and Formal Methods Collocated Workshops 2020 (SEFMW 2020)

PhD students supervised as assistant supervisor:

Fereidoun Moradi