Víctor M. González Suárez

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 6

Top Topics

Formal Verification

Accurate Classifiers

Top Venues

J. Comput. Appl. Math.

Appl. Math. Comput.

Publications

Enrique A. de la Cal, Mirko Fáñez, Alvaro DaSilva, José Ramón Villar, Javier Sedano, Víctor M. González Suárez
A Preliminary Study for Automatic Activity Labelling on an Elder People ADL Dataset. SOCO (2020)
Enrique A. de la Cal, Mirko Fáñez, Mario Villar, José Ramón Villar, Víctor M. González Suárez
A Simple Classification Ensemble for ADL and Falls. HAIS (2020)
Enrique A. de la Cal, Alvaro DaSilva, Mirko Fáñez, José Ramón Villar, Javier Sedano, Víctor M. González Suárez
An Autonomous Fallers Monitoring Kit: Release 0.0. ISDA (2019)
P. J. García Nieto, Esperanza García Gonzalo, Juan Carlos Álvarez Antón, Víctor M. González Suárez, Ricardo Mayo Bayón, Felipe Mateos Martín
A comparison of several machine learning techniques for the centerline segregation prediction in continuous cast steel slabs and evaluation of its performance. J. Comput. Appl. Math. 330 (2018)
P. J. García Nieto, José Ramón Alonso Fernández, Esperanza García Gonzalo, Cristina Díaz Muñiz, Ricardo Mayo Bayón, Víctor M. González Suárez
A new predictive model for the cyanotoxin content from experimental cyanobacteria concentrations in a reservoir based on the ABC optimized support vector machine approach: A case study in Northern Spain. Ecol. Informatics 30 (2015)
P. J. García Nieto, José Ramón Alonso Fernández, Víctor M. González Suárez, Cristina Díaz Muñiz, Esperanza García Gonzalo, Ricardo Mayo Bayón
A hybrid PSO optimized SVM-based method for predicting of the cyanotoxin content from experimental cyanobacteria concentrations in the Trasona reservoir: A case study in Northern Spain. Appl. Math. Comput. 260 (2015)
Ricardo Mayo Bayón, Víctor M. González Suárez, Felipe Mateos Martín, Juan M. Lopera Ronda, Juan Carlos Álvarez Antón
A Wireless Portable High Temperature Data Monitor for Tunnel Ovens. Sensors 14 (8) (2014)
Dániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez
Formal Verification of Complex Properties on PLC Programs. FORTE (2014)
Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. WODES (2014)
Borja Fernandez Adiego, Enrique Blanco Viñuela, Víctor M. González Suárez, Simon Bliudze
Model-based automated testing of critical PLC programs. INDIN (2013)