14 citations · 28 across the 9 of their papers we have counts for
9 papers
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…
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…
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL
Tomohiro Oda, Gaël Dur, Stéphane Ducasse +1
Formal specification is a basis for rigorous software implementation. VDM-SL is a formal specification language with an extensive executable subset. Successful cases of VDM-family…
Proceedings of the 20th International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 20th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 05th July 202…
A Survey of Practical Formal Methods for Security
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen +4
In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the f…
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle +2
The Language Server Protocol (LSP) changed the field of Integrated Development Environments(IDEs), as it decouples core (programming) language features functionality from editor sm…
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems
Peter Gorm Larsen, Hugo Daniel Macedo, John Fitzgerald +6
Businesses, particularly small and medium-sized enterprises, aiming to start up in Model-Based Design (MBD) face difficult choices from a wide range of methods, notations and tools…
Typing linear algebra: A biproduct-oriented approach
Hugo Daniel Macedo, José N. Oliveira
Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be d…
Mining Malware Specifications through Static Reachability Analysis
Hugo Daniel Macedo, Tayssir Touili
The number of malicious software (malware) is growing out of control. Syntactic signature based detection cannot cope with such growth and manual construction of malware signature…