VICTOR MANUEL
GONZALEZ SUAREZ
Profesor Titular de Universidad
European Organization for Nuclear Research
Ginebra, SuizaPublicaciones en colaboración con investigadores/as de European Organization for Nuclear Research (6)
2015
-
Applying model checking to industrial-sized PLC programs
IEEE Transactions on Industrial Informatics, Vol. 11, Núm. 6, pp. 1400-1410
2014
-
Bringing automated model checking to PLC program development - A CERN case study
IFAC Proceedings Volumes (IFAC-PapersOnline)
-
Bringing automated model checking to plc program development - A CERN case study
Advances in the Astronautical Sciences
-
Formal verification of complex properties on PLC programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Modelling and formal verification of timing aspects in large PLC programs
IFAC Proceedings Volumes (IFAC-PapersOnline)
2013
-
Model-based automated testing of critical PLC programs
IEEE International Conference on Industrial Informatics (INDIN)