Towards Classification of Concurrency Bugs Based on Observable Properties. - Sara Abbaspour Asadollah; Hans Hansson; Daniel Sundmark; Sigrid Eldh (COUFLESS@ICSE, 2015)

A Survey on Testing for Cyber Physical System. - Sara Abbaspour Asadollah; Rafia Inam; Hans Hansson (ICTSS, 2015)

A model for systematic monitoring and debugging of starvation bugs in multicore software. - Sara Abbaspour Asadollah; Mehrdad Saadatmand; Sigrid Eldh; Daniel Sundmark; Hans A. Hansson (SCTDCP@ASE, 2016)

A Study of Concurrency Bugs in an Open Source Software. - Sara Abbaspour Asadollah; Daniel Sundmark; Sigrid Eldh; Hans Hansson; Eduard Paul Enoiu (OSS, 2016)

SLAs for Industrial IoT: Mind the Gap. - Alessandro Vittorio Papadopoulos; Sara Abbaspour Asadollah; Mohammad Ashjaei; Saad Mubeen; Hongyu Pei Breivold; Moris Behnam (FiCloud Workshops, 2017)

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. - Sara Abbaspour Asadollah; Daniel Sundmark; Hans A. Hansson (ICST Workshops, 2017)

Concurrency bugs in open source software: a case study. - Sara Abbaspour Asadollah; Daniel Sundmark; Sigrid Eldh; Hans Hansson (J. Internet Serv. Appl., 2017)

10 Years of research on debugging concurrent and multicore software: a systematic mapping study. - Sara Abbaspour Asadollah; Daniel Sundmark; Sigrid Eldh; Hans Hansson; Wasif Afzal (Softw. Qual. J., 2017)

A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software. - Sara Abbaspour Asadollah; Daniel Sundmark; Sigrid Eldh; Hans Hansson (ISPDC, 2018)

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

Concurrency Bugs: Characterization, Debugging and Runtime Verification. - Sara Abbaspour Asadollah (2018)

On-Off Attack on a Blockchain-based IoT System. - Fereidoun Moradi; Ali Sedaghatbaf; Sara Abbaspour Asadollah; Aida Causevic; Marjan Sirjani (ETFA, 2019)

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. - Fereidoun Moradi; Sara Abbaspour Asadollah; Ali Sedaghatbaf; Aida Causevic; Marjan Sirjani; Carolyn L. Talcott (FMICS, 2020)

From Requirements to Verifiable Executable Models Using Rebeca. - Marjan Sirjani; Luciana Provenzano; Sara Abbaspour Asadollah; Mahshid Helali Moghadam (SEFM, 2020)

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

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems. - Marjan Sirjani; Luciana Provenzano; Sara Abbaspour Asadollah; Mahshid Helali Moghadam; Mehrdad Saadatmand (J. Internet Serv. Appl., 2021)

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. - Fereidoun Moradi; Maryam Bagheri 001; Hanieh Rahmati; Hamed Yazdi; Sara Abbaspour Asadollah; Marjan Sirjani (SPIN, 2022)

A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies. - Rafia Inam; Alberto Yukinobu Hata; Vlasjov Prifti; Sara Abbaspour Asadollah (CoRR, 2022)

SARAF: Searching for Adversarial Robust Activation Functions. - Maghsood Salimi; Mohammad Loni; Marjan Sirjani; Antonio Cicchetti; Sara Abbaspour Asadollah (ICMVA, 2023)

A Comprehensive Exploration of Languages for Parallel Computing. - Federico Ciccozzi; Lorenzo Addazi; Sara Abbaspour Asadollah; Björn Lisper; Abu Naser Masud; Saad Mubeen (ACM Comput. Surv., 2023)

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. - Fereidoun Moradi; Sara Abbaspour Asadollah; Bahman Pourvatan; Zahra Moezkarimi; Marjan Sirjani (J. Log. Algebraic Methods Program., 2024)

Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios. - Sara Abbaspour Asadollah; Shamoona Imtiaz; Alireza Dehlaghi-Ghadim; Mikael Sjödin; Marjan Sirjani (J. Cybersecur. Priv., 2024)

Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system. - Fereidoun Moradi; Bahman Pourvatan; Sara Abbaspour Asadollah; Marjan Sirjani (J. Parallel Distributed Comput., 2024)