Towards Energy-aware Cyber-Physical Systems Verification and Optimization. - Reza Soltani 001; Eun-Young Kang 001; Juan Esteban Heredia Mena (FedCSIS (Position Papers), 2021)

Opportunistic routing in wireless networks using bitmap-based weighted tree. - Nahideh Derakhshanfard; Reza Soltani 001 (Comput. Networks, 2021)

Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS. - Reza Soltani 001; Eun-Young Kang 001; Juan Esteban Heredia Mena (CoRR, 2021)

A lightweight improvement of PeDAAC protocol for 6LoWPAN in the Internet of Things. - Reza Soltani 001; Saeid Pashazadeh (Multim. Tools Appl., 2021)

Safety and Security Dependencies for Gridshield. - Reza Soltani 001; Baver Ozceylan; Milan Lopuhaä-Zwakenberg; Christina Kolb; Gerwin Hoogsteen (ISGT EUROPE, 2024)

Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics. - Reza Soltani 001; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga (SAFECOMP, 2024)

Attack-Defense Trees with Offensive and Defensive Attributes. - Danut-Valentin Copae; Reza Soltani 001; Milan Lopuhaä-Zwakenberg (DSN, 2025)

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees. - Reza Soltani 001; Pablo Diale; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga (CoRR, 2025)

Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix). - Danut-Valentin Copae; Reza Soltani 001; Milan Lopuhaä-Zwakenberg (CoRR, 2025)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies. - Reza Soltani 001; Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga (CoRR, 2025)

Optimal spare management via statistical model checking: a case study in research reactors. - Reza Soltani 001; Matthias Volk 001; Leonardo Diamonte; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga (Int. J. Softw. Tools Technol. Transf., 2025)