default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCláudio Gomes 0001
Cláudio Goncalves Gomes 0001
Person information
- affiliation: Aarhus University, Denmark
Other persons with the same name
- Cláudio Gomes 0002 — University of Porto, Portugal
- Cláudio Gomes 0003
![[0000-0001-6292-0222]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-6292-0222")
(aka: Cláudio Filipe Prata Gomes) — Carnegie Mellon University, Pittsburgh, PA, USA (and 1 more)
SPARQL queries 
🛈 Please note that only 73% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j13]Valdemar Tang, Cláudio Gomes, Daniel E. Lucani:
Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. IEEE Internet Things J. 12(3): 2674-2689 (2025)- 2024
- [j12]Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen:
Co-simulation at different levels of expertise with Maestro2. J. Syst. Softw. 209: 111905 (2024) - [j11]Cláudio Gomes:
Special Issue: Engineering of Dependable Digital Twins. Simul. 100(9): 885 (2024) - [j10]Santiago Gil, Peter Høgh Mikkelsen, Cláudio Gomes, Peter Gorm Larsen:
Survey on open-source digital twin frameworks-A case study approach. Softw. Pract. Exp. 54(6): 929-960 (2024) - [c49]Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, 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, Lars Bernd Vosteen, Thomas Wright:
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C 2024: 121-127 - [c48]John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock:
Digital Twin Engineering. ISoLA (5) 2024: 3-8 - [c47]Istvan David, Guodong Shao, Cláudio Gomes, Dawn M. Tilbury, Bassam Zarkout:
Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. ISoLA (5) 2024: 27-46 - [c46]Bentley J. Oakes, Cláudio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard:
Towards Ontological Service-Driven Engineering of Digital Twins. MoDELS (Companion) 2024: 464-469 - [i11]Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo:
Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. CoRR abs/2402.10535 (2024) - [i10]Valdemar Tang, Cláudio Gomes, Daniel E. Lucani:
Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. CoRR abs/2408.14473 (2024) - 2023
- [j9]Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen:
Constructing Neural Network Based Models for Simulating Dynamical Systems. ACM Comput. Surv. 55(11): 236:1-236:34 (2023) - [j8]Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Cláudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle:
Addressing time discrepancy between digital and physical twins. Robotics Auton. Syst. 161: 104347 (2023) - [j7]Qamar Alfalouji, Thomas Schranz, Basak Falay, Sandra Wilfling, Johannes Exenberger, Thorsten Mattausch, Cláudio Gomes, Gerald Schweiger:
Co-simulation for buildings and smart energy systems - A taxonomic review. Simul. Model. Pract. Theory 126: 102770 (2023) - [c45]Emin Oguz Inci, Wim Desmet, Cláudio Gomes, Jan Croes:
Error Estimators for Adaptive Scheduling Algorithm for Serial Co-Simulation. ANNSIM 2023: 73-83 - [c44]Simon Thrane Hansen, Cláudio Gomes, Zahra Kazemi:
Synthesizing Orchestration Algorithms for FMI 3.0. ANNSIM 2023: 184-195 - [c43]Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald:
Examining Model Qualities and Their Impact on Digital Twins. ANNSIM 2023: 220-232 - [r1]Margaret L. Loper, Tuncer I. Ören, Cláudio Gomes, Valdemar Vicente Graciano Neto, Ernest H. Page:
Infrastructure. Body of Knowledge for Modeling and Simulation 2023: 149-165 - [i9]Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen:
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. CoRR abs/2305.07244 (2023) - 2022
- [j6]Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun:
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 24(6): 999-1024 (2022) - [c42]Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. ACSOS-C 2022: 53-54 - [c41]Hao Feng, Cláudio Gomes, Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Peter Gorm Larsen, Michael Sandberg:
Integration Of The Mape-K Loop In Digital Twins. ANNSIM 2022: 102-113 - [c40]Fatemeh Kakavandi, Roger De Reus, Cláudio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen:
Product Quality Control in Assembly Machine under Data Restricted Settings. INDIN 2022: 735-741 - [c39]John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2022: 3-8 - [c38]Thomas Wright, Cláudio Gomes, Jim Woodcock:
Formally Verified Self-adaptation of an Incubator Digital Twin. ISoLA (4) 2022: 89-109 - [c37]Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen:
Towards Secure Digital Twins. ISoLA (4) 2022: 159-176 - [c36]Daniella Tola, Emil Madsen, Cláudio Gomes, Lukas Esterle, Christian Schlette, Casper Hansen, Peter Gorm Larsen:
Towards Easy Robot System Integration: Challenges and Future Directions. SII 2022: 77-82 - [c35]Emil Madsen, Daniella Tola, Carlos Hansen, Cláudio Gomes, Peter Gorm Larsen:
AURT: A Tool for Dynamics Calibration of Robot Manipulators. SII 2022: 190-195 - [e1]Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture:
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13230, Springer 2022, ISBN 978-3-031-12428-0 [contents] - 2021
- [c34]Lukas Esterle, Cláudio Gomes, Mirgita Frasheri, Henrik Ejersbo, Sven Tomforde, Peter Gorm Larsen:
Digital twins for collaboration and self-integration. ACSOS-C 2021: 172-177 - [c33]Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen:
Introduction to Digital Twin Engineering. ANNSIM 2021: 1-12 - [c32]Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol:
Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM 2021: 1-12 - [c31]Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen:
The Effect and Selection of Solution Sequence in Co-Simulation. ANNSIM 2021: 1-12 - [c30]Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock:
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS 2021: 3-20 - [c29]Randy Paredis, Cláudio Gomes, Hans Vangheluwe:
A Family of Digital T Workflows and Architectures: Exploring Two Cases. IN4PL (Revised Selected Papers) 2021: 93-109 - [c28]Randy Paredis, Cláudio Gomes, Hans Vangheluwe:
Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures. IN4PL 2021: 174-182 - [c27]Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen:
Developing a Physical and Digital Twin: An Example Process Model. MoDELS (Companion) 2021: 286-295 - [c26]Daniella Tola, Cláudio Gomes, Carl Schultz, Christian Schlette, Casper Hansen, Lukas Esterle:
RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. RuleML+RR (Supplement) 2021 - [c25]Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen:
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? SEFM Workshops 2021: 143-155 - [i8]Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen:
The Incubator Case Study for Digital Twin Engineering. CoRR abs/2102.10390 (2021) - [i7]Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen:
Constructing Neural Network-Based Models for Simulating Dynamical Systems. CoRR abs/2111.01495 (2021) - 2020
- [j5]Gerald Schweiger, Georg P. Engel, Josef-Peter Schoeggl, Irene Hafner, Thierry S. Nouidui, Cláudio Gomes:
Co-Simulation - An Empirical Survey: Applications, Recent Developments and Future Challenges. Simul. Notes Eur. 30(2): 73-76 (2020) - [c24]Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe:
Stability of Planar Switched Systems under Delayed Event Detection. CDC 2020: 5792-5797 - [c23]Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) 2020: 72-87 - [c22]Simon Thrane Hansen, Casper Thule, Cláudio Gomes:
An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. SEFM 2020: 295-310 - [i6]Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe:
Stability of Planar Switched Systems under Delayed Event Detection. CoRR abs/2009.04505 (2020)
2010 – 2019
- 2019
- [b1]Cláudio Goncalves Gomes:
Property preservation in co-simulation. University of Antwerp, Belgium, 2019 - [j4]Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen:
Maestro: The INTO-CPS co-simulation framework. Simul. Model. Pract. Theory 92: 45-61 (2019) - [j3]Gerald Schweiger, Cláudio Gomes, Georg P. Engel, Irene Hafner, Josef-Peter Schoeggl, Alfred Posch, Thierry S. Nouidui:
An empirical survey on co-simulation: Promising standards, challenges and research needs. Simul. Model. Pract. Theory 95: 148-163 (2019) - [j2]Cláudio Gomes, Bart Meyers, Joachim Denil, Casper Thule, Kenneth Lausdahl, Hans Vangheluwe, Paul De Meulenaere:
Semantic adaptation for FMI co-simulation with hierarchical simulators. Simul. 95(3) (2019) - [c21]Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce:
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. FISEE 2019: 196-213 - [c20]Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Towards a Static Check of FMUs in VDM-SL. FM Workshops (2) 2019: 272-288 - [c19]Cláudio Gomes, Levi Lúcio, Hans Vangheluwe:
Semantics of Co-simulation Algorithms with Simulator Contracts. MoDELS (Companion) 2019: 784-789 - [c18]Mehrdad Moradi, Cláudio Gomes, Bentley James Oakes, Joachim Denil:
Optimizing fault injection in FMI co-simulation through sensitivity partitioning. SummerSim 2019: 32:1-32:12 - [c17]Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen:
Generation of Co-simulation Algorithms Subject to Simulator Contracts. SEFM Workshops 2019: 34-49 - [c16]Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen:
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops 2019: 50-66 - [c15]Cláudio Gomes, Bentley James Oakes, Mehrdad Moradi, Alejandro Torres Gámiz, Juan Carlos Mendo, Stefan Dutré, Joachim Denil, Hans Vangheluwe:
HintCO - Hint-based Configuration of Co-simulations. SIMULTECH 2019: 57-68 - [c14]Cláudio Gomes, Hans Vangheluwe:
Co-Simulation of Continuous Systems: A Hands-on Approach. WSC 2019: 1469-1481 - [i5]Gerald Schweiger, Cláudio Gomes, Georg P. Engel, Josef-Peter Schoeggl, Alfred Posch, Irene Hafner, Thierry Nouidu:
An Empirical Survey on Co-simulation: Promising Standards, Challenges and Research Needs. CoRR abs/1901.06262 (2019) - 2018
- [j1]Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe:
Co-Simulation: A Survey. ACM Comput. Surv. 51(3): 49:1-49:33 (2018) - [c13]Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe:
Minimally, Constrained Stable Switched Systems and Application to Co-Simulation. CDC 2018: 5676-5681 - [c12]João Cambeiro, Cláudio Gomes, Vasco Amaral, Armanda Rodrigues, Jácome Cunha:
A building automation case study setup and challenges. SEsCPS@ICSE 2018: 41-44 - [c11]Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe:
Co-simulation: The Past, Future, and Open Challenges. ISoLA (3) 2018: 504-520 - [c10]Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe:
Towards the Verification of Hybrid Co-simulation Algorithms. STAF Workshops 2018: 5-20 - [c9]Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe:
Demo: Stabilization Technique in INTO-CPS. STAF Workshops 2018: 45-51 - [i4]Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe:
Minimally Constrained Stable Switched Systems and Application to Co-simulation. CoRR abs/1809.02648 (2018) - [i3]Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe:
Co-simulation of Continuous Systems: A Tutorial. CoRR abs/1809.08463 (2018) - 2017
- [c8]Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe:
Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. SEFM Workshops 2017: 345-360 - [c7]Simon Van Mierlo, Cláudio Gomes, Hans Vangheluwe:
Explicit modelling and synthesis of debuggers for hybrid simulation languages. SpringSim (TMS) 2017: 4:1-4:12 - [c6]Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe:
Hybrid system modelling and simulation with Dirac deltas. SpringSim (TMS) 2017: 7:1-7:12 - [i2]Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe:
Co-simulation: State of the art. CoRR abs/1702.00686 (2017) - [i1]Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe:
Hybrid System Modelling and Simulation with Dirac Deltas. CoRR abs/1702.04274 (2017) - 2016
- [c5]Cláudio Gomes:
Foundations for Continuous Time Hierarchical Co-simulation. SRC@MoDELS 2016 - [c4]David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs:
Coupling petri nets with deterministic formalisms using co-simulation. SpringSim (TMS-DEVS) 2016: 6 - [c3]Sadaf Mustafiz, Cláudio Gomes, Bruno Barroca, Hans Vangheluwe:
Modular design of hybrid languages by explicit modeling of semantic adaptation. SpringSim (TMS-DEVS) 2016: 29 - 2015
- [c2]Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe:
SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS 2015: 24-27 - 2014
- [c1]Cláudio Gomes, Bruno Barroca, Vasco Amaral:
Classification of Model Transformation Tools: Pattern Matching Techniques. MoDELS 2014: 619-635
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
