65 citations · 66 across the 7 of their papers we have counts for
6 papers · 1 filter
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
Gustavo Quiros A., Yi Peng Zhu, Tao Cui +3
This report is a compilation of technical knowledge and concepts that were produced by the authors and additional contributors in the context of the collaboration projects "Abstrac…
Bridging the PLC Binary Analysis Gap: A Cross-Compiler Dataset and Neural Framework for Industrial Control Systems
Yonatan Gizachew Achamyeleh, Shih-Yuan Yu, Gustavo Quirós Araya +1
Industrial Control Systems (ICS) rely heavily on Programmable Logic Controllers (PLCs) to manage critical infrastructure, yet analyzing PLC executables remains challenging due to d…
LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models
Mohamad Fakih, Rahul Dharmaji, Halima Bouzidi +3
Software vulnerabilities continue to be ubiquitous, even in the era of AI-powered code assistants, advanced static analysis tools, and the adoption of extensive testing frameworks.…
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas +3
Although Large Language Models (LLMs) have established pre-dominance in automated code generation, they are not devoid of shortcomings. The pertinent issues primarily relate to the…
Resiliency Analysis of LLM generated models for Industrial Automation
Oluwatosin Ogundare, Gustavo Quiros Araya, Ioannis Akrotirianakis +1
This paper proposes a study of the resilience and efficiency of automatically generated industrial automation and control systems using Large Language Models (LLMs). The approach i…
No Code AI: Automatic generation of Function Block Diagrams from documentation and associated heuristic for context-aware ML algorithm training
Oluwatosin Ogundare, Gustavo Quiros Araya, Yassine Qamsane
Industrial process engineering and PLC program development have traditionally favored Function Block Diagram (FBD) programming over classical imperative style programming like the…