| 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 | 208 | 2010 |
| 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 | 66 | 2010 |
| Combinatorial testing for VDM PG Larsen, K Lausdahl, N Battle 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 52 | 2010 |
| 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 | 40 | 2011 |
| VDMJ User Guide N Battle Fujitsu Services Ltd., UK, Tech. Rep, 2009 | 33 | 2009 |
| 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 | 29 | 2010 |
| 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 | 26 | 2010 |
| 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 | 23 | 2021 |
| 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 | 21 | 2021 |
| 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 | 7 | 2019 |
| 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 | 5 | 2016 |
| 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 | 4 | 2013 |
| 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 | 4 | 2010 |
| 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 | 4 | 2010 |
| 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 | 3 | 2022 |
| 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 | 3 | 2020 |
| Analysis Separation without Visitors N Battle, UK Fujitsu | 3 | 2017 |
| 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 | 2 | 2010 |
| 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 | 1 | 2024 |
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
