36 citations · 36 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
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…
cs.SE2023★ 36 cited
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…