Reza Soltani

According to our database, Reza Soltani authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics.

Reza Soltani, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

Proceedings of the Computer Safety, Reliability, and Security, 2024

2023

Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.

Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2021

A lightweight improvement of PeDAAC protocol for 6LoWPAN in the Internet of Things.

Reza Soltani, Saeid Pashazadeh

Multim. Tools Appl., 2021

Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS.

Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena

CoRR, 2021

Opportunistic routing in wireless networks using bitmap-based weighted tree.

Nahideh Derakhshanfard, Reza Soltani

Comput. Networks, 2021

Towards Energy-aware Cyber-Physical Systems Verification and Optimization.

Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena

Proceedings of the Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems, 2021