Login / Signup
Ramtin Aryan
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 6
Top Topics
Formal Logic
Tree Search
Cumulative Sum
Anomaly Detection
Top Venues
LCN
Future Gener. Comput. Syst.
Concurr. Comput. Pract. Exp.
</>
Publications
</>
Ramtin Aryan
,
Anis Yazidi
,
Frode Brattensborg
,
Øivind Kure
,
Paal Einar Engelstad
SDN Spotlight: A real-time OpenFlow troubleshooting framework.
Future Gener. Comput. Syst.
133 (2022)
Ramtin Aryan
,
Anis Yazidi
,
Øivind Kure
,
Paal Einar Engelstad
A parallel approach for detecting OpenFlow rule anomalies based on a general formalism.
Concurr. Comput. Pract. Exp.
33 (15) (2021)
Ramtin Aryan
,
Anis Yazidi
,
Adel Bouhoula
,
Paal Einar Engelstad
Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies.
LCN
(2020)
Ramtin Aryan
,
Frode Brattensborg
,
Anis Yazidi
,
Paal Einar Engelstad
Checking the OpenFlow Rule Installation and Operational Verification.
LCN
(2019)
Ramtin Aryan
,
Anis Yazidi
,
Paal Einar Engelstad
An Incremental Approach for Swift OpenFlow Anomaly Detection.
LCN
(2018)
Ramtin Aryan
,
Anis Yazidi
,
Paal Einar Engelstad
,
Øivind Kure
A General Formalism for Defining and Detecting OpenFlow Rule Anomalies.
LCN
(2017)