| Formal specification and software development D Bjørner, CB Jones Prentice Hall International Series in Computer Science, 1982 | 591 | 1982 |
| The Vienna development method: The meta-language D Bjørner, CB Jones Springer Berlin Heidelberg, 1978 | 477 | 1978 |
| Software Engineering 3: Domains, requirements, and software design D Bjørner Springer Science & Business Media, 2006 | 275* | 2006 |
| Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987 D Bjorner, ND Jones, AP Ershov Elsevier Science Inc., 1988 | 209 | 1988 |
| Logics of specification languages D Bjørner, MC Henson Springer Science & Business Media, 2007 | 133 | 2007 |
| Towards a formal description of Ada D Bjorner, ON Oest Springer Science & Business Media, 1980 | 129 | 1980 |
| Domain engineering D Bjørner Formal Methods: State of the Art and New Directions, 1-41, 2010 | 112 | 2010 |
| Software Engineering 3: Domains, requirements, and software design D Bjorner Springer, 2006 | 96 | 2006 |
| On the use of formal methods in software development D Bjorner Proceedings of the 9th International Conference on Software Engineering, 17-29, 1987 | 84 | 1987 |
| VDM'87. VDM-A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings D Bjørner, C Jones, MMA Airchinnigh, EJ Neuhold Springer Science & Business Media, 1987 | 77 | 1987 |
| 40 years of formal methods: Some obstacles and some possibilities? D Bjørner, K Havelund International Symposium on Formal Methods, 42-61, 2014 | 71 | 2014 |
| Software Engineering, Vol. 3: Domains, Requirements and Software Design D Bjørner Springer, 2006 | 71 | 2006 |
| VDM'90: VDM and Z: Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 Proceedings D Bjørner, CAR Hoare Springer-Verlag, 1990 | 69 | 1990 |
| Formal software techniques for railway systems D Bjørner IFAC Proceedings Volumes 33 (9), 101-108, 2000 | 66 | 2000 |
| From domain to requirements D Bjørner Concurrency, Graphs and Models: Essays dedicated to Ugo Montanari on the …, 2008 | 65 | 2008 |
| New results and trends in formal techniques and tools for the development of software for transportation systems–a review D Bjørner Formal Methods for Railway Operation and Control Systems (FORMS03), 1-20, 2003 | 60 | 2003 |
| DOMAIN ENGINEERING: technology management, research and engineering D Bjørner JAIST Press, 2009 | 59 | 2009 |
| Domain theory: practice and theories a discussion of possible research topics D Bjørner International Colloquium on Theoretical Aspects of Computing, 1-17, 2007 | 59 | 2007 |
| A formal definition of a PL/I subset H Bekic, D Bjørner, W Henhapl, CB Jones, P Lucas Newcastle University, 1974 | 56 | 1974 |
| A ProCoS project description D Bjørner, CAR Hoare, JP Bowen, J He, H Langmaack, ER Olderog, ... Bulletin of the European Association for Theoretical Computer Science (EATCS …, 1989 | 55 | 1989 |
