Nick Battle

According to our database, Nick Battle authored at least 8 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

QuickCheck for VDM.

Nick Battle, Markus Solecki Ellyton

CoRR, 2024

2023

Bidirectional UML Visualisation of VDM Models.

Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo

CoRR, 2023

2021

The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions.

Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

2019

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.

Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Towards a Static Check of FMUs in VDM-SL.

Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2011

A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.

Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle

Proceedings of the Formal Methods and Software Engineering, 2011

2010

The overture initiative integrating tools for VDM.

Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef

ACM SIGSOFT Softw. Eng. Notes, 2010

Combinatorial Testing for VDM.

Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010