Sara Abbaspour Asadollah

According to our database, Sara Abbaspour Asadollah authored at least 20 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 2024

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

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

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks.

Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2021

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

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

From Requirements to Verifiable Executable Models Using Rebeca.

Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

On-Off Attack on a Blockchain-based IoT System.

Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Concurrency Bugs: Characterization, Debugging and Runtime Verification.

Sara Abbaspour Asadollah

PhD thesis, 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

A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software.

Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson

Proceedings of the 17th International Symposium on Parallel and Distributed Computing, 2018

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

Concurrency bugs in open source software: a case study.

Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson

J. Internet Serv. Appl., 2017

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software.

Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

SLAs for Industrial IoT: Mind the Gap.

Alessandro Vittorio Papadopoulos, Sara Abbaspour Asadollah, Mohammad Ashjaei, Saad Mubeen, Hongyu Pei Breivold, Moris Behnam

Proceedings of the 5th International Conference on Future Internet of Things and Cloud Workshops, 2017

2016

A Study of Concurrency Bugs in an Open Source Software.

Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu

Proceedings of the Open Source Systems: Integrating Communities, 2016

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

Proceedings of the 1st International Workshop on Specification, 2016

2015

A Survey on Testing for Cyber Physical System.

Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson

Proceedings of the Testing Software and Systems, 2015

Towards Classification of Concurrency Bugs Based on Observable Properties.

Sara Abbaspour Asadollah, Hans Hansson, Daniel Sundmark, Sigrid Eldh

Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015