Enrique Blanco Viuela
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2013–2023
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | EANN | Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. | Ignacio D. Lopez-Miguel, Borja Fernndez Adiego, Faiq Ghawash, Enrique Blanco Viuela |
| 2021 | MEMOCODE | Simplification of numeric variables for PLC model checking. | Ignacio D. Lopez-Miguel, Borja Fernndez Adiego, Jean-Charles Tournier, Enrique Blanco Viuela, Juan A. Rodrguez-Aguilar |
| 2016 | INDIN | PLC code generation based on a formal specification language. | Dniel Darvas, Enrique Blanco Viuela, Istvn Majzik |
| 2016 | IFM | Formal Verification of Safety PLC Based Control Software. | Dniel Darvas, Istvn Majzik, Enrique Blanco Viuela |
| 2014 | FORTE | Formal Verification of Complex Properties on PLC Programs. | Dniel Darvas, Borja Fernandez Adiego, Andrs Vrs, Tams Bartha, Enrique Blanco Viuela, Vctor M. Gonzlez Surez |
| 2013 | INDIN | Model-based automated testing of critical PLC programs. | Borja Fernandez Adiego, Enrique Blanco Viuela, Vctor M. Gonzlez Surez, Simon Bliudze |