81 citations · 168 across the 16 of their papers we have counts for
6 papers · 1 filter
State of the Art Report: Verified Computation
Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha +8
This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) S…
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users
Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen +3
Establishing digital twins is a non-trivial endeavour especially when users face significant challenges in creating them from scratch. Ready availability of reusable models, data a…
Model-Based Monitoring and State Estimation for Digital Twins: The Kalman Filter
Hao Feng, Cláudio Gomes, Peter Gorm Larsen
A digital twin (DT) monitors states of the physical twin (PT) counterpart and provides a number of benefits such as advanced visualizations, fault detection capabilities, and reduc…
Bidirectional UML Visualisation of VDM Models
Jonas Lund, Lucas Bjarke Jensen, Nick Battle +2
The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already e…
VDM recursive functions in Isabelle/HOL
Leo Freitas, Peter Gorm Larsen
For recursive functions general principles of induction needs to be applied. Instead of verifying them directly using the Vienna Development Method Specification Language (VDM-SL),…
Modelling Chess in VDM++
Morten Haahr Kristensen, Peter Gorm Larsen
The game of chess is well-known and widely played all over the world. However, the rules for playing it are rather complex since there are different types of pieces and the ways th…