Enrique Blanco Viñuela

Statistics

Publications

Citations

270

H-Index

Active since

2011

Affiliations

European Organization for Nuclear Research(Current)

Universidad de Oviedo

Budapest University of Technology and Economics

RMIT University

Enrique Blanco Viñuela is an author at European Organization for Nuclear Research specializing in engineering, program analysis, and computer engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSystems EngineeringComputer EngineeringVerificationFormal MethodsFormal VerificationSoftware Engineering

Publications per year

2011–2017

Publications

Applying Model Checking to Industrial-Sized PLC Programs

Borja Fernández Adiego, Dániel Darvas, Enrique Blanco Viñuela et al. · IEEE Transactions on Industrial Informatics · 2015 · 75 citations · Full text

Engineering, Verification, Computer-aided Verification +21

AWAKE readiness for the study of the seeded self-modulation of a 400 GeV proton bunch

P. Muggli, E. Adli, R. Apsimon et al. · Plasma Physics and Controlled Fusion · 2017 · 61 citations · Full text

Bringing Automated Model Checking to PLC Program Development — A CERN Case Study —

Borja Fernández Adiego, Dániel Darvas, Jean-Charles Tournier et al. · IFAC Proceedings Volumes · 2014 · 20 citations · Full text

Program Checking, Engineering, Verification +16

PLC Program Translation for Verification Purposes

Dániel Darvas, István Majzik, Enrique Blanco Viñuela · Periodica Polytechnica Electrical Engineering and Computer Science · 2017 · 19 citations · Full text

Program Checking, Plc Program Translation, Engineering +21

Example of cryogenic process simulation using EcosimPro: LHC beam screen cooling circuits

Benjamin Bradu, Enrique Blanco Viñuela, Philippe Gayet · Cryogenics · 2012 · 18 citations

Lhc Beam Screen, Engineering, Cryogenics +11

Rows per page

1–5 of 11