Enrique Blanco Viñuela

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 9

Top Topics

Formal Verification

Control Software

Programmable Logic Controller

Top Venues

Publications

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
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM (2023)
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. EANN (2023)
Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program. CoRR (2022)
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar
Simplification of numeric variables for PLC model checking. MEMOCODE (2021)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
PLC Program Translation for Verification Purposes. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
Dániel Darvas, Enrique Blanco Viñuela, István Majzik
PLC code generation based on a formal specification language. INDIN (2016)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
Conformance checking for programmable logic controller programs and specifications. SIES (2016)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
Formal Verification of Safety PLC Based Control Software. IFM (2016)
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
Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Ind. Informatics 11 (6) (2015)
Rafal Noga, César de Prada Moraga, Toshiyuki Ohtsuka, Enrique Blanco Viñuela, Juan Casas Cubillos
Non-linear moving horizon state estimation and control for the superfluid helium cryogenic circuit at the large Hadron Collider. CDC (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)
Rafal Noga, Toshiyuki Ohtsuka, César de Prada Moraga, Enrique Blanco Viñuela, Juan Casas Cubillos
Nonlinear Model Predictive Control for the Superfluid Helium Cryogenic Circuit of the Large Hadron Collider. CCA (2010)