Cludio Gomes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
16
Active years
2002–2026
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Digital Twins: a Briefing for Formalists. | John S. Fitzgerald, Cludio Gomes, Peter Gorm Larsen, Mikkel Schmidt Andersen, Santiago Gil, Morten Haahr Kristensen |
| 2026 | MODELSWARD | Validity Frames for Self-Adaptive Systems. | Raheleh Biglari, Joachim Denil, Cludio Gomes |
| 2025 | FASE | Formal Architectural Patterns for Adaptive Robotic Software. | James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cludio Gomes |
| 2025 | IFM | Safe Temperature Regulation: Formally Verified and Real-World Validated. | Carlos Isasa, Noah Abou El Wafa, Cludio Gomes, Peter Gorm Larsen, Andr Platzer |
| 2025 | MODELS | Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. | Mikkel Schmidt Andersen, Cludio Gomes, Sophia Thompson, Peter Gorm Larsen |
| 2025 | SMC | LIGA: a LIghtweight CNN architecture designed to classify popular music Genres from the Amazonian region. | Cludio Gomes, Tsang Ing Ren |
| 2025 | RV | DynSRV: Dynamically Updated Properties for Stream Runtime Verification. | Morten Haahr Kristensen, Thomas Wright, Cludio Gomes, Lukas Esterle, Peter Gorm Larsen |
| 2024 | ISoLA | Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. | Istvan David, Guodong Shao, Cludio Gomes, Dawn M. Tilbury, Bassam Zarkout |
| 2024 | ISoLA | Digital Twin Engineering. | John S. Fitzgerald, Cludio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock |
| 2024 | MODELS | Towards Ontological Service-Driven Engineering of Digital Twins. | Bentley Oakes, Cludio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard |
| 2022 | INDIN | Product Quality Control in Assembly Machine under Data Restricted Settings. | Fatemeh Kakavandi, Roger De Reus, Cludio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen |
| 2022 | ISoLA | Engineering of Digital Twins for Cyber-Physical Systems. | John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cludio Gomes |
| 2022 | ISoLA | Towards Secure Digital Twins. | Tomas Kulik, Cludio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen |
| 2022 | ISoLA | Formally Verified Self-adaptation of an Incubator Digital Twin. | Thomas Wright, Cludio Gomes, Jim Woodcock |
| 2021 | FMICS | Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. | Simon Thrane Hansen, Cludio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock |
| 2021 | MODELS | Developing a Physical and Digital Twin: An Example Process Model. | Hao Feng, Cludio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen |
| 2021 | SEFM | Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? | Hao Feng, Cludio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2020 | ISoLA | Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. | Jim Woodcock, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2020 | QCE | Off-the-shelf Components for Quantum Programming and Testing. | Cludio Gomes, Daniel Fortunato, Joo Paulo Fernandes, Rui Abreu |
| 2020 | SEFM | An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. | Simon Thrane Hansen, Casper Thule, Cludio Gomes |
| 2019 | FM | Towards a Static Check of FMUs in VDM-SL. | Nick Battle, Casper Thule, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2019 | MODELS | Semantics of Co-simulation Algorithms with Simulator Contracts. | Cludio Gomes, Levi Lcio, Hans Vangheluwe |
| 2019 | WSC | Co-Simulation of Continuous Systems: A Hands-on Approach. | Cludio Gomes, Hans Vangheluwe |
| 2019 | SEFM | Generation of Co-simulation Algorithms Subject to Simulator Contracts. | Cludio Gomes, Casper Thule, Levi Lcio, Hans Vangheluwe, Peter Gorm Larsen |
| 2019 | SEFM | Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. | Casper Thule, Maurizio Palmieri, Cludio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen |
| 2019 | SIMULTECH | HintCO - Hint-based Configuration of Co-simulations. | Cludio Gomes, Bentley James Oakes, Mehrdad Moradi, Alejandro Torres Gmiz, Juan Carlos Mendo, Stefan Dutr, Joachim Denil, Hans Vangheluwe |
| 2018 | ICSE | A building automation case study setup and challenges. | Joo Cambeiro, Cludio Gomes, Vasco Amaral, Armanda Rodrigues, Jcome Cunha |
| 2018 | ISoLA | Co-simulation: The Past, Future, and Open Challenges. | Cludio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe |
| 2017 | SEFM | Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. | Cludio Gomes, Paschalis Karalis, Eva M. Navarro-Lpez, Hans Vangheluwe |
| 2016 | MODELS | Foundations for Continuous Time Hierarchical Co-simulation. | Cludio Gomes |
| 2015 | MODELS | SyVOLT: Full Model Transformation Verification Using Contracts. | Levi Lcio, Bentley James Oakes, Cludio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe |
| 2014 | MODELS | Classification of Model Transformation Tools: Pattern Matching Techniques. | Cludio Gomes, Bruno Barroca, Vasco Amaral |
| 2002 | CSCWD | Reliable Framework Architecture for Multi-Agents Systems Interaction. | Eugnio C. Oliveira, Guilherme A. S. Pereira, Cludio Gomes |