Iván García-Ferreira

According to our database, Iván García-Ferreira authored at least 5 papers between 2013 and 2016.

Collaborative distances:

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

2016

Static analysis: a brief survey.

Iván García-Ferreira, Carlos Laorden, Igor Santos, Pablo García Bringas

Log. J. IGPL, 2016

An Architecture for Securing Communications in Critical Infrastructure.

Christian Callegari, Alessandro Cantelli Forti, Giuseppe D'Amore, Enrique de la Hoz, David Echarri Santamaria, Iván García-Ferreira, German Lopez-Civera

Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

2014

On the adoption of anomaly detection for packed executable filtering.

Xabier Ugarte-Pedrero, Igor Santos, Iván García-Ferreira, Sergio Huerta, Borja Sanz, Pablo García Bringas

Comput. Secur., 2014

A Survey on Static Analysis and Model Checking.

Iván García-Ferreira, Carlos Laorden, Igor Santos, Pablo García Bringas

Proceedings of the International Joint Conference SOCO'14-CISIS'14-ICEUTE'14, 2014

2013

Enhanced Image Segmentation Using Quality Threshold Clustering for Surface Defect Categorisation in High Precision Automotive Castings.

Iker Pastor-López, Igor Santos, Jorge de-la-Peña-Sordo, Iván García-Ferreira, Asier G. Zabala, Pablo García Bringas

Proceedings of the International Joint Conference SOCO'13-CISIS'13-ICEUTE'13, 2013