36 citations · 39 across the 4 of their papers we have counts for
3 papers · 1 filter
Verification of Digital Twins using Classical and Statistical Model Checking
Raghavendran Gunasekaran, Boudewijn Haverkort
With the increasing adoption of digital techniques, the concept of digital twin (DT) has received a widespread attention in both industry and academia. While several definitions ex…
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study
Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran +3
Digital twins (DT) are often defined as a pairing of a physical entity and a corresponding virtual entity (VE), mimicking certain aspects of the former depending on the use-case. I…
Challenges for modelling and analysis in embedded systems and systems-of-systems design
Boudewijn R. Haverkort
Over the last decade we have witnessed an increasing use of data processing in embedded systems. Where in the past the data processing was limited (if present at all) to the handli…