Classification of Model Transformation Tools: Pattern Matching Techniques. - Cláudio Gomes 001; Bruno Barroca; Vasco Amaral 001 (MoDELS, 2014)

SyVOLT: Full Model Transformation Verification Using Contracts. - Levi Lúcio; Bentley James Oakes; Cláudio Gomes 001; Gehan M. K. Selim; Juergen Dingel; James R. Cordy; Hans Vangheluwe (P&D@MoDELS, 2015)

Foundations for Continuous Time Hierarchical Co-simulation. - Cláudio Gomes 001 (SRC@MoDELS, 2016)

Coupling petri nets with deterministic formalisms using co-simulation. - David P. Y. Lawrence; Cláudio Gomes 001; Joachim Denil; Hans Vangheluwe; Didier Buchs (SpringSim (TMS-DEVS), 2016)

Modular design of hybrid languages by explicit modeling of semantic adaptation. - Sadaf Mustafiz; Cláudio Gomes 001; Bruno Barroca; Hans Vangheluwe (SpringSim (TMS-DEVS), 2016)

Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. - Cláudio Gomes 001; Paschalis Karalis; Eva M. Navarro-López; Hans Vangheluwe (SEFM Workshops, 2017)

Hybrid system modelling and simulation with Dirac deltas. - Cláudio Gomes 001; Yentl Van Tendeloo; Joachim Denil; Paul De Meulenaere; Hans Vangheluwe (SpringSim (TMS), 2017)

Explicit modelling and synthesis of debuggers for hybrid simulation languages. - Simon Van Mierlo; Cláudio Gomes 001; Hans Vangheluwe (SpringSim (TMS), 2017)

Co-simulation: State of the art. - Cláudio Gomes 001; Casper Thule; David Broman; Peter Gorm Larsen; Hans Vangheluwe (CoRR, 2017)

Minimally, Constrained Stable Switched Systems and Application to Co-Simulation. - Cláudio Gomes 001; Raphaël M. Jungers; Benoît Legat; Hans Vangheluwe (CDC, 2018)

A building automation case study setup and challenges. - João Cambeiro; Cláudio Gomes 001; Vasco Amaral 001; Armanda Rodrigues; Jácome Cunha (SEsCPS@ICSE, 2018)

Co-simulation: The Past, Future, and Open Challenges. - Cláudio Gomes 001; Casper Thule; Julien Deantoni; Peter Gorm Larsen; Hans Vangheluwe (ISoLA (3), 2018)

Demo: Stabilization Technique in INTO-CPS. - Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen; Hans Vangheluwe (STAF Workshops, 2018)

Towards the Verification of Hybrid Co-simulation Algorithms. - Casper Thule; Cláudio Gomes 001; Julien Deantoni; Peter Gorm Larsen; Jörg Brauer; Hans Vangheluwe (STAF Workshops, 2018)

Co-simulation of Continuous Systems: A Tutorial. - Cláudio Gomes 001; Casper Thule; Peter Gorm Larsen; Joachim Denil; Hans Vangheluwe (CoRR, 2018)

Co-Simulation: A Survey. - Cláudio Gomes 001; Casper Thule; David Broman; Peter Gorm Larsen; Hans Vangheluwe (ACM Comput. Surv., 2018)

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. - Peter Gorm Larsen; Hugo Daniel Macedo; Cláudio Goncalves Gomes 001; Lukas Esterle; Casper Thule; John S. Fitzgerald; Kenneth Pierce (FISEE, 2019)

Towards a Static Check of FMUs in VDM-SL. - Nick Battle; Casper Thule; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (FM Workshops (2), 2019)

Semantics of Co-simulation Algorithms with Simulator Contracts. - Cláudio Gomes 001; Levi Lúcio; Hans Vangheluwe (MoDELS (Companion), 2019)

