Sara Abbaspour Asadollah

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 21

Top Topics

Activation Function

Open Source Software

Top Venues

J. Internet Serv. Appl.

J. Log. Algebraic Methods Program.

Publications

Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. J. Log. Algebraic Methods Program. 139 (2024)
Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system. J. Parallel Distributed Comput. 184 (2024)
Maghsood Salimi, Mohammad Loni, Marjan Sirjani, Antonio Cicchetti, Sara Abbaspour Asadollah
SARAF: Searching for Adversarial Robust Activation Functions. ICMVA (2023)
Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen
A Comprehensive Exploration of Languages for Parallel Computing. ACM Comput. Surv. 55 (2) (2023)
Rafia Inam, Alberto Yukinobu Hata, Vlasjov Prifti, Sara Abbaspour Asadollah
A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies. CoRR (2022)
Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. SPIN (2022)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems. J. Internet Serv. Appl. 12 (1) (2021)
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. FMICS (2020)
Svetlana Girs, Séverine Sentilles, Sara Abbaspour Asadollah, Mohammad Ashjaei, Saad Mubeen
A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT. IEEE Access 8 (2020)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
From Requirements to Verifiable Executable Models Using Rebeca. SEFM (2020)
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani
On-Off Attack on a Blockchain-based IoT System. ETFA (2019)
Saad Mubeen, Sara Abbaspour Asadollah, Alessandro Vittorio Papadopoulos, Mohammad Ashjaei, Hongyu Pei Breivold, Moris Behnam
Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study. IEEE Access 6 (2018)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software. ISPDC (2018)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Wasif Afzal
10 Years of research on debugging concurrent and multicore software: a systematic mapping study. Softw. Qual. J. 25 (1) (2017)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
Concurrency bugs in open source software: a case study. J. Internet Serv. Appl. 8 (1) (2017)
Alessandro Vittorio Papadopoulos, Sara Abbaspour Asadollah, Mohammad Ashjaei, Saad Mubeen, Hongyu Pei Breivold, Moris Behnam
SLAs for Industrial IoT: Mind the Gap. FiCloud Workshops (2017)
Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. ICST Workshops (2017)
Sara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans A. Hansson
A model for systematic monitoring and debugging of starvation bugs in multicore software. SCTDCP@ASE (2016)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu
A Study of Concurrency Bugs in an Open Source Software. OSS (2016)
Sara Abbaspour Asadollah, Hans Hansson, Daniel Sundmark, Sigrid Eldh
Towards Classification of Concurrency Bugs Based on Observable Properties. COUFLESS@ICSE (2015)
Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
A Survey on Testing for Cyber Physical System. ICTSS (2015)