Cláudio Gomes

According to our database, Cláudio Gomes authored at least 70 papers between 2014 and 2024.

Collaborative distances:

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

2024

Co-simulation at different levels of expertise with Maestro2.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen

J. Syst. Softw., March, 2024

Survey on open-source digital twin frameworks-A case study approach.

Santiago Gil, Peter Høgh Mikkelsen, Cláudio Gomes, Peter Gorm Larsen

Softw. Pract. Exp., 2024

Special Issue: Engineering of Dependable Digital Twins.

Cláudio Gomes

Simul., 2024

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation.

Valdemar Tang, Cláudio Gomes, Daniel Lucani

CoRR, 2024

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems.

Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo

CoRR, 2024

Towards Ontological Service-Driven Engineering of Digital Twins.

Bentley J. Oakes, Cláudio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Digital Twin Engineering.

John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions.

Istvan David, Guodong Shao, Cláudio Gomes, Dawn M. Tilbury, Bassam Zarkout

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.

Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023

Constructing Neural Network Based Models for Simulating Dynamical Systems.

Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen

ACM Comput. Surv., November, 2023

Co-simulation for buildings and smart energy systems - A taxonomic review.

Qamar Alfalouji, Thomas Schranz, Basak Falay, Sandra Wilfling, Johannes Exenberger, Thorsten Mattausch, Cláudio Gomes, Gerald Schweiger

Simul. Model. Pract. Theory, July, 2023

Addressing time discrepancy between digital and physical twins.

Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Cláudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle

Robotics Auton. Syst., March, 2023

Infrastructure.

Margaret L. Loper, Tuncer I. Ören, Cláudio Gomes, Valdemar Vicente Graciano Neto, Ernest H. Page

Proceedings of the Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International, 2023

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users.

Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen

CoRR, 2023

Examining Model Qualities and Their Impact on Digital Twins.

Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald

Proceedings of the Annual Modeling and Simulation Conference, 2023

Error Estimators for Adaptive Scheduling Algorithm for Serial Co-Simulation.

Emin Oguz Inci, Wim Desmet, Cláudio Gomes, Jan Croes

Proceedings of the Annual Modeling and Simulation Conference, 2023

Synthesizing Orchestration Algorithms for FMI 3.0.

Simon Thrane Hansen, Cláudio Gomes, Zahra Kazemi

Proceedings of the Annual Modeling and Simulation Conference, 2023

2022

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun

Int. J. Softw. Tools Technol. Transf., 2022

Towards Easy Robot System Integration: Challenges and Future Directions.

Daniella Tola, Emil Madsen, Cláudio Gomes, Lukas Esterle, Christian Schlette, Casper Hansen, Peter Gorm Larsen

Proceedings of the IEEE/SICE International Symposium on System Integration, 2022

AURT: A Tool for Dynamics Calibration of Robot Manipulators.

Emil Madsen, Daniella Tola, Carlos Hansen, Cláudio Gomes, Peter Gorm Larsen

Proceedings of the IEEE/SICE International Symposium on System Integration, 2022

Formally Verified Self-adaptation of an Incubator Digital Twin.

Thomas Wright, Cláudio Gomes, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Towards Secure Digital Twins.

Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Engineering of Digital Twins for Cyber-Physical Systems.

John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Product Quality Control in Assembly Machine under Data Restricted Settings.

Fatemeh Kakavandi, Roger De Reus, Cláudio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Integration Of The Mape-K Loop In Digital Twins.

Hao Feng, Cláudio Gomes, Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Peter Gorm Larsen, Michael Sandberg

Proceedings of the Annual Modeling and Simulation Conference, 2022

Digital Twins for Autonomous Intelligent Systems: From Development to Deployment.

Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

The Incubator Case Study for Digital Twin Engineering.

Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen

CoRR, 2021

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?

Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

RoboCIM: Towards a Domain Model for Industrial Robot System Configurators.

Daniella Tola, Cláudio Gomes, Carl Schultz, Christian Schlette, Casper Hansen, Lukas Esterle

Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021

Developing a Physical and Digital Twin: An Example Process Model.

Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

A Family of Digital T Workflows and Architectures: Exploring Two Cases.

Randy Paredis, Cláudio Gomes, Hans Vangheluwe

Proceedings of the Innovative Intelligent Industrial Production and Logistics, 2021

Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures.

Randy Paredis, Cláudio Gomes, Hans Vangheluwe

Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, 2021

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.

Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

The Effect and Selection of Solution Sequence in Co-Simulation.

Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Annual Modeling and Simulation Conference, 2021

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling.

Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol

Proceedings of the Annual Modeling and Simulation Conference, 2021

