Borja Fernandez Adiego
According to our database1,
Borja Fernandez Adiego
authored at least 10 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
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
CoRR, 2022
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.
CoRR, 2022
2021
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
IEEE Trans. Ind. Informatics, 2015
2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013