Publications

Doctoral Thesis (1)

Concurrency Bugs: Characterization, Debugging and Runtime Verification (Dec 2018)
Sara Abbaspour

Licentiate Thesis (1)

Bugs and Debugging of Concurrent and Multicore Software (May 2016)
Sara Abbaspour

Journal article (11)

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems (Apr 2024)
Fereidoun Moradi, Sara Abbaspour, Bahman Pourvatan , Zahra Moezkarimi, Marjan Sirjani
Journal of Logical and Algebraic Methods in Programming (JLAMP)

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)

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)

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)

A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT (Aug 2020)
Svetlana Girs, Séverine Sentilles, Sara Abbaspour, Mohammad Ashjaei, Saad Mubeen
IEEE Access (ACCESS'20)

Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study (Jun 2018)
Saad Mubeen, Sara Abbaspour, Alessandro Papadopoulos, Mohammad Ashjaei, Hongyu Pei-Breivold, Moris Behnam
Journal of IEEE Access (ACCESS)

The pedagogical challenges of creating information literate librarians (Mar 2018) -- Best Paper Award--
Maryam Derakhshan , Mohammad Hassanzadeh , Susan E. Higgins , Sara Abbaspour
Library Review (Library Review)

Concurrency bugs in open source software: a case study (Apr 2017)
Sara Abbaspour, Daniel Sundmark, Sigrid Eldh, Hans Hansson
Journal of Internet Services and Applications (JISA)

10 Years of research on debugging concurrent and multicore software: a systematic mapping study (Dec 2015)
Sara Abbaspour, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Wasif Afzal
Software Quality Journal (Software Qual J)

A Runtime Verification based Concurrency Bug Detector for FreeRTOS Embedded Software
Sara Abbaspour, Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Hans Hansson
Journal of IEEE Access (IEEE-Access)

Conference/Workshop Paper (16)

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)

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)

An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020)
Fereidoun Moradi, Sara Abbaspour, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott
25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)

On-Off Attack on a Blockchain-based IoT System (Sep 2019)
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour, 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, Daniel Sundmark, Sigrid Eldh, Hans Hansson
17th IEEE International Symposium on Parallel and Distributed Computing ( ISPDC-2018)

SLAs for Industrial IoT: Mind the Gap (Aug 2017)
Alessandro Papadopoulos, Sara Abbaspour, Mohammad Ashjaei, Saad Mubeen, Hongyu Pei-Breivold, Moris Behnam
The 4th International Symposium on Inter-cloud and IoT (ICI 2017) (ICI'17)

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software (Mar 2017)
Sara Abbaspour, Daniel Sundmark, Hans Hansson
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software (Aug 2016)
Sara Abbaspour, Mehrdad Saadatmand , Sigrid Eldh, Daniel Sundmark, Hans Hansson
ASE Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs (SCTDCP2016)

A Study on Concurrency Bugs in an Open Source Software (Jun 2016)
Sara Abbaspour, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu
12th International Conference on Open Source Systems (OSS'16)

A Survey on Testing for Cyber Physical System (Nov 2015)
Sara Abbaspour, Rafia Inam, Hans Hansson
The 27th International Conference on Testing Software and Systems (ICTSS 2015)

Towards Classification of Concurrency Bugs Based on Observable Properties (Sep 2015)
Sara Abbaspour, Hans Hansson, Daniel Sundmark, Sigrid Eldh
International Workshop on Complex faUlts and Failures in LargE Software (COUFLESS 15)

Web Service Response Time Monitoring Architecture and Validation (May 2011)
Sara Abbaspour, Thiam Kian Chiew

Fire and smoke detection using wavelet analysis and disorder characteristics (Mar 2011)
Ali Rafiee, Reza Tavakoli, Reza Dianat, Sara Abbaspour

Other (1)

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