Gustavo Quiros Araya

20 papers C 2Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Bridging the Binary Analysis Gap: A Cross-Compiler Dataset and Neural Framework for Industrial Control Systems.
KDD (2)
Yonatan Gizachew Achamyeleh, Shih-Yuan Yu, Gustavo Quiros Araya, Mohammad Abdullah Al Faruque
2025 J jnl
Bridging the PLC Binary Analysis Gap: A Cross-Compiler Dataset and Neural Framework for Industrial Control Systems.
CoRR
Yonatan Gizachew Achamyeleh, Shih-Yuan Yu, Gustavo Quiros Araya, Mohammad Abdullah Al Faruque
2025 J jnl
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation.
CoRR
Gustavo Quiros Araya, Yi Peng Zhu, Tao Cui, Shaokai Lin, Marten Lohstroh, Edward A. Lee
2025 C conf
LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models.
DSD
Mohamad Fakih, Rahul Dharmaji, Halima Bouzidi, Gustavo Quiros Araya, Oluwatosin Ogundare, Mst-Ayesha Siddika, Mohammad Abdullah Al Faruque
2025 J jnl
LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models.
CoRR
Mohamad Fakih, Rahul Dharmaji, Halima Bouzidi, Gustavo Quiros Araya, Oluwatosin Ogundare, Mohammad Abdullah Al Faruque
2024 — conf
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca.
ICSE Companion
Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
2024 J jnl
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca.
CoRR
Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
2024 — conf
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems.
ICSE-SEIP
Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas, Gustavo Quiros Araya, Oluwatosin Ogundare, Mohammad Abdullah Al Faruque
2024 J jnl
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems.
CoRR
Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas, Gustavo Quiros Araya, Oluwatosin Ogundare, Mohammad Abdullah Al Faruque
2023 J jnl
Comparative Analysis of CHATGPT and the evolution of language models.
CoRR
Oluwatosin Ogundare, Gustavo Quiros Araya
2023 J jnl
No Code AI: Automatic generation of Function Block Diagrams from documentation and associated heuristic for context-aware ML algorithm training.
CoRR
Oluwatosin Ogundare, Gustavo Quiros Araya, Yassine Qamsane
2023 J jnl
Resiliency Analysis of LLM generated models for Industrial Automation.
CoRR
Oluwatosin Ogundare, Gustavo Quiros Araya, Ioannis Akrotirianakis, Ankit Shukla
2022 J jnl
RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming.
IEEE Trans Autom. Sci. Eng.
Angeline Aguinaldo, Jacob Bunker, Blake S. Pollard, Ankit Shukla, Arquimedes Canedo, Gustavo Quiros Araya, William Regli
2021 J jnl
ArduCode: Predictive Framework for Automation Engineering.
IEEE Trans Autom. Sci. Eng.
Arquimedes Canedo, Palash Goyal, Di Huang, Amit Pandey, Gustavo Quiros Araya
2020 J jnl
Dispersed Automation for Industrial Internet of Things.
IEEE Trans Autom. Sci. Eng.
Gustavo Quiros Araya, Diansong Cao, Arquimedes Canedo
2019 — conf
A Survivability-Aware Cyber-Physical Systems Design Methodology.
CASE
Nafiul Rashid, Gustavo Quiros Araya, Mohammad Abdullah Al Faruque
2018 — conf
Automatic Skill Matching for Production Machines.
CASE
Gustavo Quiros Araya, András Varró, Patrick Eisen, Frank Roelofs, Peter Kob
2017 C conf
Cloud simulation mashups.
ETFA
Arquimedes Canedo, Gustavo Quiros Araya, Sanjeev Srivastava
2017 — conf
Dispersed automation for industrial Internet of Things - An enabler for advanced manufacturing.
CASE
Gustavo Quiros Araya, Diansong Cao, Arquimedes Canedo
2017 — conf
Modeling and simulation of cyberattacks for resilient cyber-physical systems.
CASE
Nafiul Rashid, Jiang Wan, Gustavo Quiros Araya, Arquimedes Canedo, Mohammad Abdullah Al Faruque