Expertises

  • Agricultural and Biological Sciences

    • Research
    • Laboratories
  • Computer Science

    • Cyber Physical Systems
    • Industry 4.0
    • Side Channel Attack
    • Models
  • Engineering

    • Production
    • Experiments

Organisaties

Publicaties

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 Nature. 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. A. & 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, 31467–31486. Soltani, R. & Pashazadeh, S.https://doi.org/10.1007/s11042-021-11236-wOpportunistic routing in wireless networks using bitmap-based weighted tree (2021)Computer networks, 188. Article 107892. Derakhshanfard, N. & Soltani, R.https://doi.org/10.1016/j.comnet.2021.107892Towards Energy-aware Cyber-Physical Systems Verification and Optimization (2021)In Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems (pp. 205-210). Soltani, R., Kang, E.-Y. & Mena, J. E. H.https://doi.org/10.15439/2021F125

2020

RSS_RAID a Novel Replicated Storage Schema for RAID System (2020)In Data Science: From Research to Application (pp. 36-43) (Lecture Notes on Data Engineering and Communications Technologies; Vol. 45). Pashazadeh, S., Tazehkand, L. N. & Soltani, R.https://doi.org/10.1007/978-3-030-37309-2_4

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.

Vakken collegejaar 2023/2024

Adres

Universiteit Twente

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

Navigeer naar locatie

Organisaties

Scan de QR-code of
Download vCard