Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. - Siham Khoussi; Ayoub Nouri; Junxiao Shi; James Filliben; Lotfi Benmohamed; Abdella Battou; Saddek Bensalem (ATVA, 2019)

Performance evaluation of a NDN forwarder using statistical model checking. - Siham Khoussi; Ayoub Nouri; Junxiao Shi; James Filliben; Lotfi Benmohamed; Abdella Battou; Saddek Bensalem (CoRR, 2019)