research
∙
08/29/2023
State of the Art Report: Verified Computation
This report describes the state of the art in verifiable computation. Th...
share
research
∙
05/12/2023
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users
Establishing digital twins is a non-trivial endeavour especially when us...
research
∙
04/13/2023
Bidirectional UML Visualisation of VDM Models
The VDM-PlantUML Plugin enables translations between the text based UML ...
research
∙
03/18/2023
Modelling Chess in VDM++
The game of chess is well-known and widely played all over the world. Ho...
research
∙
12/15/2022
Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins
Digital twin technology is an essential approach to managing the lifecyc...
research
∙
11/02/2021
Constructing Neural Network-Based Models for Simulating Dynamical Systems
Dynamical systems see widespread use in natural sciences like physics, b...
research
∙
09/03/2021
A Survey of Practical Formal Methods for Security
In today's world, critical infrastructure is often controlled by computi...
research
∙
08/06/2021
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions
The Language Server Protocol (LSP) changed the field of Integrated Devel...
research
∙
05/05/2020
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems
Businesses, particularly small and medium-sized enterprises, aiming to s...
research
∙
09/22/2018
Co-simulation of Continuous Systems: A Tutorial
Co-simulation consists of the theory and techniques to enable global sim...
research
∙
02/17/2018