Follow
Reza Soltani
Title
Cited by
Year
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
2023
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
72021
Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS
R Soltani, EY Kang, JEH Mena
arXiv preprint arXiv:2109.01574, 2021
12021
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
2021
Opportunistic routing in wireless networks using bitmap-based weighted tree
N Derakhshanfard, R Soltani
Computer Networks 188, 107892, 2021
122021
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
52021
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
Data Science: From Research to Application, 36-43, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–9