Gustavo Quiros

According to our database, Gustavo Quiros authored at least 15 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas, Gustavo Quiros, Oluwatosin Ogundare, Mohammad Abdullah Al Faruque

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2022

RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming.

Angeline Aguinaldo, Jacob Bunker, Blake S. Pollard, Ankit Shukla, Arquimedes Canedo, Gustavo Quiros, William Regli

IEEE Trans Autom. Sci. Eng., 2022

2021

ArduCode: Predictive Framework for Automation Engineering.

Arquimedes Canedo, Palash Goyal, Di Huang, Amit Pandey, Gustavo Quiros

IEEE Trans Autom. Sci. Eng., 2021

2020

Dispersed Automation for Industrial Internet of Things.

Gustavo Quiros, Diansong Cao, Arquimedes Canedo

IEEE Trans Autom. Sci. Eng., 2020

2019

A Survivability-Aware Cyber-Physical Systems Design Methodology.

Nafiul Rashid, Gustavo Quiros, Mohammad Abdullah Al Faruque

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Automatic Skill Matching for Production Machines.

Gustavo Quiros, András Varró, Patrick Eisen, Frank Roelofs, Peter Kob

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

Cloud simulation mashups.

Arquimedes Canedo, Gustavo Quiros, Sanjeev Srivastava

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Modeling and simulation of cyberattacks for resilient cyber-physical systems.

Nafiul Rashid, Jiang Wan, Gustavo Quiros, Arquimedes Canedo, Mohammad Abdullah Al Faruque

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Dispersed automation for industrial Internet of Things - An enabler for advanced manufacturing.

Gustavo Quiros, Diansong Cao, Arquimedes Canedo

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2012

IEC 61131-3 + ACPLT = Dynamic Reconfigurable Models.

Liyong Yu, Gustavo Quiros, Tina Krausser, Ulrich Epple

Softwaretechnik-Trends, 2012

2011

Model-based Safety Monitoring of Product Flow Paths.

Gustavo Quiros, Reiner Jorewitz, Ulrich Epple

Simul. Notes Eur., 2011

2010

Model-based Decentralised Management of Product Flow Paths.

Gustavo Quiros, Ulrich Epple

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Service-oriented process control for complex multifunctional plants: Concept and case study.

Liyong Yu, Gustavo Quiros, Ulrich Epple

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)").

Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels

it Inf. Technol., 2009

2008

Function blocks for decentralised analysis of product flow paths.

Gustavo Quiros, Martin Mertens, Ulrich Epple

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008