Sara Abbaspour Asadollah

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