Publikasjoner og forskningsresultater
Vitenskapelige publikasjoner
Aryan, Ramtin; Yazidi, Anis; Brattensborg, Frode Henriksen; Kure, Øivind; Engelstad, Paal E.
(2022).
SDN Spotlight: A real-time OpenFlow troubleshooting framework.
Future generations computer systems
.
Vol. 133.
http://hdl.handle.net/10852/93778
Aryan, Ramtin; Yazidi, Anis; Bouhoula, Adel; Engelstad, Paal E.
(2020).
Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies.
4 s.
Conference on Local Computer Networks
.
http://hdl.handle.net/10852/82781
Aryan, Ramtin; Yazidi, Anis; Kure, Øivind; Engelstad, Paal E.
(2020).
A parallel approach for detecting OpenFlow rule anomalies based on a general formalism.
29 s.
Concurrency and Computation
.
http://hdl.handle.net/10852/78328
Aryan, Ramtin; Brattensborg, Frode Henriksen; Yazidi, Anis; Engelstad, Paal (2019). Checking the OpenFlow Rule Installation and Operational Verification. Andersson, Karl; Tan, Hwee-Pink; Oteafy, Sharief (Red.). 44th Annual IEEE Conference on Local Computer Networks (LCN 2019). kapittel. s. 250-253. IEEE.
Aryan, Ramtin; Yazidi, Anis; Engelstad, Paal E.
(2018).
An Incremental Approach for Swift OpenFlow Anomaly Detection.
8 s.
Conference on Local Computer Networks
.
http://hdl.handle.net/10852/76908
Aryan, Ramtin; Yazidi, Anis; Engelstad, Paal E.; Kure, Øivind
(2017).
A General Formalism for Defining and Detecting OpenFlow Rule Anomalies.
Jens, Tölle (Red.).
42nd IEEE Conference on Local Computer Networks. 1. s. 426-434.
IEEE conference proceedings.
http://hdl.handle.net/11250/2480253