Sara Abbaspour Asadollah

Orcid: 0000-0002-5058-7351

According to our database1, Sara Abbaspour Asadollah authored at least 22 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system.
J. Parallel Distributed Comput., February, 2024

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems.
J. Log. Algebraic Methods Program., 2024

2023
A Comprehensive Exploration of Languages for Parallel Computing.
ACM Comput. Surv., 2023

SARAF: Searching for Adversarial Robust Activation Functions.
Proceedings of the 2023 6th International Conference on Machine Vision and Applications, 2023

2022
A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies.
CoRR, 2022

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks.
Proceedings of the Model Checking Software - 28th International Symposium, 2022

2021
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems.
J. Internet Serv. Appl., 2021

2020
A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT.
IEEE Access, 2020

From Requirements to Verifiable Executable Models Using Rebeca.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019
On-Off Attack on a Blockchain-based IoT System.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018
Concurrency Bugs: Characterization, Debugging and Runtime Verification.
PhD thesis, 2018

Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study.
IEEE Access, 2018

A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software.
Proceedings of the 17th International Symposium on Parallel and Distributed Computing, 2018

2017
10 Years of research on debugging concurrent and multicore software: a systematic mapping study.
Softw. Qual. J., 2017

Concurrency bugs in open source software: a case study.
J. Internet Serv. Appl., 2017

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

SLAs for Industrial IoT: Mind the Gap.
Proceedings of the 5th International Conference on Future Internet of Things and Cloud Workshops, 2017

2016
A Study of Concurrency Bugs in an Open Source Software.
Proceedings of the Open Source Systems: Integrating Communities, 2016

A model for systematic monitoring and debugging of starvation bugs in multicore software.
Proceedings of the 1st International Workshop on Specification, 2016

2015
A Survey on Testing for Cyber Physical System.
Proceedings of the Testing Software and Systems, 2015

Towards Classification of Concurrency Bugs Based on Observable Properties.
Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015


  Loading...