Borja Fernández Adiego

Bringing Automated Model Checking to PLC Program Development - a CERN Case Study

Borja Fernández Adiego, Dániel Darvas, Jean-Charles Tournier, 2014, WODES.

JACoW : Experience with static PLC code analysis at CERN

Borja Fernández Adiego, Enrique Blanco Vinuela, Christina Tsiplaki Spiliopoulou, 2018 .

Modelling and Formal Verification of Timing Aspects in Large PLC Programs

Jan Olaf Blech, Borja Fernández Adiego, Dániel Darvas, 2014 .

PLCverif: A TOOL TO VERIFY PLC PROGRAMS BASED ON MODEL CHECKING TECHNIQUES

Borja Fernández Adiego, Dániel Darvas, Enrique Blanco Vinuela, 2015 .

Automated Formal Verification for PLC Control Systems

Borja Fernández Adiego, 2014 .

Bringing automated formal verification to PLC program development

Borja Fernández Adiego, 2015 .

Applying Model Checking to Industrial-Sized

Jan Olaf Blech, Simon Bliudze, Borja Fernández Adiego, 2015 .

JACoW : Applying model checking to critical PLC applications : An ITER case study

Gyula Sallai, Borja Fernández Adiego, Dániel Darvas, 2018 .

Simplification of Numeric Variables for PLC Model Checking

Borja Fernández Adiego, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar, 2021, 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).