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
∙
04/13/2023
Bidirectional UML Visualisation of VDM Models
The VDM-PlantUML Plugin enables translations between the text based UML ...
research
∙
03/27/2023
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL
Formal specification is a basis for rigorous software implementation. VD...
research
∙
08/22/2022
Proceedings of the 20th International Overture Workshop
This volume contains the papers presented at the 20th International Over...
research
∙
10/18/2021
Proceedings of the 19th International Overture Workshop
This volume contains the papers presented at the 19th International Over...
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
∙
01/19/2021
Proceedings of the 18th International Overture Workshop
This volume contains the papers presented at the 18th International Over...
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
∙
12/17/2013