| Validated designs for object-oriented systems J Fitzgerald Springer Science & Business Media, 2005 | 414 | 2005 |
| An overview of the ISO/VDM-SL standard N Plat, PG Larsen ACM Sigplan Notices 27 (8), 76-82, 1992 | 107 | 1992 |
| A formal semantics of data flow diagrams PG Larsen, N Plat, H Toetenel Formal aspects of Computing 6, 586-606, 1994 | 75 | 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 | 58 | 1992 |
| VDM++ language reference manual EH Dürr, N Plat Afrodite (ESPRIT-III project number 6500), Cap Volmac, 1995 | 41 | 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 | 40 | 1991 |
| A case for structured analysis/formal design N Plat, J van Katwijk, K Pronk VDM'91 Formal Software Development Methods: 4th International Symposium of …, 1991 | 30 | 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 |
| 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 | 17 | 2005 |
| 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 | 14 | 1992 |
| Experiments with formal methods in software engineering. N Plat | 12 | 1995 |
| 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 | 12 | 1990 |
| Tool support for VDM N Plat, H Toetenel | 11 | 1989 |
| Towards a VDM-SL compiler N Plat Master's thesis, Delft University, 1988 | 10 | 1988 |
| VDM++ Language Reference Manual. Afrodite (ESPRIT-III project number 6500) document AFRO EH Dürr, N Plat CG/ED/LRM, 0 | 10 | |
| SysML fault modelling in a traffic management system of systems C Ingram, Z Andrews, R Payne, N Plat 2014 9th International Conference on System of Systems Engineering (SOSE …, 2014 | 9 | 2014 |
| VDM++ Language Reference Manual, AFRODITE project document AFRO E Durr, A Duursma, N Plat CG/ED/LRM, 1995 | 9 | 1995 |
| Type checking BSI/VDM-SL N Plat, R Huijsman, J van Katwijk, G van Oosten, K Pronk, H Toetenel VDM'90 VDM and Z—Formal Methods in Software Development: Third …, 1990 | 9 | 1990 |
| A formal transformation from the BSI/VDM-SL concrete syntax to the core abstract syntax N Plat, H Toetenel | 8 | 1992 |