| Formal methods: Practice and experience J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald ACM computing surveys (CSUR) 41 (4), 1-36, 2009 | 1032 | 2009 |
| Systems of systems engineering: basic concepts, model-based techniques, and research directions CB Nielsen, PG Larsen, J Fitzgerald, J Woodcock, J Peleska ACM Computing Surveys (CSUR) 48 (2), 1-41, 2015 | 530 | 2015 |
| Modelling systems: practical tools and techniques in software development PG Larsen Cambridge Univ Pr, 1998 | 519* | 1998 |
| Validated designs for object-oriented systems J Fitzgerald Springer-Verlag New York Inc, 2005 | 423 | 2005 |
| Proof in VDM: A Practitioner's Guide JC Bicarregui, JS Fitzgerald, PA Lindsay, RC Moore, B Ritchie Springer, 1994 | 214 | 1994 |
| 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 | 207 | 2010 |
| Applying formal specification in industry PG Larsen, J Fitzgerald, T Brookes IEEE software 13 (3), 48-56, 1996 | 158 | 1996 |
| Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ... 2016 2nd International Workshop on Modelling, Analysis, and Control of …, 2016 | 157 | 2016 |
| Collaborative design for embedded systems J Fitzgerald, PG Larsen, M Verhoef Academic Press 10, 978-3, 2014 | 115 | 2014 |
| VDMTools: advances in support for formal modeling in VDM J Fitzgerald, PG Larsen, S Sahara ACM Sigplan Notices 43 (2), 3, 2008 | 115 | 2008 |
| Features of CML: A formal modelling language for Systems of Systems J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry 2012 7th International conference on system of systems engineering (SoSE), 1-6, 2012 | 103 | 2012 |
| Cyber-physical systems design: formal foundations, methods and integrated tool chains J Fitzgerald, C Gamble, PG Larsen, K Pierce, J Woodcock 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 40-46, 2015 | 88 | 2015 |
| VDM-10 language manual PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ... Internet: overturetool. org/documentation/manuals. html [Oct. 5, 2020], 2013 | 66 | 2013 |
| Incremental development of a distributed real-time model of a cardiac pacing system using VDM HD Macedo, PG Larsen, J Fitzgerald International Symposium on Formal Methods, 181-197, 2008 | 64 | 2008 |
| Collaborative modelling and co-simulation in the development of dependable embedded systems J Fitzgerald, PG Larsen, K Pierce, M Verhoef, S Wolff International Conference on Integrated Formal Methods, 12-26, 2010 | 56 | 2010 |
| Metaself: an architecture and a development method for dependable self-* systems G Di Marzo Serugendo, J Fitzgerald, A Romanovsky Proceedings of the 2010 ACM Symposium on Applied Computing, 457-461, 2010 | 55 | 2010 |
| Modularizing the formal description of a database system JS Fitzgerald, CB Jones International Symposium of VDM Europe, 189-210, 1990 | 54 | 1990 |
| A metadata-based architectural model for dynamically resilient systems G Di Marzo Serugendo, J Fitzgerald, A Romanovsky, N Guelfi Proceedings of the 2007 ACM symposium on Applied computing, 566-572, 2007 | 51 | 2007 |
| Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin J Fitzgerald, PG Larsen, K Pierce From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 48 | 2019 |
| A formal approach to collaborative modelling and co-simulation for embedded systems JS Fitzgerald, PG Larsen, KG Pierce, MHG Verhoef Mathematical Structures in Computer Science 23 (4), 726-750, 2013 | 46 | 2013 |
Peter Gorm LarsenAarhus UniversityEmail verificata su ece.au.dk