Borja Fernandez Adiego

According to our database1, Borja Fernandez Adiego authored at least 10 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.
Proceedings of the Engineering Applications of Neural Networks, 2023

2022
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller.
CoRR, 2022

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.
CoRR, 2022

2021
Simplification of numeric variables for PLC model checking.
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2015
Applying Model Checking to Industrial-Sized PLC Programs.
IEEE Trans. Ind. Informatics, 2015

2014
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Formal Verification of Complex Properties on PLC Programs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013
Model-based automated testing of critical PLC programs.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013


  Loading...