Enrique Blanco Viñuela

Statistics

Publications

Citations

279

H-Index

Active since

2011

Affiliations

European Organization for Nuclear Research(Current)

Universidad de Oviedo

Budapest University of Technology and Economics

École Polytechnique Fédérale de Lausanne

RMIT University

Enrique Blanco Viñuela is an author at European Organization for Nuclear Research specializing in computer science, formal methods, and specification languages.

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 · 77 citations · Full text

Computing, Computer Engineering, Computer Science +17

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 · 66 citations · Full text

Natural Sciences, Physics, Nuclear Physics +14

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

Computing, Computer Science, Systems Engineering +12

PLC Program Translation for Verification Purposes

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

Computing, Computer Engineering, Computer Science +14

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

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

Engineering, Computational Engineering, Heat Transfer +9

1–5 of 11