| Formal methods: Practice and experience J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald ACM computing surveys (CSUR) 41 (4), 1-36, 2009 | 1035 | 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 | 556 | 2015 |
| Modelling systems: practical tools and techniques in software development J Fitzgerald, PG Larsen Cambridge University Press, 1998 | 525* | 1998 |
| Co-simulation: a survey C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018 | 482 | 2018 |
| Validated Designs for Object-oriented Systems J Fitzgerald, PG Larsen, P Mukherjee, N Plat, M Verhoef Springer, 2005 | 435 | 2005 |
| Co-simulation: State of the art C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe https://arxiv.org/abs/1702.00686, 2017 | 288 | 2017 |
| 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 | 208 | 2010 |
| 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 | 158 | 2016 |
| Applying formal specification in industry PG Larsen, J Fitzgerald, T Brookes IEEE software 13 (3), 48-56, 1996 | 158 | 1996 |
| Modeling and validating distributed embedded real-time systems with VDM++ M Verhoef, PG Larsen, J Hooman FM 2006: Formal Methods, 147-162, 2006 | 157 | 2006 |
| The IFAD VDM-SL toolbox: a practical approach to formal specifications R Elmstrøm, PG Larsen, PB Lassen ACM Sigplan Notices 29 (9), 77-80, 1994 | 145 | 1994 |
| 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 |
| An overview of the ISO/VDM-SL standard N Plat, PG Larsen Sigplan Notices 27 (6), 76-82, 1992 | 109 | 1992 |
| Information technology-Programming languages, their environments and system software interfaces-Vienna Development Method-Specification Language-Part 1: Base language PG Larsen ISO/IEC 13817-1, 1996 | 108 | 1996 |
| Features of CML: a formal modelling language for systems of systems J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry System of Systems Engineering (SoSE), 2012 7th International Conference on, 1-6, 2012 | 103 | 2012 |
| A lightweight approach to formal methods S Agerholm, PG Larsen International Workshop on Current Trends in Applied Formal Methods, 168-183, 1998 | 103 | 1998 |
| Maestro: The INTO-CPS co-simulation framework C Thule, K Lausdahl, C Gomes, G Meisl, PG Larsen Simulation Modelling Practice and Theory 92, 45-61, 2019 | 98 | 2019 |
| A formal semantics of data flow diagrams PG Larsen, N Plat, H Toetenel Formal aspects of Computing 6, 586-606, 1994 | 90 | 1994 |
| Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains J Fitzgerald, C Gamble, PG Larsen, K Pierce, J Woodcock 3rd FME Workshop on Formal Methods in Software Engineering, 2015 | 89 | 2015 |
John S. FitzgeraldNewcastle University, UKncl.ac.uk의 이메일 확인됨
