| Validated designs for object-oriented systems J Fitzgerald, PG Larsen, P Mukherjee, N Plat, M Verhoef Springer Science & Business Media, 2005 | 365 | 2005 |
| Information technology-Programming languages, their environments and system software interfaces: Vienna DevelopmentMethod-Specification Language-Part 1: Base language BS Hansen, H Bruun ISO, 1996 | 101 | 1996 |
| An overview of the ISO/VDM-SL standard N Plat, PG Larsen ACM Sigplan Notices 27 (8), 76-82, 1992 | 96 | 1992 |
| A formal semantics of data flow diagrams PG Larsen, N Plat, H Toetenel Formal aspects of Computing 6 (6), 586-606, 1994 | 58 | 1994 |
| Application and benefits of formal methods in software development N Plat, J van Katwijk, H Toetenel Software Engineering Journal 7 (5), 335-346, 1992 | 53 | 1992 |
| VDM++ language reference manual EH Dürr, N Plat Afrodite (ESPRIT-III project number 6500), Cap Volmac, 1995 | 35 | 1995 |
| SVDM: An integrated combination of SA and VDM PG Larsen, J van Katwijk, N Plat, K Pronk, H Toetenel Methods Integration Conference. Springer-Verlag, 1991 | 30 | 1991 |
| A case for structured analysis/formal design N Plat, J van Katwijk, K Pronk International Symposium of VDM Europe, 81-105, 1991 | 28 | 1991 |
| A formal semantics of data flow diagrams PG Larsen, N Plat, H Toetenel Formal Aspects of Computing 3 (1), 1-21, 1993 | 18 | 1993 |
| The cash-point (ATM)‘Problem’ T Denvir, J Oliveira, N Plat Formal Aspects of Computing 12 (4), 211-215, 2000 | 14 | 2000 |
| Standards for non-executable specification languages PG Larsen, N Plat The Computer Journal 35 (6), 567-573, 1992 | 12 | 1992 |
| Syntax error repair for a Java-based parser generator P van der Spek, N Plat, C Pronk ACM SIGPLAN Notices 40 (4), 47-50, 2005 | 11 | 2005 |
| Structured analysis—formal design, using stream and object oriented formal specifications H Toetenel, J Van Katwijk, N Plat ACM SIGSOFT Software Engineering Notes 15 (4), 118-127, 1990 | 11 | 1990 |
| Tool support for VDM N Plat, H Toetenel | 11 | 1989 |
| Experiments with formal methods in software engineering. N Plat | 9 | 1995 |
| Type checking BSI/VDM-SL N Plat, R Huijsman, J van Katwijk, G van Oosten, K Pronk, H Toetenel International Symposium of VDM Europe, 399-425, 1990 | 9 | 1990 |
| VDM++ Language Reference Manual EH Diirr, N Plat Afrodite (ESPRIT-III project number 650) document AFR0/CG/ED/LRM 9, 1995 | 8 | 1995 |
| VDM++ Language Reference Manual, AFRODITE project document AFRO E Durr, A Duursma, N Plat CG/ED/LRM, 1995 | 8 | 1995 |
| Towards a VDM-SL compiler N Plat Master's thesis, Delft University, 1988 | 8 | 1988 |
| VDM++ Language Reference Manual, Afrodite (ESPRIT-III project number 6500) document AFRO EH Dürr, N Plat CG/ED/LRM, 0 | 8 | |
