Sara Abbaspour Asadollah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FMICS | 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 |
| 2020 | SEFM | From Requirements to Verifiable Executable Models Using Rebeca. | Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam |
| 2019 | ETFA | On-Off Attack on a Blockchain-based IoT System. | Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani |
| 2018 | ISPDC | A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software. | Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson |
| 2017 | ICST | Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. | Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson |
| 2015 | ICSE | Towards Classification of Concurrency Bugs Based on Observable Properties. | Sara Abbaspour Asadollah, Hans Hansson, Daniel Sundmark, Sigrid Eldh |