English version
Ramtin Aryan

Ramtin Aryan

Publikasjoner og forskningsresultater

Vitenskapelige publikasjoner

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



Publikasjonslisten er hentet ut av Cristin. Listen kan være ufullstendig