36 citations · 39 across the 4 of their papers we have counts for
4 papers
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…
Evaluating load balancing policies for performance and energy-efficiency
Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort
Nowadays, more and more increasingly hard computations are performed in challenging fields like weather forecasting, oil and gas exploration, and cryptanalysis. Many of such comput…
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…