Zilverling

ir. R. Soltani (Reza)

PhD Candidate
EEMCS-CS-FMT
Zilverling 3110
r.soltani@utwente.nl
+31534896423
Business card

Expertise

  • Computer Science

    • Side Channel Attack
    • Case Study
    • Cyber Physical Systems
    • Smart Grid
    • Attackers
    • Industry 4.0

  • Engineering

    • Production
    • Research

Organisations

Publications

2025

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025)In 2025 IEEE Annual Reliability and Maintainability Symposium - Europe: Reliability Foundations, RAMS-Europe 2025. IEEE. Soltani, R., Nicoletti, S. M., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1109/RAMS-Europe62094.2025.11274635Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025)[Working paper › Preprint]. ArXiv.org. Soltani, R., Nicoletti, S. M., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2506.23789Optimal spare management via statistical model checking: a case study in research reactors (2025)International journal on software tools for technology transfer, 27(3), 361-376. Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/s10009-025-00791-4Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees (2025)[Working paper › Preprint]. ArXiv.org. Soltani, R., Diale, P., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2504.00988Safety and Security Dependencies for Gridshield (2025)In IEEE PES Innovative Smart Grid Technologies Europe, ISGT EUROPE 2024. IEEE. Soltani, R., Ozceylan, B., Lopuhaä-Zwakenberg, M., Kolb, C. & Hoogsteen, G.https://doi.org/10.1109/ISGTEUROPE62998.2024.10863084Attack-Defense Trees with Offensive and Defensive Attributes (2025)In 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (pp. 358-370) (Proceedings - Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN); Vol. 2025). Copae, D.-V., Soltani, R. & Lopuhaä-Zwakenberg, M.https://doi.org/10.1109/DSN64029.2025.00044

2024

Safety-Security Analysis viaĀ Attack-Fault-Defense Trees: Semantics andĀ Cut Set Metrics (2024)In Computer Safety, Reliability, and Security: 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18ā€“20, 2024, Proceedings (pp. 218-232) ( Lecture Notes in Computer Science; Vol. 14988). Springer. Soltani, R., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-68606-1_14

2023

Optimal Spare Management viaĀ Statistical Model Checking: A Case Study inĀ Research Reactors (2023)In Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20ā€“22, 2023, Proceedings (pp. 205-223) (Lecture notes in computer science; Vol. 14290). Springer. Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-43681-9_12Artefact for "Optimal spare management via statistical model checking: A case study in research reactors" (2023)[Dataset Types › Dataset]. Zenodo. Soltani, R., Volk, M., Diamonte, L. A., Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A.https://doi.org/10.5281/ZENODO.8199172

2021

A Research Setup Demonstrating Flexible Industry 4.0 Production (2021)In 2021 International Symposium ELMAR. Jepsen, S. C., Worm, T., Johansen, A., Lazarova-Molnar, S., Kjærgaard, M. B., Kang, E.-Y., Friederich, J., Mena, J. E. H., Soltani, R., Sørensen, S. L. & Schwee, J. H.https://doi.org/10.1109/ELMAR52657.2021.9550961

Research profiles

Courses academic year 2024/2025

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.

Address

University of Twente

Zilverling (building no. 11), room 3110
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard