Reza Soltani

According to our database, Reza Soltani authored at least 11 papers between 2021 and 2025.

Collaborative distances:

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

2025

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

Int. J. Softw. Tools Technol. Transf., June, 2025

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies.

Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

CoRR, June, 2025

Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix).

Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg

CoRR, April, 2025

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees.

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

CoRR, April, 2025

Attack-Defense Trees with Offensive and Defensive Attributes.

Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

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

Safety and Security Dependencies for Gridshield.

Reza Soltani, Baver Ozceylan, Milan Lopuhaä-Zwakenberg, Christina Kolb, Gerwin Hoogsteen

Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 2024

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