Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 24

Doctoral Thesis (1)

Concurrency Bugs: Characterization, Debugging and Runtime Verification (Dec 2018)
Sara Abbaspour Asadollah

Licentiate Thesis (1)

Bugs and Debugging of Concurrent and Multicore Software (May 2016)
Sara Abbaspour Asadollah

Journal article (9)

A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies (Dec 2021)
Rafia Inam, Alberto Yukinobu Hata , Vlasjov Prifti , Sara Abbaspour Asadollah
Wireless Personal Communications Journal (WIRE)

A Comprehensive Exploration of Languages for Parallel Computing (Dec 2021)
Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen
ACM Computing Surveys (CSUR'21)

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (May 2021)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand
Journal of Internet Services and Applications (JISA)

A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT (Aug 2020)
Svetlana Girs, Séverine Sentilles, Sara Abbaspour Asadollah, Mohammad Ashjaei, Saad Mubeen
IEEE Access (ACCESS'20)

Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study (Jun 2018)
Saad Mubeen, Sara Abbaspour Asadollah, Alessandro Papadopoulos, Mohammad Ashjaei, Hongyu Pei-Breivold, Moris Behnam
Journal of IEEE Access (ACCESS)

The pedagogical challenges of creating information literate librarians (Mar 2018) -- Best Paper Award--
Maryam Derakhshan , Mohammad Hassanzadeh , Susan E. Higgins , Sara Abbaspour Asadollah
Library Review (Library Review)

Concurrency bugs in open source software: a case study (Apr 2017)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
Journal of Internet Services and Applications (JISA)

10 Years of research on debugging concurrent and multicore software: a systematic mapping study (Dec 2015)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Wasif Afzal
Software Quality Journal (Software Qual J)

A Runtime Verification based Concurrency Bug Detector for FreeRTOS Embedded Software
Sara Abbaspour Asadollah, Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Hans Hansson
Journal of IEEE Access (IEEE-Access)

Conference/Workshop Paper (12)

From Requirements to Verifiable Executable Models using Rebeca (Sep 2020)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
Software Engineering and Formal Methods Collocated Workshops 2020 (SEFMW 2020)

An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020)
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott
25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)

On-Off Attack on a Blockchain-based IoT System (Sep 2019)
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani
First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01)

A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software (Aug 2018)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
17th IEEE International Symposium on Parallel and Distributed Computing ( ISPDC-2018)

SLAs for Industrial IoT: Mind the Gap (Aug 2017)
Alessandro Papadopoulos, Sara Abbaspour Asadollah, Mohammad Ashjaei, Saad Mubeen, Hongyu Pei-Breivold, Moris Behnam
The 4th International Symposium on Inter-cloud and IoT (ICI 2017) (ICI'17)

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software (Mar 2017)
Sara Abbaspour Asadollah, Daniel Sundmark, Hans Hansson
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software (Aug 2016)
Sara Abbaspour Asadollah, Mehrdad Saadatmand , Sigrid Eldh, Daniel Sundmark, Hans Hansson
ASE Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs (SCTDCP2016)

A Study on Concurrency Bugs in an Open Source Software (Jun 2016)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu
12th International Conference on Open Source Systems (OSS'16)

A Survey on Testing for Cyber Physical System (Nov 2015)
Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
The 27th International Conference on Testing Software and Systems (ICTSS 2015)

Towards Classification of Concurrency Bugs Based on Observable Properties (Sep 2015)
Sara Abbaspour Asadollah, Hans Hansson, Daniel Sundmark, Sigrid Eldh
International Workshop on Complex faUlts and Failures in LargE Software (COUFLESS 15)

Web Service Response Time Monitoring Architecture and Validation (May 2011)
Sara Abbaspour Asadollah, Thiam Kian Chiew

Fire and smoke detection using wavelet analysis and disorder characteristics (Mar 2011)
Ali Rafiee, Reza Tavakoli, Reza Dianat, Sara Abbaspour Asadollah

Other (1)

DPAC Newsletter Spring 2021 (Jun 2021)
Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott

Items per page: