Borja Fernández Adiego

Statistics

Publications

Citations

148

H-Index

Active since

2011

Affiliations

European Organization for Nuclear Research(Current)

Universidad de Oviedo

RMIT University

École Polytechnique Fédérale de Lausanne

Borja Fernández Adiego is an author at European Organization for Nuclear Research specializing in computer science, model checking, and formal methods.

Publications per year

2011–2015

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

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

PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques

Dániel Darvas, Enrique Blanco Viñuela, Borja Fernández Adiego · CERN Document Server (European Organization for Nuclear Research) · 2015 · 18 citations · Full text

Computing, Computer Engineering, Computer Science +14

Modelling and Formal Verification of Timing Aspects in Large PLC Programs

Borja Fernández Adiego, Dániel Darvas, Enrique Blanco Viñuela et al. · IFAC Proceedings Volumes · 2014 · 12 citations · Full text

Engineering, Computer Engineering, Computer Science +16

Model-based automated testing of critical PLC programs

Borja Fernández Adiego, Enrique Blanco Viñuela, Víctor M. González et al. · 2013 · 11 citations · Full text

Engineering, Computer Science, Systems Engineering +15

1–5 of 6