Reza Soltani

12 papers A 1B 1C 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix).
CoRR
Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg
2025 A conf
Attack-Defense Trees with Offensive and Defensive Attributes.
DSN
Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg
2025 J jnl
Optimal spare management via statistical model checking: a case study in research reactors.
Int. J. Softw. Tools Technol. Transf.
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025 J jnl
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies.
CoRR
Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025 J jnl
Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees.
CoRR
Reza Soltani, Pablo Diale, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024 — conf
Safety and Security Dependencies for Gridshield.
ISGT EUROPE
Reza Soltani, Baver Ozceylan, Milan Lopuhaä-Zwakenberg, Christina Kolb, Gerwin Hoogsteen
2024 B conf
Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics.
SAFECOMP
Reza Soltani, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023 C conf
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.
FMICS
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2021 J jnl
A lightweight improvement of PeDAAC protocol for 6LoWPAN in the Internet of Things.
Multim. Tools Appl.
Reza Soltani, Saeid Pashazadeh
2021 J jnl
Opportunistic routing in wireless networks using bitmap-based weighted tree.
Comput. Networks
Nahideh Derakhshanfard, Reza Soltani
2021 — conf
Towards Energy-aware Cyber-Physical Systems Verification and Optimization.
FedCSIS (Position Papers)
Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena
2021 J jnl
Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS.
CoRR
Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena