Concepedia

Gustavo Quirós

GQ

5

Publications

98

Citations

5

H-Index

2008

Active since

Affiliations

Siemens (United States)(Current)

University of California, Irvine

RWTH Aachen University

Gustavo Quirós is an author at Siemens (United States) specializing in systems engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal VerificationAutomationFormal MethodsSoftware DesignProgram AnalysisSoftware Analysis

Publications per year

2008–2024

5

Publications

5

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems

Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas et al. · 2024 · 36 citations · Full text

Dispersed Automation for Industrial Internet of Things

Gustavo Quirós, Diansong Cao, Arquimedes Canedo · IEEE Transactions on Automation Science and Engineering · 2020 · 23 citations

Web Of Thing, Engineering, Computer Architecture +18

Modeling and simulation of cyberattacks for resilient cyber-physical systems

Nafiul Rashid, Wan Jiang, Gustavo Quirós et al. · 2017 · 18 citations

Cybersecurity, Engineering, Cyber Attacks +19

An IEC-61131-based rule system for integrated automation engineering: Concept and case study

Gustavo Quirós, Ulrich Epple · 2011 · 11 citations

Engineering, Industrial Engineering, Software Engineering +24

Function blocks for decentralised analysis of product flow paths

Gustavo Quirós, Martin Mertens, Ulrich Epple · 2008 · 10 citations

Mathematical Programming, Petri Net, Engineering +22

Rows per page

1–5 of 5