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 (CCA, 2010)

Model-based automated testing of critical PLC programs. - Borja Fernandez Adiego; Enrique Blanco Viñuela; Víctor M. González Suárez; Simon Bliudze (INDIN, 2013)

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 (CDC, 2014)

Formal Verification of Complex Properties on PLC Programs. - Dániel Darvas; Borja Fernandez Adiego; András Vörös 001; Tamás Bartha; Enrique Blanco Viñuela; Víctor M. González Suárez (FORTE, 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 (WODES, 2014)

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)

Formal Verification of Safety PLC Based Control Software. - Dániel Darvas; István Majzik; Enrique Blanco Viñuela (IFM, 2016)

PLC code generation based on a formal specification language. - Dániel Darvas; Enrique Blanco Viñuela; István Majzik (INDIN, 2016)

Conformance checking for programmable logic controller programs and specifications. - Dániel Darvas; István Majzik; Enrique Blanco Viñuela (SIES, 2016)

PLC Program Translation for Verification Purposes. - Dániel Darvas; István Majzik; Enrique Blanco Viñuela (Period. Polytech. Electr. Eng. Comput. Sci., 2017)

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 (MEMOCODE, 2021)

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)

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 (EANN, 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 (NFM, 2023)