Nick Battle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2019
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Towards a Static Check of FMUs in VDM-SL. | Nick Battle, Casper Thule, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2019 | SEFM | Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. | Casper Thule, Maurizio Palmieri, Cludio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen |
| 2011 | ICFEM | A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. | Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
| 2010 | SEFM | Combinatorial Testing for VDM. | Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle |