Enrique Blanco Viñuela

According to our database, Enrique Blanco Viñuela authored at least 14 papers between 2010 and 2023.

Collaborative distances:

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

2023

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.

Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela

Proceedings of the Engineering Applications of Neural Networks, 2023

2022

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.

Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart

CoRR, 2022

2021

Simplification of numeric variables for PLC model checking.

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2017

PLC Program Translation for Verification Purposes.

Dániel Darvas, István Majzik, Enrique Blanco Viñuela

Period. Polytech. Electr. Eng. Comput. Sci., 2017

2016

Conformance checking for programmable logic controller programs and specifications.

Dániel Darvas, István Majzik, Enrique Blanco Viñuela

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

PLC code generation based on a formal specification language.

Dániel Darvas, Enrique Blanco Viñuela, István Majzik

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Formal Verification of Safety PLC Based Control Software.

Dániel Darvas, István Majzik, Enrique Blanco Viñuela

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Applying Model Checking to Industrial-Sized PLC Programs.

Borja Fernandez Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, Víctor Manuel González Suárez

IEEE Trans. Ind. Informatics, 2015

2014

Bringing Automated Model Checking to PLC Program Development - a CERN Case Study.

Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Formal Verification of Complex Properties on PLC Programs.

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

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Non-linear moving horizon state estimation and control for the superfluid helium cryogenic circuit at the large Hadron Collider.

Rafal Noga, César de Prada Moraga, Toshiyuki Ohtsuka, Enrique Blanco Viñuela, Juan Casas Cubillos

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Model-based automated testing of critical PLC programs.

Borja Fernandez Adiego, Enrique Blanco Viñuela, Víctor M. González Suárez, Simon Bliudze

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2010

Nonlinear Model Predictive Control for the Superfluid Helium Cryogenic Circuit of the Large Hadron Collider.

Rafal Noga, Toshiyuki Ohtsuka, César de Prada Moraga, Enrique Blanco Viñuela, Juan Casas Cubillos

Proceedings of the IEEE International Conference on Control Applications, 2010