Projects per year
Personal profile
Keywords
- Communication protocols and network
- Model-based development
- Modeling and Simulation
- Control Systems
Areas of expertise
- Subject area
- co-simulation
- Digital twins
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 3 Active
-
RoboSAPIENS: Robotic Safe AdaPtation In unprEcedeNted Situations
Gonçalves Gomes, C. Â. (PI) & Larsen, P. G. (PI)
01/01/2024 → 31/12/2026
Project: Research
-
DIGIT-BENCH: Digital Twins for Large-Scale Test Benches for the Wind Industry
Abbiati, G. (PI), Larsen, P. G. (PI) & Gonçalves Gomes, C. Â. (PI)
01/03/2023 → 28/02/2026
Project: Research
-
DLTE: Demonstration of LifeTime Extension Concept
Abbiati, G. (PI), Gonçalves Gomes, C. Â. (PI) & Larsen, P. G. (PI)
01/12/2022 → 31/05/2025
Project: Research
Research output
-
Composable digital twins on Digital Twin as a Service platform
Talasila, P., Gomes, C., Vosteen, L. B., Iven, H., Leucker, M., Gil, S., Mikkelsen, P. H., Kamburjan, E. & Larsen, P. G., Mar 2025, In: Simulation. 101, 3, p. 287-311 25 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
1 Citation (Scopus) -
Digital Twin Engineering
Fitzgerald, J., Gomes, C., Johnsen, E. B., Kamburjan, E., Leucker, M. & Woodcock, J., 2025, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-8 6 p. (Lecture Notes in Computer Science, Vol. 15223 LNCS).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Digital Twin Tutorial: The Incubator Case Study
Gomes, C., Kristensen, M. H., Andersen, M. S., Talasila, P., Feng, H., Wright, T. & Larsen, P. G., 2025, Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Tutorial Lectures. Bowen, J. P., Gomes, C. & Liu, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 68-101 34 p. (Lecture Notes in Computer Science, Vol. 15584).Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review
-
Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions
David, I., Shao, G., Gomes, C., Tilbury, D. & Zarkout, B., 2025, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 27-46 20 p. (Lecture Notes in Computer Science, Vol. 15223 LNCS).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
2 Citations (Scopus) -
Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
Evans, V. T., Gomes, C. & Lucani Rötter, D. E., Feb 2025, In: IEEE Internet of Things Journal. 12, 3, p. 2674-2689 16 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Prizes
-
2nd Place ACM Student Research Competition
Gomes, C. (Recipient), 2016
Prize: Prizes, scholarships, distinctions
-
Best student paper award @ SIMULTECH 2019
Gonçalves Gomes, C. Â. (Recipient), 31 Jul 2019
Prize: Prizes, scholarships, distinctions
-
-
FWO Travel Grant to Carnegie Mellon University
Gomes, C. (Recipient), 2019
Prize: Prizes, scholarships, distinctions
-
Courses
-
-
-
Software Design
Kirk, H. B., Loft, M. S., Jakobsen, F. B., Gonçalves Gomes, C. Â. & Rasmussen, A. M. H. 01/09/2017 → …
Course: Teaching