Filter
Konferencebidrag i proceedings

Søgeresultater

  • 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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsFormidling

  • Towards Ontological Service-Driven Engineering of Digital Twins

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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. (red.). Cham: Springer, s. 93-109 17 s. (Communications in Computer and Information Science, Bind 1855).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    1 Citationer (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. (red.). IEEE, s. 73-83 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). IEEE, s. 220-232 13 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    4 Citationer (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. (red.). IEEE, s. 184-195 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer 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, s. 190-195 6 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    5 Citationer (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. (red.). Springer, s. 431-439 9 s. (Lecture Notes in Mechanical Engineering).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    1 Citationer (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, s. 53-54 2 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Cham: Springer, s. 89-109 21 s. (Lecture Notes in Computer Science, Bind 13704).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

    7 Citationer (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. (red.). IEEE, s. 102-113 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    22 Citationer (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, s. 735-741 7 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    2 Citationer (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, s. 77-82 6 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    6 Citationer (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. (red.). Cham: Springer, s. 159-176 18 s. (Lecture Notes in Computer Science, Bind 13704).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    6 Citationer (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. (red.). Cham: Springer, s. 143-155 13 s. (Lecture Notes in Computer Science, Bind 13230).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Cham: Springer, s. 295-310 16 s. (Lecture Notes in Computer Science, Bind 12524).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    8 Citationer (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. (red.). Springer, s. 431-439 9 s. (Lecture Notes in Mechanical Engineering).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer 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, s. 286-295 10 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    6 Citationer (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. (red.). IEEE, s. 172-177 6 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    16 Citationer (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. (red.). Springer, s. 1-28 28 s. (Advances in Intelligent Systems and Computing, Bind 1260 AISC).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    7 Citationer (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. (red.). IEEE, s. 1-12 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    32 Citationer (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. (red.). s. 1-2 2 s. (Simulation Series; Nr. 2, Bind 53).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsFormidling

  • 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. (red.). CEUR-WS.org, 12 s. (CEUR Workshop Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    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. (red.). s. 287-295 9 s. (Linköping Electronic Conference Proceedings, Bind 181).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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. (red.). IEEE, s. 62-73 12 s. (Simulation Series; Nr. 2, Bind 53).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    9 Citationer (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. (red.). IEEE, s. 1-12 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    4 Citationer (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. (red.). s. 27-36 10 s. (Linköping Electronic Conference Proceedings, Bind 181).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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. (red.). s. 17-26 10 s. (Linköping Electronic Conference Proceedings, Bind 181).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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. (red.). SCITEPRESS Digital Library, s. 174-182 9 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    13 Citationer (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. (red.). Cham: Springer, s. 72-87 16 s. (Lecture Notes in Computer Science, Bind 12479).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    11 Citationer (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. (red.). Springer, s. 3-20 18 s. (Lecture Notes in Computer Science, Bind 12863).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    6 Citationer (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, s. 149-158 10 s. (Linköping Electronic Conference Proceedings; Nr. 16, Bind 169).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Cham: Springer, s. 196-213 18 s. (Lecture Notes in Computer Science, Bind 12271). (Programming and Software Engineering, Bind 12271).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  • Generation of Co-simulation Algorithms Subject to Simulator Contracts

    Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H. & Larsen, P. G., sep. 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. (red.). Springer, s. 34-49 16 s. (Lecture Notes in Computer Science (LNCS), Bind 12226). (Programming and Software Engineering, Bind 12226).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    5 Citationer (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. (red.). Cham: Springer, s. 50-66 17 s. (Lecture Notes in Computer Science, Bind 12226).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    14 Citationer (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. s. 57-68 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    19 Citationer (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, s. 5676-5681 6 s. 8619223

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    7 Citationer (Scopus)
  • Stable Adaptive Co-simulation: A Switched Systems Approach

    Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H., 15 maj 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. (red.). Springer, s. 81-97 17 s. (IUTAM Bookseries, Bind 35).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    3 Citationer (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. (red.). Springer, Bind 8767. s. 619-635 16 s. (Lecture Notes in Computer Science, Bind 8767).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    9 Citationer (Scopus)