Enrique Blanco Viñuela

14 papers B 1C 6Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
NFM
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
2023 C conf
Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.
EANN
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
2022 J jnl
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.
CoRR
Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart
2021 C conf
Simplification of numeric variables for PLC model checking.
MEMOCODE
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar
2017 J jnl
PLC Program Translation for Verification Purposes.
Period. Polytech. Electr. Eng. Comput. Sci.
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
2016 — conf
Conformance checking for programmable logic controller programs and specifications.
SIES
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
2016 B conf
Formal Verification of Safety PLC Based Control Software.
IFM
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
2016 C conf
PLC code generation based on a formal specification language.
INDIN
Dániel Darvas, Enrique Blanco Viñuela, István Majzik
2015 J jnl
Applying Model Checking to Industrial-Sized PLC Programs.
IEEE Trans. Ind. Informatics
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
2014 — conf
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study.
WODES
Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez
2014 C conf
Formal Verification of Complex Properties on PLC Programs.
FORTE
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
2014 — conf
Non-linear moving horizon state estimation and control for the superfluid helium cryogenic circuit at the large Hadron Collider.
CDC
Rafal Noga, César de Prada Moraga, Toshiyuki Ohtsuka, Enrique Blanco Viñuela, Juan Casas Cubillos
2013 C conf
Model-based automated testing of critical PLC programs.
INDIN
Borja Fernandez Adiego, Enrique Blanco Viñuela, Víctor M. González Suárez, Simon Bliudze
2010 C conf
Nonlinear Model Predictive Control for the Superfluid Helium Cryogenic Circuit of the Large Hadron Collider.
CCA
Rafal Noga, Toshiyuki Ohtsuka, César de Prada Moraga, Enrique Blanco Viñuela, Juan Casas Cubillos