Iván García-Ferreira

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Static Analysis

Top Venues

SOCO-CISIS-ICEUTE

Publications

Iván García-Ferreira, Carlos Laorden, Igor Santos, Pablo García Bringas
Static analysis: a brief survey. Log. J. IGPL 24 (6) (2016)
Christian Callegari, Alessandro Cantelli Forti, Giuseppe D'Amore, Enrique de la Hoz, David Echarri Santamaria, Iván García-Ferreira, German Lopez-Civera
An Architecture for Securing Communications in Critical Infrastructure. DCNET (2016)
Iván García-Ferreira, Carlos Laorden, Igor Santos, Pablo García Bringas
A Survey on Static Analysis and Model Checking. SOCO-CISIS-ICEUTE (2014)
Xabier Ugarte-Pedrero, Igor Santos, Iván García-Ferreira, Sergio Huerta, Borja Sanz, Pablo García Bringas
On the adoption of anomaly detection for packed executable filtering. Comput. Secur. 43 (2014)
Iker Pastor-López, Igor Santos, Jorge de-la-Peña-Sordo, Iván García-Ferreira, Asier G. Zabala, Pablo García Bringas
Enhanced Image Segmentation Using Quality Threshold Clustering for Surface Defect Categorisation in High Precision Automotive Castings. SOCO-CISIS-ICEUTE (2013)