Zilverling

ir. R. Soltani (Reza)

Promovendus
EEMCS-CS-FMT
Zilverling 3110
r.soltani@utwente.nl
+31534896423
Visitekaartje

Expertises

  • Computer Science

    • Side Channel Attack
    • Cyber Physical Systems
    • Attackers
    • Case Study
    • Industry 4.0
    • Risk Mitigation

  • Engineering

    • Production
    • Research

Organisaties

Publicaties

2025

Querying 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.9550961A lightweight improvement of PeDAAC protocol for 6LoWPAN in the Internet of Things (2021)Multimedia tools and applications, 80, 31467–31486. Soltani, R. & Pashazadeh, S.https://doi.org/10.1007/s11042-021-11236-w

Onderzoeksprofielen

Vakken collegejaar 2024/2025

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.

Adres

Universiteit Twente

Zilverling (gebouwnr. 11), kamer 3110
Hallenweg 19
7522 NH Enschede

Navigeer naar locatie

Organisaties

Scan de QR-code of
Download vCard