Ramtin Aryan

According to our database, Ramtin Aryan authored at least 8 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

A formal technique for automatic resolution of OpenFlow anomalies.

Ramtin Aryan, Anis Yazidi, Adel Bouhoula, Paal E. Engelstad

Int. J. Inf. Sec., August, 2025

2024

Software Defined Networks troubleshooting using formal approaches for monitoring, probing and self-correction (auto-correction).

Ramtin Aryan

PhD thesis, 2024

2022

SDN Spotlight: A real-time OpenFlow troubleshooting framework.

Ramtin Aryan, Anis Yazidi, Frode Brattensborg, Øivind Kure, Paal Einar Engelstad

Future Gener. Comput. Syst., 2022

2021

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

2020

Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies.

Ramtin Aryan, Anis Yazidi, Adel Bouhoula, Paal Einar Engelstad

Proceedings of the 45th IEEE Conference on Local Computer Networks, 2020

2019

Checking the OpenFlow Rule Installation and Operational Verification.

Ramtin Aryan, Frode Brattensborg, Anis Yazidi, Paal Einar Engelstad

Proceedings of the 44th IEEE Conference on Local Computer Networks, 2019

2018

An Incremental Approach for Swift OpenFlow Anomaly Detection.

Ramtin Aryan, Anis Yazidi, Paal Einar Engelstad

Proceedings of the 43rd IEEE Conference on Local Computer Networks, 2018

2017

A General Formalism for Defining and Detecting OpenFlow Rule Anomalies.

Ramtin Aryan, Anis Yazidi, Paal Einar Engelstad, Øivind Kure

Proceedings of the 42nd IEEE Conference on Local Computer Networks, 2017