Optimizing fault injection in FMI co-simulation through sensitivity partitioning. - Mehrdad Moradi; Cláudio Gomes 001; Bentley James Oakes; Joachim Denil (SummerSim, 2019)

Generation of Co-simulation Algorithms Subject to Simulator Contracts. - Cláudio Gomes 001; Casper Thule; Levi Lúcio; Hans Vangheluwe; Peter Gorm Larsen (SEFM Workshops, 2019)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. - Casper Thule; Maurizio Palmieri; Cláudio Gomes 001; Kenneth Lausdahl; Hugo Daniel Macedo; Nick Battle; Peter Gorm Larsen (SEFM Workshops, 2019)

HintCO - Hint-based Configuration of Co-simulations. - Cláudio Gomes 001; Bentley James Oakes; Mehrdad Moradi; Alejandro Torres Gámiz; Juan Carlos Mendo; Stefan Dutré; Joachim Denil; Hans Vangheluwe (SIMULTECH, 2019)

Co-Simulation of Continuous Systems: A Hands-on Approach. - Cláudio Gomes 001; Hans Vangheluwe (WSC, 2019)

An Empirical Survey on Co-simulation: Promising Standards, Challenges and Research Needs. - Gerald Schweiger; Cláudio Gomes 001; Georg P. Engel; Josef-Peter Schoeggl; Alfred Posch; Irene Hafner; Thierry Nouidu (CoRR, 2019)

An empirical survey on co-simulation: Promising standards, challenges and research needs. - Gerald Schweiger; Cláudio Gomes 001; Georg P. Engel; Irene Hafner; Josef-Peter Schoeggl; Alfred Posch; Thierry S. Nouidui (Simul. Model. Pract. Theory, 2019)

Maestro: The INTO-CPS co-simulation framework. - Casper Thule; Kenneth Lausdahl; Cláudio Gomes 001; Gerd Meisl; Peter Gorm Larsen (Simul. Model. Pract. Theory, 2019)

Semantic adaptation for FMI co-simulation with hierarchical simulators. - Cláudio Gomes 001; Bart Meyers; Joachim Denil; Casper Thule; Kenneth Lausdahl; Hans Vangheluwe; Paul De Meulenaere (Simul., 2019)

Property preservation in co-simulation - Cláudio Goncalves Gomes 001 (2019)

Stability of Planar Switched Systems under Delayed Event Detection. - Benoît Legat; Cláudio Gomes 001; Paschalis Karalis; Raphaël M. Jungers; Eva M. Navarro-López; Hans Vangheluwe (CDC, 2020)

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. - Jim Woodcock 001; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (ISoLA (4), 2020)

