Nick Battle

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 4

Top Topics

Network Congestion

Software Environment

Specification Language

Top Venues

FM Workshops (2)

Publications

Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo
Bidirectional UML Visualisation of VDM Models. CoRR (2023)
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. F-IDE@NFM (2021)
Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops (2019)
Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Towards a Static Check of FMUs in VDM-SL. FM Workshops (2) (2019)
Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ICFEM (2011)
Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
The overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes 35 (1) (2010)
Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle
Combinatorial Testing for VDM. SEFM (2010)