Login / Signup
Victor Ferman
ORCID
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 2
Top Topics
Machine Learning
Epistemic Logic
Model Checker
Detecting Anomalies
Top Venues
Computación y Sistemas
IEEE Access
</>
Publications
</>
Luis A. Trejo
,
Victor Ferman
,
Miguel Angel Medina-Pérez
,
Fernando Miguel Arredondo Giacinti
,
Raúl Monroy
,
Jose Emmanuel Ramirez-Marquez
DNS-ADVP: A Machine Learning Anomaly Detection and Visual Platform to Protect Top-Level Domain Name Servers Against DDoS Attacks.
IEEE Access
7 (2019)
Victor Ferman
,
Dieter Hutter
,
Raúl Monroy
A Model Checker for the Verification of Browser Based Protocols.
Computación y Sistemas
21 (1) (2017)