Gustavo Quiros

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 9

Top Topics

Oriented Programming

Industrial Automation

Manufacturing Processes

Top Venues

IEEE Trans Autom. Sci. Eng.

Publications

Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas, Gustavo Quiros, Oluwatosin Ogundare, Mohammad Abdullah Al Faruque
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems. ICSE-SEIP (2024)
Angeline Aguinaldo, Jacob Bunker, Blake S. Pollard, Ankit Shukla, Arquimedes Canedo, Gustavo Quiros, William Regli
RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming. IEEE Trans Autom. Sci. Eng. 19 (3) (2022)
Arquimedes Canedo, Palash Goyal, Di Huang, Amit Pandey, Gustavo Quiros
ArduCode: Predictive Framework for Automation Engineering. IEEE Trans Autom. Sci. Eng. 18 (3) (2021)
Gustavo Quiros, Diansong Cao, Arquimedes Canedo
Dispersed Automation for Industrial Internet of Things. IEEE Trans Autom. Sci. Eng. 17 (3) (2020)
Nafiul Rashid, Gustavo Quiros, Mohammad Abdullah Al Faruque
A Survivability-Aware Cyber-Physical Systems Design Methodology. CASE (2019)
Gustavo Quiros, András Varró, Patrick Eisen, Frank Roelofs, Peter Kob
Automatic Skill Matching for Production Machines. CASE (2018)
Gustavo Quiros, Diansong Cao, Arquimedes Canedo
Dispersed automation for industrial Internet of Things - An enabler for advanced manufacturing. CASE (2017)
Nafiul Rashid, Jiang Wan, Gustavo Quiros, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Modeling and simulation of cyberattacks for resilient cyber-physical systems. CASE (2017)
Arquimedes Canedo, Gustavo Quiros, Sanjeev Srivastava
Cloud simulation mashups. ETFA (2017)
Liyong Yu, Gustavo Quiros, Tina Krausser, Ulrich Epple
IEC 61131-3 + ACPLT = Dynamic Reconfigurable Models. Softwaretechnik-Trends 32 (2) (2012)
Gustavo Quiros, Reiner Jorewitz, Ulrich Epple
Model-based Safety Monitoring of Product Flow Paths. Simul. Notes Eur. 21 (1) (2011)
Liyong Yu, Gustavo Quiros, Ulrich Epple
Service-oriented process control for complex multifunctional plants: Concept and case study. ETFA (2010)
Gustavo Quiros, Ulrich Epple
Model-based Decentralised Management of Product Flow Paths. MBEES (2010)
Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). it Inf. Technol. 51 (4) (2009)
Gustavo Quiros, Martin Mertens, Ulrich Epple
Function blocks for decentralised analysis of product flow paths. ETFA (2008)