Publications

Papers, preprints, and research artifacts.

A publication list aligned with the current CV, covering attack-defense trees, attack-fault-defense trees, statistical model checking, smart grids, research reactors, cyber-physical systems, and earlier IoT work.

Google Scholar ORCID

publications and preprints

featured publications

2020-2026

current indexed range

Selected publications

Work most connected to the current research profile.

Featured items highlight the safety-security, AFDT, ADT, and statistical model checking thread.

2026IEEE Computer Security Foundations Symposium (CSF 2026, accepted)Featured

Which attacks are most critical? Risk prioritization via attack tree importance measures

Accepted paper on risk prioritization for attack trees using importance measures.

Authors: Reza Soltani, Marielle Stoelinga, Milan Lopuhaa-Zwakenberg

Publication: IEEE Computer Security Foundations Symposium (CSF 2026, accepted)

Attack treesRisk prioritizationCSF

20252025 IEEE Annual Reliability and Maintainability Symposium - Europe (RAMS-Europe)Featured

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

Conference paper on AFDL and LangAFDL for specifying and querying safety, security, and defense properties in AFDTs.

Authors: Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaa-Zwakenberg, Marielle Stoelinga

Publication: 2025 IEEE Annual Reliability and Maintainability Symposium - Europe (RAMS-Europe)

AFDTProperty specificationSmart gridsAerospace

arXiv PDF

2025International Journal on Software Tools for Technology Transfer 27(3)Featured

Optimal spare management via statistical model checking: a case study in research reactors

Journal version of the reactor spare-management case study, using statistical model checking to compare reliability strategies.

Authors: Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaa-Zwakenberg, Marielle Stoelinga

Publication: International Journal on Software Tools for Technology Transfer 27(3)

Statistical model checkingResearch reactorsReliability

DOI DBLP

2025IEEE/IFIP DSN 2025Featured

Attack-Defense Trees with Offensive and Defensive Attributes

Extends attack-defense trees with defender-side attributes and Pareto-efficient attacker/defender trade-off analysis.

Authors: Danut-Valentin Copae, Reza Soltani, Milan Lopuhaa-Zwakenberg

Publication: IEEE/IFIP DSN 2025

Attack-defense treesPareto analysisCybersecurity

DOI arXiv PDF DBLP

2024SAFECOMP 2024Featured

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

Defines semantics and cut-set metrics for attack-fault-defense trees as a unified safety-security formalism.

Authors: Reza Soltani, Milan Lopuhaa-Zwakenberg, Marielle Stoelinga

Publication: SAFECOMP 2024

AFDTCut setsSafety-security

DOI DBLP

Conference papers

Peer-reviewed conference papers and formal-methods case studies.

10 entries, ordered from newest to oldest.

2026IEEE Computer Security Foundations Symposium (CSF 2026, accepted)

Which attacks are most critical? Risk prioritization via attack tree importance measures

Reza Soltani, Marielle Stoelinga, Milan Lopuhaa-Zwakenberg

Accepted paper on risk prioritization for attack trees using importance measures.

Attack treesRisk prioritizationCSF

20252025 IEEE Annual Reliability and Maintainability Symposium - Europe (RAMS-Europe)

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

Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaa-Zwakenberg, Marielle Stoelinga

Conference paper on AFDL and LangAFDL for specifying and querying safety, security, and defense properties in AFDTs.

AFDTProperty specificationSmart gridsAerospace

arXiv PDF

2025IEEE/IFIP DSN 2025

Attack-Defense Trees with Offensive and Defensive Attributes

Danut-Valentin Copae, Reza Soltani, Milan Lopuhaa-Zwakenberg

Extends attack-defense trees with defender-side attributes and Pareto-efficient attacker/defender trade-off analysis.

Attack-defense treesPareto analysisCybersecurity

DOI arXiv PDF DBLP

2024IEEE PES ISGT Europe 2024