An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001 (SEFM, 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 001 (Simul. Notes Eur., 2020)

Digital twins for collaboration and self-integration. - Lukas Esterle; Cláudio Gomes 001; Mirgita Frasheri; Henrik Ejersbo; Sven Tomforde; Peter Gorm Larsen (ACSOS-C, 2021)

Introduction to Digital Twin Engineering. - Hao Feng; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Alexandros Iosifidis; Peter Gorm Larsen (ANNSIM, 2021)

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. - Simon Thrane Hansen; Cláudio Gomes 001; Peter Gorm Larsen; Jaco van de Pol (ANNSIM, 2021)

The Effect and Selection of Solution Sequence in Co-Simulation. - Emin Oguz Inci; Jan Croes; Wim Desmet; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen (ANNSIM, 2021)

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. - Simon Thrane Hansen; Cláudio Gomes 001; Maurizio Palmieri; Casper Thule; Jaco van de Pol; Jim Woodcock 001 (FMICS, 2021)

Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures. - Randy Paredis; Cláudio Gomes 001; Hans Vangheluwe (IN4PL, 2021)

A Family of Digital T Workflows and Architectures: Exploring Two Cases. - Randy Paredis; Cláudio Gomes 001; Hans Vangheluwe (IN4PL (Revised Selected Papers), 2021)

Developing a Physical and Digital Twin: An Example Process Model. - Hao Feng; Cláudio Gomes 001; Michael Sandberg; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen (MoDELS (Companion), 2021)

RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. - Daniella Tola; Cláudio Gomes 001; Carl Schultz 001; Christian Schlette; Casper Hansen; Lukas Esterle (RuleML+RR (Supplement), 2021)

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? - Hao Feng; Cláudio Gomes 001; Michael Sandberg; Hugo Daniel Macedo; Peter Gorm Larsen (SEFM Workshops, 2021)

The Incubator Case Study for Digital Twin Engineering. - Hao Feng; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Michael Sandberg; Peter Gorm Larsen (CoRR, 2021)

Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. - Lukas Esterle; Henrik Ejersbo; Mirgita Frasheri; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (ACSOS-C, 2022)

Integration Of The Mape-K Loop In Digital Twins. - Hao Feng; Cláudio Gomes 001; Santiago Gil 001; Peter Høgh Mikkelsen; Daniella Tola; Peter Gorm Larsen; Michael Sandberg (ANNSIM, 2022)

Product Quality Control in Assembly Machine under Data Restricted Settings. - Fatemeh Kakavandi; Roger De Reus; Cláudio Gomes 001; Negar Heidari; Alexandros Iosifidis; Peter Gorm Larsen (INDIN, 2022)

Engineering of Digital Twins for Cyber-Physical Systems. - John S. Fitzgerald; Peter Gorm Larsen; Tiziana Margaria; Jim Woodcock 001; Cláudio Gomes 001 (ISoLA (4), 2022)

Towards Secure Digital Twins. - Tomas Kulik; Cláudio Gomes 001; Hugo Daniel Macedo; Stefan Hallerstede; Peter Gorm Larsen (ISoLA (4), 2022)

Formally Verified Self-adaptation of an Incubator Digital Twin. - Thomas Wright; Cláudio Gomes 001; Jim Woodcock 001 (ISoLA (4), 2022)

AURT: A Tool for Dynamics Calibration of Robot Manipulators. - Emil Madsen; Daniella Tola; Carlos Hansen; Cláudio Gomes 001; Peter Gorm Larsen (SII, 2022)

Towards Easy Robot System Integration: Challenges and Future Directions. - Daniella Tola; Emil Madsen; Cláudio Gomes 001; Lukas Esterle; Christian Schlette; Casper Hansen; Peter Gorm Larsen (SII, 2022)

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Jaco van de Pol; Maurizio Palmieri; Emin Oguz Inci; Frederik Palludan Madsen; Jesus Alfonso; José Ángel Castellanos 001; José Manuel Rodriguez-Fortun (Int. J. Softw. Tools Technol. Transf., 2022)

Synthesizing Orchestration Algorithms for FMI 3.0. - Simon Thrane Hansen; Cláudio Gomes 001; Zahra Kazemi (ANNSIM, 2023)

Error Estimators for Adaptive Scheduling Algorithm for Serial Co-Simulation. - Emin Oguz Inci; Wim Desmet; Cláudio Gomes 001; Jan Croes (ANNSIM, 2023)

Examining Model Qualities and Their Impact on Digital Twins. - Bentley Oakes; Cláudio Gomes 001; Peter Gorm Larsen; Joachim Denil; Julien Deantoni; João Cambeiro; John S. Fitzgerald (ANNSIM, 2023)

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. - Prasad Talasila; Cláudio Gomes 001; Peter Høgh Mikkelsen; Santiago Gil Arboleda 001; Eduard Kamburjan; Peter Gorm Larsen (CoRR, 2023)

Infrastructure. - Margaret L. Loper; Tuncer I. Ören; Cláudio Gomes 001; Valdemar Vicente Graciano Neto; Ernest H. Page (Body of Knowledge for Modeling and Simulation, 2023)

Addressing time discrepancy between digital and physical twins. - Mirgita Frasheri; Henrik Ejersbo; Casper Thule; Cláudio Gomes 001; Jakob Levisen Kvistgaard; Peter Gorm Larsen; Lukas Esterle (Robotics Auton. Syst., 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 001; Gerald Schweiger (Simul. Model. Pract. Theory, 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 001; Alexandros Iosifidis; Mahdi Abkar; Peter Gorm Larsen (ACM Comput. Surv., 2023)

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. - Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes 001; 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; et al. (ACSOS-C, 2024)

Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. - Istvan David; Guodong Shao; Cláudio Gomes 001; Dawn M. Tilbury; Bassam Zarkout (ISoLA (5), 2024)

Digital Twin Engineering. - John S. Fitzgerald; Cláudio Gomes 001; Einar Broch Johnsen; Eduard Kamburjan; Martin Leucker; Jim Woodcock 001 (ISoLA (5), 2024)

Towards Ontological Service-Driven Engineering of Digital Twins. - Bentley Oakes; Cláudio Gomes 001; Eduard Kamburjan; Giuseppe Abbiati; Elif Ecem Bas; Sebastian Engelsgaard (MoDELS (Companion), 2024)

Digital Twin Tutorial: The Incubator Case Study. - Cláudio Gomes 001; Morten Haahr Kristensen; Mikkel Schmidt Andersen; Prasad Talasila; Hao Feng; Thomas Wright; Peter Gorm Larsen (SETSS, 2024)

Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project. - Peter Gorm Larsen; Shaukat Ali 001; Roland Behrens; Ana Cavalcanti 001; Cláudio Gomes 001; Guoyuan Li; Paul De Meulenaere; Mikkel Labori Olsen; Nikolaos Passalis; Thomas Peyrucain; Jesús Tapia; Anastasios Tefas; et al. (Res. Dir. Cyber Phys. Syst., 2024)

Special Issue: Engineering of Dependable Digital Twins. - Cláudio Gomes 001 (Simul., 2024)

Survey on open-source digital twin frameworks-A case study approach. - Santiago Gil 001; Peter Høgh Mikkelsen; Cláudio Gomes 001; Peter Gorm Larsen (Softw. Pract. Exp., 2024)

Co-simulation at different levels of expertise with Maestro2. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Kenneth Lausdahl; Frederik Palludan Madsen; Giuseppe Abbiati; Peter Gorm Larsen (J. Syst. Softw., 2024)

Formal Architectural Patterns for Adaptive Robotic Software. - James Baxter 001; Bert Van Acker; Morten Haahr Kristensen; Thomas Wright; Ana Cavalcanti 001; Cláudio Gomes 001 (FASE, 2025)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. - Valdemar Tang; Cláudio Gomes 001; Daniel E. Lucani (IEEE Internet Things J., 2025)

Reachability analysis of FMI models using data-driven dynamic sensitivity. - Sergiy Bogomolov; Cláudio Gomes 001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright (Simul., 2025)

Modeling and simulation for software-intensive systems: from IoT to digital twins. - Istvan David; Bentley Oakes; Cláudio Gomes 001; Guodong Shao (Simul., 2025)

Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. - Santiago Gil 001; Bentley Oakes; Cláudio Gomes 001; Mirgita Frasheri; Peter Gorm Larsen (Simul., 2025)

Composable digital twins on Digital Twin as a Service platform. - Prasad Talasila; Cláudio Gomes 001; Lars Bernd Vosteen; Hannes Iven; Martin Leucker; Santiago Gil 001; Peter Høgh Mikkelsen; Eduard Kamburjan; Peter Gorm Larsen (Simul., 2025)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. - Julien Deantoni; Paula Muñoz 001; Cláudio Gomes 001; Clark Verbrugge; Rakshit Mittal; Robert Heinrich; Stijn Bellis; Antonio Vallecillo (Autom., 2025)