Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Abbaspour Asadollah, Sara
33  Ergebnisse:
Personensuche X
?
1

Tiny Twins for detecting cyber-attacks at runtime using con..:

Moradi, Fereidoun ; Pourvatan, Bahman ; Abbaspour Asadollah, Sara.
Journal of Parallel and Distributed Computing.  184 (2024)  - p. 104780 , 2024
Link: https://doi.org/10.1016/..
 
?
2

CRYSTAL framework: Cybersecurity assurance for cyber-physic..:

Moradi, Fereidoun ; Abbaspour Asadollah, Sara ; Pourvatan, Bahman..
Journal of Logical and Algebraic Methods in Programming.  139 (2024)  - p. 100965 , 2024
Link: https://doi.org/10.1016/..
 
?
3

SARAF: Searching for Adversarial Robust Activation Function:

, In: Proceedings of the 2023 6th International Conference on Machine Vision and Applications,
Salimi, Maghsood ; Loni, Mohammad ; Sirjani, Marjan.. - p. 174-182 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

From Requirements to Verifiable Executable Models Using Reb..:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,
Sirjani, Marjan ; Provenzano, Luciana ; Abbaspour Asadollah, Sara. - p. 67-86 , 2021
Link: https://doi.org/10.1007/..
 
?
5

An Actor-Based Approach for Security Analysis of Cyber-Phys..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Moradi, Fereidoun ; Abbaspour Asadollah, Sara ; Sedaghatbaf, Ali... - p. 130-147 , 2020
Link: https://doi.org/10.1007/..
 
?
6

The pedagogical challenges of creating information literate..:

Derakhshan, Maryam ; Hassanzadeh, Mohammad ; E. Higgins, Susan.
Library Review.  66 (2017)  6/7 - p. 570-583 , 2017
Link: https://doi.org/10.1108/..
 
?
7

Concurrency bugs in open source software: a case study:

Abbaspour Asadollah, Sara ; Sundmark, Daniel ; Eldh, Sigrid.
Journal of Internet Services and Applications.  8 (2017)  1 - p. , 2017
Link: https://doi.org/10.1186/..
 
?
8

10 Years of research on debugging concurrent and multicore ..:

Abbaspour Asadollah, Sara ; Sundmark, Daniel ; Eldh, Sigrid..
Software Quality Journal.  25 (2016)  1 - p. 49-82 , 2016
Link: https://doi.org/10.1007/..
 
?
9

A model for systematic monitoring and debugging of starvati..:

, In: Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs,
Abbaspour Asadollah, Sara ; Saadatmand, Mehrdad ; Eldh, Sigrid.. - p. 7-11 , 2016
Link: https://dl.acm.org/doi/1..
 
?
10

Cyberattacks: Modeling, Analysis, and Mitigation:

, In: 2022 6th International Conference on Computer, Software and Modeling (ICCSM),
Asadollah, Sara Abbaspour - p. 80-84 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prev..:

, In: Model Checking Software; Lecture Notes in Computer Science,
Moradi, Fereidoun ; Bagheri, Maryam ; Rahmati, Hanieh... - p. 24-43 , 2022
Link: https://doi.org/10.1007/..
 
?
12

A Comprehensive Exploration of Languages for Parallel Compu..:

Ciccozzi, Federico ; Addazi, Lorenzo ; Asadollah, Sara Abbaspour...
ACM Computing Surveys.  55 (2022)  2 - p. 1-39 , 2022
Link: https://doi.org/10.1145/..
 
?
13

Towards a Verification-Driven Iterative Development of Soft..:

Sirjani, Marjan ; Provenzano, Luciana ; Asadollah, Sara Abbaspour..
Journal of Internet Services and Applications.  12 (2021)  1 - p. , 2021
Link: https://doi.org/10.1186/..
 
?
14

A Systematic Literature Study on Definition and Modeling of..:

Girs, Svetlana ; Sentilles, Severine ; Asadollah, Sara Abbaspour..
IEEE Access.  8 (2020)  - p. 134498-134513 , 2020
Link: https://doi.org/10.1109/..
 
?
15

On-Off Attack on a Blockchain-based IoT System:

, In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
Moradi, Fereidoun ; Sedaghatbaf, Ali ; Asadollah, Sara Abbaspour.. - p. 1768-1773 , 2019
Link: https://doi.org/10.1109/..
 
1-15