Safety and Security Dependencies for Gridshield

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

Studies safety and security dependencies in smart-grid protection scenarios for the GridShield context.

Smart gridsGridShieldSafety-security dependencies

DOI DBLP

2024SAFECOMP 2024

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

Reza Soltani, Milan Lopuhaa-Zwakenberg, Marielle Stoelinga

Defines semantics and cut-set metrics for attack-fault-defense trees as a unified safety-security formalism.

AFDTCut setsSafety-security

DOI DBLP

2023FMICS 2023

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

Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaa-Zwakenberg, Marielle Stoelinga

Conference version of the research-reactor spare-management study using statistical model checking.

Statistical model checkingResearch reactorsFMICS

DOI DBLP

2021FedCSIS Position Papers 2021

Towards Energy-aware Cyber-Physical Systems Verification and Optimization

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

Position paper on verification and optimization techniques for energy-aware cyber-physical systems.

CPSVerificationOptimization

DOI DBLP

2021ELMAR 2021

A Research Setup Demonstrating Flexible Industry 4.0 Production

S. C. Jepsen, T. Worm, A. Johansen, S. Lazarova-Molnar, M. B. Kjaergaard, Eun-Young Kang, J. Friederich, J. E. Heredia Mena, Reza Soltani, S. L. Sorensen, J. H. Schwee

Research setup paper for a flexible Industry 4.0 production demonstrator.

Industry 4.0Production systemsCPS

2020Data Science: From Research to Application

RSS_RAID a Novel Replicated Storage Schema for RAID System

Saeid Pashazadeh, Leili N. Tazehkand, Reza Soltani

Storage-systems paper on a replicated storage schema for RAID environments.

Storage systemsRAIDData systems

2020ICCKE 2020

Distributed synchronization for charging sensors based on service priority in WSAN

R. A. Ligvan, Reza Soltani, Saeid Pashazadeh

WSAN paper on service-priority-based distributed synchronization for charging sensors.

WSANSensorsDistributed systems

Journal papers

Archival journal publications and extended research results.

3 entries, ordered from newest to oldest.

2025International Journal on Software Tools for Technology Transfer 27(3)

Optimal spare management via statistical model checking: a case study in research reactors

Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaa-Zwakenberg, Marielle Stoelinga

Journal version of the reactor spare-management case study, using statistical model checking to compare reliability strategies.

Statistical model checkingResearch reactorsReliability

DOI DBLP

2021Computer Networks 188

Opportunistic routing in wireless networks using bitmap-based weighted tree

Nahideh Derakhshanfard, Reza Soltani

A wireless-networking paper proposing a bitmap-based weighted tree approach for opportunistic routing.

Wireless networksRoutingIoT

DOI DBLP

2021Multimedia Tools and Applications 80(20)

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

Reza Soltani, Saeid Pashazadeh

Improves a 6LoWPAN IoT protocol with a lightweight approach for constrained network environments.

IoT6LoWPANProtocol security

DOI DBLP

Preprints

Open preprints, appendix versions, and work awaiting archival venue updates.

3 entries, ordered from newest to oldest.

2025CoRR abs/2504.00988

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

Reza Soltani, Pablo Diale, Milan Lopuhaa-Zwakenberg, Marielle Stoelinga

Applies attack-fault-defense trees to satellite ground-segment risk mitigation and interdisciplinary mission analysis.

AFDTSatellitesMission risk

arXiv PDF DBLP

2025CoRR abs/2504.12748

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

Danut-Valentin Copae, Reza Soltani, Milan Lopuhaa-Zwakenberg

Open-access appendix version for the DSN 2025 paper on offensive and defensive ADT attributes.

Attack-defense treesAppendixPareto analysis

arXiv PDF DBLP

2021CoRR abs/2109.01574

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

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

Open preprint connected to the FedCSIS position paper on CPS verification and optimization.

CPSPreprintOptimization

arXiv PDF DBLP