Login / Signup
Reza Soltani
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Computation Tree Logic
Model Checking
Timed Automata
Cross Layer Optimization
Top Venues
CoRR
Multim. Tools Appl.
FedCSIS (Position Papers)
Comput. Networks
</>
Publications
</>
Reza Soltani
,
Matthias Volk
,
Leonardo Diamonte
,
Milan Lopuhaä-Zwakenberg
,
Mariëlle Stoelinga
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.
FMICS
(2023)
Reza Soltani
,
Eun-Young Kang
,
Juan Esteban Heredia Mena
Towards Energy-aware Cyber-Physical Systems Verification and Optimization.
FedCSIS (Position Papers)
(2021)
Reza Soltani
,
Eun-Young Kang
,
Juan Esteban Heredia Mena
Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS.
CoRR
(2021)
Nahideh Derakhshanfard
,
Reza Soltani
Opportunistic routing in wireless networks using bitmap-based weighted tree.
Comput. Networks
188 (2021)
Reza Soltani
,
Saeid Pashazadeh
A lightweight improvement of PeDAAC protocol for 6LoWPAN in the Internet of Things.
Multim. Tools Appl.
80 (20) (2021)