Gustavo Quiros

Orcid: 0000-0001-5689-3969

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems.
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.
IEEE Trans Autom. Sci. Eng., 2022

2021
ArduCode: Predictive Framework for Automation Engineering.
IEEE Trans Autom. Sci. Eng., 2021

2020
Dispersed Automation for Industrial Internet of Things.
IEEE Trans Autom. Sci. Eng., 2020

2019
A Survivability-Aware Cyber-Physical Systems Design Methodology.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
Automatic Skill Matching for Production Machines.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

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

Modeling and simulation of cyberattacks for resilient cyber-physical systems.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Dispersed automation for industrial Internet of Things - An enabler for advanced manufacturing.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2012
IEC 61131-3 + ACPLT = Dynamic Reconfigurable Models.
Softwaretechnik-Trends, 2012

2011
Model-based Safety Monitoring of Product Flow Paths.
Simul. Notes Eur., 2011

2010
Model-based Decentralised Management of Product Flow Paths.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Service-oriented process control for complex multifunctional plants: Concept and case study.
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)").
it Inf. Technol., 2009

2008
Function blocks for decentralised analysis of product flow paths.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008


  Loading...