Introduction to Digital Twin Engineering.

Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen

Proceedings of the Annual Modeling and Simulation Conference, 2021

Digital twins for collaboration and self-integration.

Lukas Esterle, Cláudio Gomes, Mirgita Frasheri, Henrik Ejersbo, Sven Tomforde, Peter Gorm Larsen

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Co-Simulation - An Empirical Survey: Applications, Recent Developments and Future Challenges.

Gerald Schweiger, Georg P. Engel, Josef-Peter Schoeggl, Irene Hafner, Thierry S. Nouidui, Cláudio Gomes

Simul. Notes Eur., 2020

An FMI-Based Initialization Plugin for INTO-CPS Maestro 2.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins.

Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Stability of Planar Switched Systems under Delayed Event Detection.

Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Property preservation in co-simulation

Cláudio Goncalves Gomes

PhD thesis, 2019

Semantic adaptation for FMI co-simulation with hierarchical simulators.

Cláudio Gomes, Bart Meyers, Joachim Denil, Casper Thule, Kenneth Lausdahl, Hans Vangheluwe, Paul De Meulenaere

Simul., 2019

Maestro: The INTO-CPS co-simulation framework.

Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen

Simul. Model. Pract. Theory, 2019

An empirical survey on co-simulation: Promising standards, challenges and research needs.

Gerald Schweiger, Cláudio Gomes, Georg P. Engel, Irene Hafner, Josef-Peter Schoeggl, Alfred Posch, Thierry S. Nouidui

Simul. Model. Pract. Theory, 2019

An Empirical Survey on Co-simulation: Promising Standards, Challenges and Research Needs.

Gerald Schweiger, Cláudio Gomes, Georg P. Engel, Josef-Peter Schoeggl, Alfred Posch, Irene Hafner, Thierry Nouidu

CoRR, 2019

Co-Simulation of Continuous Systems: A Hands-on Approach.

Cláudio Gomes, Hans Vangheluwe

Proceedings of the 2019 Winter Simulation Conference, 2019

HintCO - Hint-based Configuration of Co-simulations.

Cláudio Gomes, Bentley James Oakes, Mehrdad Moradi, Alejandro Torres Gámiz, Juan Carlos Mendo, Stefan Dutré, Joachim Denil, Hans Vangheluwe

Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, 2019

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.

Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Generation of Co-simulation Algorithms Subject to Simulator Contracts.

Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Optimizing fault injection in FMI co-simulation through sensitivity partitioning.

Mehrdad Moradi, Cláudio Gomes, Bentley James Oakes, Joachim Denil

Proceedings of the 2019 Summer Simulation Conference, 2019

Semantics of Co-simulation Algorithms with Simulator Contracts.

Cláudio Gomes, Levi Lúcio, Hans Vangheluwe

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards a Static Check of FMUs in VDM-SL.

Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.

Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Co-Simulation: A Survey.

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe

ACM Comput. Surv., 2018

Co-simulation of Continuous Systems: A Tutorial.

Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe

CoRR, 2018

Towards the Verification of Hybrid Co-simulation Algorithms.

Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe

Proceedings of the Software Technologies: Applications and Foundations, 2018

Demo: Stabilization Technique in INTO-CPS.

Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe

Proceedings of the Software Technologies: Applications and Foundations, 2018

Co-simulation: The Past, Future, and Open Challenges.

Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

A building automation case study setup and challenges.

João Cambeiro, Cláudio Gomes, Vasco Amaral, Armanda Rodrigues, Jácome Cunha

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Minimally, Constrained Stable Switched Systems and Application to Co-Simulation.

Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Co-simulation: State of the art.

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe

CoRR, 2017

Explicit modelling and synthesis of debuggers for hybrid simulation languages.

Simon Van Mierlo, Cláudio Gomes, Hans Vangheluwe

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

Hybrid system modelling and simulation with Dirac deltas.

Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios.

Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe

Proceedings of the Software Engineering and Formal Methods, 2017

2016

Modular design of hybrid languages by explicit modeling of semantic adaptation.

Sadaf Mustafiz, Cláudio Gomes, Bruno Barroca, Hans Vangheluwe

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Coupling petri nets with deterministic formalisms using co-simulation.

David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Foundations for Continuous Time Hierarchical Co-simulation.

Cláudio Gomes

Proceedings of the ACM Student Research Competition at MODELS 2016 co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015

SyVOLT: Full Model Transformation Verification Using Contracts.

Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014

Classification of Model Transformation Tools: Pattern Matching Techniques.

Cláudio Gomes, Bruno Barroca, Vasco Amaral

Proceedings of the Model-Driven Engineering Languages and Systems, 2014