Ir. R. Soltani | People pages: Vind een medewerker en alle contactgegevens | Universiteit Twente

Expertises

Computer Science
- Side Channel Attack
- Case Study
- Smart Grid
- Cyber Physical Systems
- Automaton
- Fault Tree
- Statistical Model
- Attackers

Organisaties

Publicaties

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

Onderzoeksprofielen

Adres

Universiteit Twente

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

Navigeer naar locatie

Organisaties