Login / Signup
Siham Khoussi
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 5
Top Topics
Pspace Complete
Temporal Logic
Model Checking
Timed Automata
Top Venues
AICCSA
CoRR
ICN
SmartGridComm
</>
Publications
</>
Siham Khoussi
,
Alan Heckert
,
Abdella Battou
,
Saddek Bensalem
A neural networks-based methodology for fitting data to probability distributions.
AICCSA
(2021)
Siham Khoussi
,
Ayoub Nouri
,
Junxiao Shi
,
James Filliben
,
Lotfi Benmohamed
,
Abdella Battou
,
Saddek Bensalem
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking.
ATVA
(2019)
Siham Khoussi
,
Ayoub Nouri
,
Junxiao Shi
,
James Filliben
,
Lotfi Benmohamed
,
Abdella Battou
,
Saddek Bensalem
Performance evaluation of a NDN forwarder using statistical model checking.
CoRR
(2019)
Siham Khoussi
,
Davide Pesavento
,
Lotfi Benmohamed
,
Abdella Battou
NDN-trace: a path tracing utility for named data networking.
ICN
(2017)
Siham Khoussi
,
Hasnae Bilil
,
Ghassane Aniba
Optimal time of use of renewable electricity pricing: Three-player games model.
SmartGridComm
(2015)