Follow
Nick Battle
Nick Battle
Guest Member of Staff, Newcastle University
Verified email at newcastle.ac.uk - Homepage
Title
Cited by
Cited by
Year
The overture initiative integrating tools for VDM
PG Larsen, N Battle, M Ferreira, J Fitzgerald, K Lausdahl, M Verhoef
ACM SIGSOFT Software Engineering Notes 35 (1), 1-6, 2010
2082010
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
The Overture Open Source Initiative, Tech. Rep. TR-2010-06, 2010
662010
Combinatorial testing for VDM
PG Larsen, K Lausdahl, N Battle
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
522010
A Deterministic Interpreter Simulating A Distributed real time system using VDM
K Lausdahl, PG Larsen, N Battle
Formal Methods and Software Engineering: 13th International Conference on …, 2011
402011
VDMJ User Guide
N Battle
Fujitsu Services Ltd., UK, Tech. Rep, 2009
332009
Overture vdm-10 tool support: User guide
PG Larsen, K Lausdahl, A Ribeiro, S Wolff, N Battle
Technical Report TR-2010–02, the Overture Initiative, 2010
292010
Development process of distributed embedded systems using vdm
PG Larsen, S Wolff, N Battle, J Fitzgerald, K Pierce
Overture-Open-source Tools for Formal Modelling TR-2010-02, 2010
262010
Visual studio code vdm support
JK Rask, FP Madsen, N Battle, HD Macedo, PG Larsen
Proceedings of the 18th International Overture Workshop, 35-49, 2021
232021
The specification language server protocol: A proposal for standardised LSP extensions
JK Rask, FP Madsen, N Battle, HD Macedo, PG Larsen
arXiv preprint arXiv:2108.02961, 2021
212021
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks
HD Macedo, N Battle, PG Larsen
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 0
21*
Towards a Static Check of FMUs in VDM-SL
N Battle, C Thule, C Gomes, HD Macedo, PG Larsen
17th Overture Workshop, 17-32, 2019
72019
Using JML-based code generation to enhance test automation for VDM models
PWV Tran-Jørgensen, PG Larsen, N Battle
14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE …, 2016
52016
The overture approach to VDM language evolution
N Battle, A Haxthausen, S Hiroshi, PWV Jørgensen, N Plat, S Sahara, ...
Proceedings of the 11th Overture Workshop, 8, 2013
42013
Tutorial for Overture
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
VDM-SL-Overture–Open-source Tools for Formal Modelling TR-2010-01 (March 2010), 2010
42010
Tutorial for Overture/VDM+
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
Overture-Open-source Tools for Formal Modelling TR-2010-03, 2010
42010
Advanced VDM Support in Visual Studio Code
JK Rask, FP Madsen, N Battle, L Freitas, HD Macedo, PG Larsen
Hugo Daniel Macedo and Ken Pierce (Editors), 34, 2022
32022
Application of model-based testing to dynamic evaluation of functional mockup units
C Gomes, R Franceschini, N Battle, C Thule, K Lausdahl, H Vangheluwe, ...
Proceedings of the American Modelica Conference, 149-158, 2020
32020
Analysis Separation without Visitors
N Battle, UK Fujitsu
32017
Tutorial for Overture/VDM-RT
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
Technical Report TR-005, September 2015. http://overturetool. org …, 2010
22010
Verification technology for VDM: craft and automation
J Fitzgerald, PG Larsen, K Pierce, L Freitas, N Battle
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I, 109-130, 2024
12024
The system can't perform the operation now. Try again later.
Articles 1–20