On the adoption of anomaly detection for packed executable filtering

X Ugarte-Pedrero, I Santos, I Garc�a-Ferreira…�- Computers &�…, 2014 - Elsevier
… a pre-doctoral grant given to Xabier Ugarte-Pedrero (PRE_2013_2_65) and by the OTRI/Deiker
at the University of Deusto under a predoctoral grant given to Iv�n Garc�a-Ferreira. …

A survey on static analysis and model checking

I Garc�a-Ferreira, C Laorden, I Santos…�- …�Joint Conference SOCO'�…, 2014 - Springer
The error detection in software is a problem that causes the loss of large amount of money
in updates and patches. Many programmers spend their time correcting code instead of …

Static analysis: a brief survey

I Garc�a-Ferreira, C Laorden, I Santos…�- Logic Journal of the�…, 2016 - ieeexplore.ieee.org
The error detection in software is a problem that causes the loss of large amount of money
in updates and patches. Many programmers spend their time correcting code instead of …

Enhanced image segmentation using quality threshold clustering for surface defect categorisation in high precision automotive castings

…, I Santos, J de-la-Pena-Sordo, I Garc�a-Ferreira…�- …�Joint Conference SOCO�…, 2014 - Springer
Foundry is an important industry that supplies key products to other important sectors of the
society. In order to assure the quality of the final product, the castings are subject to strict …

[PDF][PDF] An Architecture for Securing Communications in Critical Infrastructure.

…, E de la Hoz, DE Santamaria, I Garc�a-Ferreira…�- DCNET, 2016 - researchgate.net
The disruption of communications in critical infrastructures could have a serious impact on
the health, safety, security or economic well-being of citizens or even prevent the effective …

International Joint Conference SOCO'14-CISIS'14-ICEUTE'14

JG de la Puerta, IG Ferreira, PG Bringas, F Klett… - Springer
This volume of Advances in Intelligent and Soft Computing contains accepted papers presented
at SOCO 2014, CISIS 2014 and ICEUTE 2014, all conferences held in the beautiful and …

[BOOK][B] International Joint Conference SOCO'14-CISIS'14-ICEUTE'14: Bilbao, Spain, June 25th-27th, 2014, Proceedings

JG De la Puerta, IG Ferreira, PG Bringas, F Klett… - 2014 - books.google.com
This volume of Advances in Intelligent and Soft Computing contains accepted papers presented
at SOCO 2014, CISIS 2014 and ICEUTE 2014, all conferences held in the beautiful and …

Making Peaceful Revolution Impossible: Kennedy, Ar�valo, the 1963 Coup in Guatemala, and the Alliance against Progress in Latin America's Cold War

MP Friedman, RG Ferreira�- Journal of Cold War Studies, 2022 - direct.mit.edu
… Roberto Garc�a Ferreira is a professor of American history at the Universidad de la …
Roberto Garc�a Ferreira is a professor of American history at the Universidad de la Republica, in …

[PDF][PDF] Making Peaceful Revolution Impossible.

MP Friedman, RG Ferreira�- Journal of Cold War Studies, 2022 - academia.edu
President John F. Kennedy’s foreign policy was characterized by a paradoxical approach to
Latin America. Concerned over increasing social unrest in the aftermath of the Cuban …

Spaces determined by selections

M Hruš�k, I Mart�nez-Ruiz�- Topology and its Applications, 2010 - Elsevier
Garc�a-Ferreira and AH Tomita [S. Garc�a-Ferreira, AH Tomita, A non-normal topology
generated by a two-point selection, Topology Appl. 155 (10) (2008) 1105–1110], we show that (X,…