Login / Signup
James Filliben
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Finite State
Automated Verification
Temporal Logic
Top Venues
CoRR
ATVA
</>
Publications
</>
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)