Follow
Reza Soltani
Title
Cited by
Year
Safety and Security Dependencies for Gridshield
R Soltani, B Ozceylan, M Lopuhaä-Zwakenberg, C Kolb, G Hoogsteen
2024 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE), 1-6, 2024
2024
Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics
R Soltani, M Lopuhaä-Zwakenberg, M Stoelinga
International Conference on Computer Safety, Reliability, and Security, 218-232, 2024
2024
Optimal spare management via statistical model checking: a case study in research reactors
R Soltani, M Volk, L Diamonte, M Lopuhaä-Zwakenberg, M Stoelinga
International Conference on Formal Methods for Industrial Critical Systems …, 2023
22023
Artefact for "Optimal spare management via statistical model checking: A case study in research reactors"
R Soltani, M Volk, L Diamonte, M Lopuhaä-Zwakenberg, M Stoelinga
Zenodo, 2023
2023
A research setup demonstrating flexible industry 4.0 production
SC Jepsen, T Worm, A Johansen, S Lazarova-Molnar, MB Kjærgaard, ...
2021 International Symposium ELMAR, 143-150, 2021
132021
Verification and optimization of cyber-physical systems: Preprint for FedCSIS
R Soltani, EY Kang, JEH Mena
arXiv preprint arXiv:2109.01574, 2021
32021
A lightweight improvement of PeDAAC protocol for 6LoWPAN in the Internet of Things
R Soltani, S Pashazadeh
Multimedia Tools and Applications 80 (20), 31467-31486, 2021
12021
Opportunistic routing in wireless networks using bitmap-based weighted tree
N Derakhshanfard, R Soltani
Computer Networks 188, 107892, 2021
112021
Towards energy-aware cyber-physical systems verification and optimization
R Soltani, EY Kang, JEH Mena
16th Conference on Computer Science and Intelligence Systems, FedCSIS 2021 …, 2021
82021
Distributed synchronization for charging sensors based on service priority in WSAN
RA Ligvan, R Soitani, S Pashazadeh
2020 10th International Conference on Computer and Knowledge Engineering …, 2020
2020
RSS_RAID a novel replicated storage schema for RAID system
S Pashazadeh, LN Tazehkand, R Soltani
The 7th International Conference on Contemporary Issues in Data Science, 36-43, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–11