activity
20232025
most citedLLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems

65 citations · 66 across the 7 of their papers we have counts for

collaborators

7 papers

cs.SE2025

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…

cs.SE2025

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…

cs.SE2025

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.…

cs.SE2024★ 65 cited

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…

cs.SE2023

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…

cs.SE2023★ 1 cited

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…

cs.CL2023

Comparative Analysis of CHATGPT and the evolution of language models

Oluwatosin Ogundare, Gustavo Quiros Araya

Interest in Large Language Models (LLMs) has increased drastically since the emergence of ChatGPT and the outstanding positive societal response to the ease with which it performs…