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
Universiteit Twente
Zilverling 3110
Postbus 217
7500 AE Enschede
Organisaties
Scan de QR-code of
Download vCard
Download vCard