Borja Fernández Adiego

Statistics

Publications

Citations

145

H-Index

Active since

2011

Affiliations

European Organization for Nuclear Research(Current)

Universidad de Oviedo

RMIT University

Borja Fernández Adiego is an author at European Organization for Nuclear Research specializing in systems engineering, program analysis, and computer science.

Top concepts

EngineeringProcess ControlComputer ScienceProgram AnalysisSoftware AnalysisSystems EngineeringVerificationFormal MethodsSoftware DesignFormal Verification

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

Engineering, Verification, Computer-aided Verification +21

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

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

Dániel Darvas, Enrique Blanco Viñuela, Borja Fernández Adiego · CERN Bulletin · 2015 · 18 citations · Full text

Program Checking, Engineering, Verification +21

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, Verification, Software Engineering +17

Model-based automated testing of critical PLC programs

Borja Fernández Adiego, Enrique Blanco Viñuela · 2013 · 10 citations · Full text

1–5 of 6