default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSara Abbaspour Asadollah
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]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: 100965 (2024)- [j7]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: 104780 (2024) - 2023
- [j6]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): 24:1-24:39 (2023) - [c12]Maghsood Salimi, Mohammad Loni, Marjan Sirjani, Antonio Cicchetti, Sara Abbaspour Asadollah:
SARAF: Searching for Adversarial Robust Activation Functions. ICMVA 2023 - 2022
- [c11]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: 24-43 - [i1]Rafia Inam, Alberto Yukinobu Hata, Vlasjov Prifti, Sara Abbaspour Asadollah:
A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies. CoRR abs/2205.08404 (2022) - 2021
- [j5]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): 2 (2021) - 2020
- [j4]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: 134498-134513 (2020) - [c10]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: 130-147 - [c9]Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam:
From Requirements to Verifiable Executable Models Using Rebeca. SEFM 2020: 67-86
2010 – 2019
- 2019
- [c8]Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani:
On-Off Attack on a Blockchain-based IoT System. ETFA 2019: 1768-1773 - 2018
- [b1]Sara Abbaspour Asadollah:
Concurrency Bugs: Characterization, Debugging and Runtime Verification. Mälardalen University College, Västerås, Eskilstuna, Sweden, 2018 - [j3]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: 30184-30207 (2018) - [c7]Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson:
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software. ISPDC 2018: 172-179 - 2017
- [j2]Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson:
Concurrency bugs in open source software: a case study. J. Internet Serv. Appl. 8(1): 4:1-4:15 (2017) - [j1]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): 49-82 (2017) - [c6]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: 75-78 - [c5]Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson:
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. ICST Workshops 2017: 77-80 - 2016
- [c4]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: 7-11 - [c3]Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu:
A Study of Concurrency Bugs in an Open Source Software. OSS 2016: 16-31 - 2015
- [c2]Sara Abbaspour Asadollah, Hans Hansson, Daniel Sundmark, Sigrid Eldh:
Towards Classification of Concurrency Bugs Based on Observable Properties. COUFLESS@ICSE 2015: 41-47 - [c1]Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson:
A Survey on Testing for Cyber Physical System. ICTSS 2015: 194-207
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
