| 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 | 178 | 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 | 57 | 2010 |
| Combinatorial testing for VDM PG Larsen, K Lausdahl, N Battle 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 43 | 2010 |
| A Deterministic Interpreter Simulating A Distributed real time system using VDM K Lausdahl, PG Larsen, N Battle International Conference on Formal Engineering Methods, 179-194, 2011 | 41 | 2011 |
| Overture vdm-10 tool support: User guide PG Larsen, K Lausdahl, A Ribeiro, S Wolff, N Battle, B RG12 Technical Report TR-2010–02, the Overture Initiative, 2010 | 27 | 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 | 25 | 2010 |
| VDMJ User Guide N Battle Fujitsu Services Ltd., UK, Tech. Rep, 2009 | 21 | 2009 |
| Using JML-based code generation to enhance test automation for VDM models PWV Tran-Jørgensen, PG Larsen, N Battle The 14th Overture Workshop: Towards Analytical Tool Chains, 79-93, 2016 | 5 | 2016 |
| 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 |
| 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 | 3 | 2013 |
| 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 | 2 | 2019 |
| 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 |
| Analysis Separation without Visitors N Battle, UK Fujitsu | 1 | 2017 |
| Tutorial for Overture/VDM-SL PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ... | 1 | 2011 |
| The 14th Overture Workshop: Towards Analytical Tool Chains PG Larsen, N Plat, N Battle Technical Report Electronics and Computer Engineering 4 (28), 2016 | | 2016 |
| The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering, Technical Report-ECE-TR-28 PG Larsen, N Plat, N Battle The 14th Overture Workshop, 2016 | | 2016 |
| Proceedings of the 12th Overture Workshop Newcastle University, 21 June 2014 N Battle, JS Fitzgerald University of Newcastle Upon Tyne, Computing Science, 2015 | | 2015 |
| Newcastle University, 21 June, 2014 N Battle, JS Fitzgerald | | 2015 |
| The 12th in the “Overture” series of workshops on the Vienna Development Method (VDM), its associated tools and applications, was held in association with the COMPASS1 project … N Battle, J Fitzgerald | | 2014 |
Peter Gorm LarsenAarhus UniversityVerified email at eng.au.dk
