Cláudio Gomes

92 papers A 2B 4C 4Misc 1Journal 33Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Application of FMI 3.0 Synchronous Clocks to Co-simulation of Robotic Systems. SII Santiago Gil, Alvaro Miyazawa, Ana Cavalcanti, Cláudio Gomes
2026	C	`conf`	Validity Frames for Self-Adaptive Systems. MODELSWARD Raheleh Biglari, Joachim Denil, Cláudio Gomes
2026	J	`jnl`	When Every Transmission Counts: Event-Trigger Threshold Regulation for STL Properties. IEEE Internet Things J. Valdemar Tang, Cláudio Gomes, Daniel E. Lucani
2025	A	`conf`	Comparative Study in Fault Detection under Data Scarcity for Pharmaceutical Device Manufacturing. ICCAD Fatemeh Kakavandi, Peihua Han, Tim Brix Nerenst, Roger De Reus, Cláudio Gomes, Peter Gorm Larsen
2025	J	`jnl`	Composable digital twins on Digital Twin as a Service platform. Simul. Prasad Talasila, Cláudio Gomes, Lars Bernd Vosteen, Hannes Iven, Martin Leucker, Santiago Gil, Peter Høgh Mikkelsen, Eduard Kamburjan, Peter Gorm Larsen
2025	B	`conf`	DynSRV: Dynamically Updated Properties for Stream Runtime Verification. RV Morten Haahr Kristensen, Thomas Wright, Cláudio Gomes, Lukas Esterle, Peter Gorm Larsen
2025	—	`ed.`	Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures SETSS Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
2025	J	`jnl`	FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards. CoRR Santiago Gil, Elif Ecem Bas, Christian D. Jensen, Sebastian Engelsgaard, Giuseppe Abbiati, Cláudio Gomes
2025	B	`conf`	Formal Architectural Patterns for Adaptive Robotic Software. FASE James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes
2025	J	`jnl`	Introductory Courses on Digital Twins: an Experience Report. CoRR John S. Fitzgerald, Philip James, Cláudio Gomes, Peter Gorm Larsen
2025	J	`jnl`	Modeling and simulation for software-intensive systems: from IoT to digital twins. Simul. Istvan David, Bentley Oakes, Cláudio Gomes, Guodong Shao
2025	J	`jnl`	Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. IEEE Internet Things J. Valdemar Tang, Cláudio Gomes, Daniel E. Lucani
2025	—	`conf`	Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. MODELS-C Mikkel Schmidt Andersen, Cláudio Gomes, Sophia Thompson, Peter Gorm Larsen
2025	J	`jnl`	Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. Autom. Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo
2025	J	`jnl`	Reachability analysis of FMI models using data-driven dynamic sensitivity. Simul. Sergiy Bogomolov, Cláudio Gomes, Carlos Ignacio Isasa Martin, Sadegh Soudjani, Paulius Stankaitis, Thomas Wright
2025	B	`conf`	Safe Temperature Regulation: Formally Verified and Real-World Validated. iFM Carlos Isasa, Noah Abou El Wafa, Cláudio Gomes, Peter Gorm Larsen, André Platzer
2025	J	`jnl`	Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. Simul. Santiago Gil, Bentley Oakes, Cláudio Gomes, Mirgita Frasheri, Peter Gorm Larsen
2024	J	`jnl`	Co-simulation at different levels of expertise with Maestro2. J. Syst. Softw. Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen
2024	—	`conf`	Digital Twin Engineering. ISoLA (5) John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock
2024	—	`conf`	Digital Twin Tutorial: The Incubator Case Study. SETSS Cláudio Gomes, Morten Haahr Kristensen, Mikkel Schmidt Andersen, Prasad Talasila, Hao Feng, Thomas Wright, Peter Gorm Larsen
2024	—	`conf`	Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. ISoLA (5) Istvan David, Guodong Shao, Cláudio Gomes, Dawn M. Tilbury, Bassam Zarkout
2024	J	`jnl`	Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. CoRR Valdemar Tang, Cláudio Gomes, Daniel E. Lucani
2024	J	`jnl`	Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. CoRR Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo
2024	J	`jnl`	Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project. Res. Dir. Cyber Phys. Syst. Peter Gorm Larsen, Shaukat Ali, Roland Behrens, Ana Cavalcanti, Cláudio Gomes, Guoyuan Li, Paul De Meulenaere, Mikkel Labori Olsen, Nikolaos Passalis, Thomas Peyrucain, Jesús Tapia, Anastasios Tefas, Houxiang Zhang
2024	—	`conf`	Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C 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
2024	J	`jnl`	Special Issue: Engineering of Dependable Digital Twins. Simul. Cláudio Gomes
2024	J	`jnl`	Survey on open-source digital twin frameworks-A case study approach. Softw. Pract. Exp. Santiago Gil, Peter Høgh Mikkelsen, Cláudio Gomes, Peter Gorm Larsen
2024	—	`conf`	Towards Ontological Service-Driven Engineering of Digital Twins. MoDELS (Companion) Bentley Oakes, Cláudio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard
2023	J	`jnl`	Addressing time discrepancy between digital and physical twins. Robotics Auton. Syst. Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Cláudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle
2023	J	`jnl`	Co-simulation for buildings and smart energy systems - A taxonomic review. Simul. Model. Pract. Theory Qamar Alfalouji, Thomas Schranz, Basak Falay, Sandra Wilfling, Johannes Exenberger, Thorsten Mattausch, Cláudio Gomes, Gerald Schweiger
2023	J	`jnl`	Constructing Neural Network Based Models for Simulating Dynamical Systems. ACM Comput. Surv. Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen
2023	J	`jnl`	Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. CoRR Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen
2023	—	`conf`	Error Estimators for Adaptive Scheduling Algorithm for Serial Co-Simulation. ANNSIM Emin Oguz Inci, Wim Desmet, Cláudio Gomes, Jan Croes
2023	—	`conf`	Examining Model Qualities and Their Impact on Digital Twins. ANNSIM Bentley Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald
2023	—	`ch.`	Infrastructure. Body of Knowledge for Modeling and Simulation Margaret L. Loper, Tuncer I. Ören, Cláudio Gomes, Valdemar Vicente Graciano Neto, Ernest H. Page
2023	—	`conf`	Synthesizing Orchestration Algorithms for FMI 3.0. ANNSIM Simon Thrane Hansen, Cláudio Gomes, Zahra Kazemi
2022	—	`conf`	AURT: A Tool for Dynamics Calibration of Robot Manipulators. SII Emil Madsen, Daniella Tola, Carlos Hansen, Cláudio Gomes, Peter Gorm Larsen
2022	—	`conf`	Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. ACSOS-C Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
2022	—	`conf`	Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes
2022	—	`conf`	Formally Verified Self-adaptation of an Incubator Digital Twin. ISoLA (4) Thomas Wright, Cláudio Gomes, Jim Woodcock
2022	—	`conf`	Integration Of The Mape-K Loop In Digital Twins. ANNSIM Hao Feng, Cláudio Gomes, Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Peter Gorm Larsen, Michael Sandberg
2022	C	`conf`	Product Quality Control in Assembly Machine under Data Restricted Settings. INDIN Fatemeh Kakavandi, Roger De Reus, Cláudio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen
2022	—	`ed.`	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers SEFM Workshops Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
2022	—	`conf`	Towards Easy Robot System Integration: Challenges and Future Directions. SII Daniella Tola, Emil Madsen, Cláudio Gomes, Lukas Esterle, Christian Schlette, Casper Hansen, Peter Gorm Larsen
2022	—	`conf`	Towards Secure Digital Twins. ISoLA (4) Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
2022	J	`jnl`	Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 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
2021	—	`conf`	A Family of Digital T Workflows and Architectures: Exploring Two Cases. IN4PL (Revised Selected Papers) Randy Paredis, Cláudio Gomes, Hans Vangheluwe
2021	J	`jnl`	Constructing Neural Network-Based Models for Simulating Dynamical Systems. CoRR Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen
2021	—	`conf`	Developing a Physical and Digital Twin: An Example Process Model. MoDELS (Companion) Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
2021	—	`conf`	Digital twins for collaboration and self-integration. ACSOS-C Lukas Esterle, Cláudio Gomes, Mirgita Frasheri, Henrik Ejersbo, Sven Tomforde, Peter Gorm Larsen
2021	—	`conf`	Introduction to Digital Twin Engineering. ANNSIM Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen
2021	—	`conf`	RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. RuleML+RR (Supplement) Daniella Tola, Cláudio Gomes, Carl Schultz, Christian Schlette, Casper Hansen, Lukas Esterle
2021	—	`conf`	Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol
2021	—	`conf`	The Effect and Selection of Solution Sequence in Co-Simulation. ANNSIM Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
2021	J	`jnl`	The Incubator Case Study for Digital Twin Engineering. CoRR Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen
2021	—	`conf`	Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures. IN4PL Randy Paredis, Cláudio Gomes, Hans Vangheluwe
2021	—	`conf`	Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? SEFM Workshops Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen
2021	C	`conf`	Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock
2020	B	`conf`	An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. SEFM Simon Thrane Hansen, Casper Thule, Cláudio Gomes
2020	J	`jnl`	Co-Simulation - An Empirical Survey: Applications, Recent Developments and Future Challenges. Simul. Notes Eur. Gerald Schweiger, Georg P. Engel, Josef-Peter Schoeggl, Irene Hafner, Thierry S. Nouidui, Cláudio Gomes
2020	—	`conf`	Stability of Planar Switched Systems under Delayed Event Detection. CDC Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe
2020	J	`jnl`	Stability of Planar Switched Systems under Delayed Event Detection. CoRR Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe
2020	—	`conf`	Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
2019	J	`jnl`	An Empirical Survey on Co-simulation: Promising Standards, Challenges and Research Needs. CoRR Gerald Schweiger, Cláudio Gomes, Georg P. Engel, Josef-Peter Schoeggl, Alfred Posch, Irene Hafner, Thierry Nouidu
2019	J	`jnl`	An empirical survey on co-simulation: Promising standards, challenges and research needs. Simul. Model. Pract. Theory Gerald Schweiger, Cláudio Gomes, Georg P. Engel, Irene Hafner, Josef-Peter Schoeggl, Alfred Posch, Thierry S. Nouidui
2019	Misc	`conf`	Co-Simulation of Continuous Systems: A Hands-on Approach. WSC Cláudio Gomes, Hans Vangheluwe
2019	—	`conf`	Generation of Co-simulation Algorithms Subject to Simulator Contracts. SEFM Workshops Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen
2019	C	`conf`	HintCO - Hint-based Configuration of Co-simulations. SIMULTECH Cláudio Gomes, Bentley James Oakes, Mehrdad Moradi, Alejandro Torres Gámiz, Juan Carlos Mendo, Stefan Dutré, Joachim Denil, Hans Vangheluwe
2019	J	`jnl`	Maestro: The INTO-CPS co-simulation framework. Simul. Model. Pract. Theory Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen
2019	—	`conf`	Optimizing fault injection in FMI co-simulation through sensitivity partitioning. SummerSim Mehrdad Moradi, Cláudio Gomes, Bentley James Oakes, Joachim Denil
2019	J	`jnl`	Semantic adaptation for FMI co-simulation with hierarchical simulators. Simul. Cláudio Gomes, Bart Meyers, Joachim Denil, Casper Thule, Kenneth Lausdahl, Hans Vangheluwe, Paul De Meulenaere
2019	—	`conf`	Semantics of Co-simulation Algorithms with Simulator Contracts. MoDELS (Companion) Cláudio Gomes, Levi Lúcio, Hans Vangheluwe
2019	—	`conf`	Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
2019	—	`conf`	Towards a Static Check of FMUs in VDM-SL. FM Workshops (2) Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
2018	—	`conf`	A building automation case study setup and challenges. SEsCPS@ICSE João Cambeiro, Cláudio Gomes, Vasco Amaral, Armanda Rodrigues, Jácome Cunha
2018	J	`jnl`	Co-Simulation: A Survey. ACM Comput. Surv. Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe
2018	J	`jnl`	Co-simulation of Continuous Systems: A Tutorial. CoRR Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe
2018	—	`conf`	Co-simulation: The Past, Future, and Open Challenges. ISoLA (3) Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe
2018	—	`conf`	Demo: Stabilization Technique in INTO-CPS. STAF Workshops Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe
2018	J	`jnl`	Minimally Constrained Stable Switched Systems and Application to Co-simulation. CoRR Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe
2018	—	`conf`	Minimally, Constrained Stable Switched Systems and Application to Co-Simulation. CDC Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe
2018	—	`conf`	Towards the Verification of Hybrid Co-simulation Algorithms. STAF Workshops Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe
2017	—	`conf`	Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. SEFM Workshops Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe
2017	J	`jnl`	Co-simulation: State of the art. CoRR Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe
2017	—	`conf`	Explicit modelling and synthesis of debuggers for hybrid simulation languages. SpringSim (TMS) Simon Van Mierlo, Cláudio Gomes, Hans Vangheluwe
2017	J	`jnl`	Hybrid System Modelling and Simulation with Dirac Deltas. CoRR Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe
2017	—	`conf`	Hybrid system modelling and simulation with Dirac deltas. SpringSim (TMS) Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe
2016	—	`conf`	Coupling petri nets with deterministic formalisms using co-simulation. SpringSim (TMS-DEVS) David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs
2016	—	`conf`	Foundations for Continuous Time Hierarchical Co-simulation. SRC@MoDELS Cláudio Gomes
2016	—	`conf`	Modular design of hybrid languages by explicit modeling of semantic adaptation. SpringSim (TMS-DEVS) Sadaf Mustafiz, Cláudio Gomes, Bruno Barroca, Hans Vangheluwe
2015	—	`conf`	SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe
2014	A	`conf`	Classification of Model Transformation Tools: Pattern Matching Techniques. MoDELS Cláudio Gomes, Bruno Barroca, Vasco Amaral