Cláudio Ângelo Gonçalves Gomes

View Scopus Profile

Cláudio Ângelo Gonçalves Gomes

 https://orcid.org/0000-0003-2692-9742

  • Helsingforsgade 10, 5123, 425

    8200 Aarhus N

    Denmark

20142025

Research activity per year

Filter
Article in proceedings

Search results

  • 2024

    Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service

    Kristensen, M. H., Bonizzi, A., Gomes, C., Hansen, S. T., Isasa Martin, C. I., Iven, H., Kamburjan, E., Larsen, P. G., Leucker, M., Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B. & Wright, T. D., 2 Dec 2024, 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). IEEE

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Communication

  • Towards Ontological Service-Driven Engineering of Digital Twins

    Oakes, B., Gomes, C., Abbiati, G., Kamburjan, E., Bas, E. E. & Engelsgaard, S., 31 Oct 2024, Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery, Inc., p. 464-469 6 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access
  • 2023

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

    Paredis, R., Gomes, C. & Vangheluwe, H., Jul 2023, Innovative Intelligent Industrial Production and Logistics: First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers. Smirnov, A., Panetto, H. & Madani, K. (eds.). Cham: Springer, p. 93-109 17 p. (Communications in Computer and Information Science, Vol. 1855).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    1 Citation (Scopus)

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

    Inci, E. O., Desmet, W., Gomes, C. & Croes, J., Jun 2023, 2023 Annual Modeling and Simulation Conference (ANNSIM). Blas, M. J. & Alvarez, G. (eds.). IEEE, p. 73-83 11 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Examining Model Qualities and Their Impact on Digital Twins

    Oakes, B. J., Gomes, C., Larsen, P. G., Denil, J., Deantoni, J., Cambeiro, J. & Fitzgerald, J., 2023, 2023 Annual Modeling and Simulation Conference (ANNSIM). Blas, M. J. & Alvarez, G. (eds.). IEEE, p. 220-232 13 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    4 Citations (Scopus)

  • Synthesizing Orchestration Algorithms for FMI 3.0

    Hansen, S. T., Gomes, C. & Kazemi, Z., Jul 2023, 2023 Annual Modeling and Simulation Conference (ANNSIM). Blas, M. J. & Alvarez, G. (eds.). IEEE, p. 184-195 12 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • 2022

    AURT: A Tool for Dynamics Calibration of Robot Manipulators

    Madsen, E., Tola, D., Hansen, C., Gomes, C. & Larsen, P. G., Jan 2022, 2022 IEEE/SICE International Symposium on System Integration, SII 2022. IEEE, p. 190-195 6 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    5 Citations (Scopus)

  • Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds

    Böttjer, T., Ørnskov Rønsch, G., Gomes, C., Ramanujan, D., Iosifidis, A. & Larsen, P. G., 2022, Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems - Proceedings of the 8th Changeable, Agile, Reconfigurable and Virtual Production Conference CARV 2021 and 10th World Mass Customization and Personalization Conference MCPC 2021. Andersen, A.-L., Andersen, R., Brunoe, T. D., Stoettrup Schioenning Larsen, M., Nielsen, K., Napoleone, A. & Kjeldgaard, S. (eds.). Springer, p. 431-439 9 p. (Lecture Notes in Mechanical Engineering).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    1 Citation (Scopus)

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

    Esterle, L., Ejersbo, H., Frasheri, M., Gomes, C., Macedo, H. D. & Larsen, P. G., Nov 2022, Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022. IEEE, p. 53-54 2 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Formally Verified Self-adaptation of an Incubator Digital Twin

    Wright, T., Gomes, C. & Woodcock, J., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 89-109 21 p. (Lecture Notes in Computer Science, Vol. 13704).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research

    8 Citations (Scopus)

  • Integration Of The Mape-K Loop In Digital Twins

    Feng, H., Gomes, C., Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Larsen, P. G. & Sandberg, M., 2022, Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM . Martin, C. R., Emami, N., Blas, M. J. & Rezaee, R. (eds.). IEEE, p. 102-113 12 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    24 Citations (Scopus)

  • Product Quality Control in Assembly Machine under Data Restricted Settings

    Kakavandi, F., de Reus, R., Gomes, C., Heidari, N., Iosifidis, A. & Larsen, P. G., Dec 2022, 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022. IEEE, p. 735-741 7 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    2 Citations (Scopus)

  • Towards Easy Robot System Integration: Challenges and Future Directions

    Tola, D., Madsen, E., Gomes, C., Esterle, L., Schlette, C., Hansen, C. & Larsen, P. G., 2022, 2022 IEEE/SICE International Symposium on System Integration (SII). IEEE, p. 77-82 6 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    7 Citations (Scopus)

  • Towards Secure Digital Twins

    Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 159-176 18 p. (Lecture Notes in Computer Science, Vol. 13704).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    6 Citations (Scopus)

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

    Feng, H., Gomes, C., Sandberg, M., Macedo, H. D. & Larsen, P. G., 2022, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Cerone, A., Autili, M., Bucaioni, A., Gomes, C., Graziani, P., Palmieri, M., Temperini, M. & Venture, G. (eds.). Cham: Springer, p. 143-155 13 p. (Lecture Notes in Computer Science, Vol. 13230).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • 2021

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

    Hansen, S. T., Thule, C. & Gomes, C., 2021, Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops. Cleophas, L. & Massink, M. (eds.). Cham: Springer, p. 295-310 16 p. (Lecture Notes in Computer Science, Vol. 12524).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    8 Citations (Scopus)

  • Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds

    Böttjer, T., Ørnskov Rønsch, G., Gonçalves Gomes, C. Â., Ramanujan, D., Iosifidis, A. & Larsen, P. G., 2021, Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems: Proceedings of the Changeable, Agile, Reconfigurable and Virtual Production Conference and the World Mass Customization & Personalization Conference. Andersen, A.-L., Andersen, R., Brunoe, D., Stoettrup Schioenning Larsen, M., Nielsen, K., Napoleone, A. & Kjeldgaard, S. (eds.). Springer, p. 431-439 9 p. (Lecture Notes in Mechanical Engineering).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

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

    Feng, H., Gomes, C., Sandberg, M., Thule, C., Lausdahl, K. & Larsen, P. G., 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. IEEE, p. 286-295 10 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    6 Citations (Scopus)

  • Digital twins for collaboration and self-integration

    Esterle, L., Gomes, C., Frasheri, M., Ejersbo, H., Tomforde, S. & Larsen, P. G., 18 Nov 2021, Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021. El-Araby, E., Kalogeraki, V., Pianini, D., Lassabe, F., Porter, B., Ghahremani, S., Nunes, I., Bakhouya, M. & Tomforde, S. (eds.). IEEE, p. 172-177 6 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    16 Citations (Scopus)

  • Hint-based configuration of co-simulations with algebraic loops

    Oakes, B. J., Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H., 1 Jan 2021, Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers. Obaidat, M. S., Obaidat, M. S., Obaidat, M. S., Ören, T. & Szczerbicka, H. (eds.). Springer, p. 1-28 28 p. (Advances in Intelligent Systems and Computing, Vol. 1260 AISC).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    7 Citations (Scopus)

  • Introduction to Digital Twin Engineering

    Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A. & Larsen, P. G., Jul 2021, 2021 Annual Modeling and Simulation Conference (ANNSIM). Martin, C. R., Blas, M. J. & Psijas, A. I. (eds.). IEEE, p. 1-12 12 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    34 Citations (Scopus)

  • Model-based monitoring and state estimation for digital twins: The Kalman filter

    Feng, H., Gomes, C., Iosifidis, A. & Larsen, P. G., 2021, Annual Modeling and Simulation Conference (ANNSIM 2021). Martin, C. R., Blas, M. J. & Psijas, A. I. (eds.). p. 1-2 2 p. (Simulation Series; No. 2, Vol. 53).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Communication

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

    Tola, D., Gonçalves Gomes, C. Â., Schultz, C. P. L., Schlette, C., Hansen, C. & Esterle, L., 2021, 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. Soylu, A., Nezhad, A. T., Nikolov, N., Toma, I., Fensel, A. & Vennekens, J. (eds.). CEUR-WS.org, 12 p. (CEUR Workshop Proceedings).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    36 Downloads (Pure)

  • Seismic Hybrid Testing using FMI-based Co-Simulation

    Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G., 2021, Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 . Sjölund, M., Buffoni, L., Pop, A. & Ochel, L. (eds.). p. 287-295 9 p. (Linköping Electronic Conference Proceedings, Vol. 181).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access

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

    Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J., Jul 2021, 2021 Annual Modeling and Simulation Conference (ANNSIM). Martin, C. R., Blas, M. J. & Psijas, A. I. (eds.). IEEE, p. 62-73 12 p. (Simulation Series; No. 2, Vol. 53).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    9 Citations (Scopus)

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

    Inci, E. O., Croes, J., Desmet, W., Gomes, C., Thule, C., Lausdahl, K. & Larsen, P. G., Jul 2021, 2021 Annual Modeling and Simulation Conference (ANNSIM). Martin, C. R., Blas, M. J. & Psijas, A. I. (eds.). IEEE, p. 1-12 12 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    4 Citations (Scopus)

  • The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations

    Gonçalves Gomes, C. Â., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A., 2021, Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 . Sjölund, M., Buffoni, L., Pop, A. & Ochel, L. (eds.). p. 27-36 10 p. (Linköping Electronic Conference Proceedings, Vol. 181).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access

  • The Functional Mock-up Interface 3.0 - New Features Enabling New Applications

    Junghanns, A., Blochwitz, T., Bertsch, C., Sommer, T., Wernersson, K., Pillekeit, A., Zacharias, I., Blesken, M., Mai, P. R., Schuch, K., Schulze, C., Gonçalves Gomes, C. Â. & Najafi, M., 2021, Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 . Sjölund, M., Buffoni, L., Pop, A. & Ochel, L. (eds.). p. 17-26 10 p. (Linköping Electronic Conference Proceedings, Vol. 181).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access

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

    Paredis, R., Gonçalves Gomes, C. Â. & Vangheluwe, H., 2021, Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021. Panetto, H., Macchi, M. & Madani, K. (eds.). SCITEPRESS Digital Library, p. 174-182 9 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    14 Citations (Scopus)

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

    Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G., 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 72-87 16 p. (Lecture Notes in Computer Science, Vol. 12479).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    12 Citations (Scopus)
    79 Downloads (Pure)

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

    Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J., 2021, Formal Methods for Industrial Critical Systems. Lafuente, A. L. & Mavridou, A. (eds.). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science, Vol. 12863).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    6 Citations (Scopus)
  • 2020

    Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units

    Gomes, C., Franceschini, R., Battle, N., Thule, C., Lausdahl, K., Vangheluwe, H. & Larsen, P. G., 2020, Proceedings of the American Modelica Conference 2020. Linköping: Linköping University Electronic Press, p. 149-158 10 p. (Linköping Electronic Conference Proceedings; No. 16, Vol. 169).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

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

    Larsen, P. G., Macedo, H. D., Gonçalves Gomes, C. Â., Esterle, L., Thule, C., Fitzgerald, J. & Pierce, K., 2020, Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019. Bruel, J.-M., Capozucca, A., Mazzara, M., Meyer, B., Naumchev, A. & Sadovykh, A. (eds.). Cham: Springer, p. 196-213 18 p. (Lecture Notes in Computer Science, Vol. 12271). (Programming and Software Engineering, Vol. 12271).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Generation of Co-simulation Algorithms Subject to Simulator Contracts

    Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H. & Larsen, P. G., Sept 2020, Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers. Camara, J. & Steffen, M. (eds.). Springer, p. 34-49 16 p. (Lecture Notes in Computer Science (LNCS), Vol. 12226). (Programming and Software Engineering, Vol. 12226).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    5 Citations (Scopus)

  • Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks

    Thule, C., Palmieri, M., Gomes, C., Lausdahl, K., Macedo, H. D., Battle, N. & Larsen, P. G., 2020, Software Engineering and Formal Methods. Camara, J. & Steffen, M. (eds.). Cham: Springer, p. 50-66 17 p. (Lecture Notes in Computer Science, Vol. 12226).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    14 Citations (Scopus)
  • 2019

    HintCO - Hint-Based Configuration of Co-Simulations

    Gomes, C., Oakes, B. J., Moradi, M., Torres Gamiz, A., Mendo, J. C., Dutre, S., Denil, J. & Vangheluwe, H., 2019, SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. p. 57-68 12 p.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    19 Citations (Scopus)

  • Minimally Constrained Stable Switched Systems and Application to Co-simulation

    Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H., 21 Jan 2019, 2018 IEEE Conference on Decision and Control (CDC) . IEEE, p. 5676-5681 6 p. 8619223

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    7 Citations (Scopus)

  • Stable Adaptive Co-simulation: A Switched Systems Approach

    Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H., 15 May 2019, IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017. Schweizer, B. (ed.). Springer, p. 81-97 17 p. (IUTAM Bookseries, Vol. 35).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    3 Citations (Scopus)
  • 2014

    Classification of Model Transformation Tools: Pattern Matching Techniques

    Gomes, C., Barroca, B. & Amaral, V., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings. Dingel, J., Schulte, W., Ramos, I., Abrahao, S. & Insfran, E. (eds.). Springer, Vol. 8767. p. 619-635 16 p. (Lecture Notes in Computer Science, Vol. 8767).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    9 Citations (Scopus)