A General Formalism for Defining and Detecting OpenFlow Rule Anomalies. - Ramtin Aryan; Anis Yazidi; Paal Einar Engelstad; Øivind Kure (LCN, 2017)

An Incremental Approach for Swift OpenFlow Anomaly Detection. - Ramtin Aryan; Anis Yazidi; Paal Einar Engelstad (LCN, 2018)

Checking the OpenFlow Rule Installation and Operational Verification. - Ramtin Aryan; Frode Brattensborg; Anis Yazidi; Paal Einar Engelstad (LCN, 2019)

Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies. - Ramtin Aryan; Anis Yazidi; Adel Bouhoula; Paal Einar Engelstad (LCN, 2020)

A parallel approach for detecting OpenFlow rule anomalies based on a general formalism. - Ramtin Aryan; Anis Yazidi; Øivind Kure; Paal Einar Engelstad (Concurr. Comput. Pract. Exp., 2021)

SDN Spotlight: A real-time OpenFlow troubleshooting framework. - Ramtin Aryan; Anis Yazidi; Frode Brattensborg; Øivind Kure; Paal Einar Engelstad (Future Gener. Comput. Syst., 2022)

A formal technique for automatic resolution of OpenFlow anomalies. - Ramtin Aryan; Anis Yazidi; Adel Bouhoula; Paal E. Engelstad (Int. J. Inf. Sec., 2025)