Peter Gorm Larsen

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen: Combining VDM with Executable Code. ABZ 2012: 266-279

Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle: A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ICFEM 2011: 179-194

Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef: The overture initiative integrating tools for VDM. ACM SIGSOFT Software Engineering Notes 35(1): 1-6 (2010)

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff: Are Formal Methods Ready for Agility? A Reality Check. FM+AM 2010: 13-25

Augusto Ribeiro, Peter Gorm Larsen: Proof Obligation Generation and Discharging for Recursive Definitions in VDM. ICFEM 2010: 40-55

John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef, Sune Wolff: Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. IFM 2010: 12-26

Sander Vermolen, Jozef Hooman, Peter Gorm Larsen: Proving consistency of VDM models using HOL. SAC 2010: 2503-2510

Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle: Combinatorial Testing for VDM. SEFM 2010: 278-285

John S. Fitzgerald, Peter Gorm Larsen: Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). Cambridge University Press 2009, isbn 978-0-521-89911-6, pp. I-XVI, 1-288

Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4) (2009)

Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM⁺⁺. Formal Asp. Comput. 21(3): 245-257 (2009)

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff: Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. Int. J. Software and Informatics 3(2-3): 305-341 (2009)

Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen: Connecting UML and VDM++ with Open Tool Support. FM 2009: 563-578

Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock: Industrial Practice in Formal Methods: A Review. FM 2009: 810-813

John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara: VDMTools: advances in support for formal modeling in VDM. SIGPLAN Notices 43(2): 3-11 (2008)

Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald: Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. FM 2008: 181-197

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008

John S. Fitzgerald, Peter Gorm Larsen: Balancing Insight and Effort: The Industrial Uptake of Formal Methods. Formal Methods and Hybrid Real-Time Systems 2007: 237-254

John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162

John S. Fitzgerald, Peter Gorm Larsen: Triumphs and Challenges for Model-Oriented Formal Methods: The VDM⁺⁺ Experience (Abstract). ISoLA 2006: 1-4

Peter Gorm Larsen: Ten Years of Historical Development "Bootstrapping" VDMTools®. J. UCS 7(8): 692-709 (2001)

Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen: Using VDMTools to Model and Validate the Cash Dispenser Example. Formal Asp. Comput. 12(4): 216-217 (2000)

Sten Agerholm, Peter Gorm Larsen: A Lightweight Approach to Formal Methods. FM-Trends 1998: 168-183

Sten Agerholm, Peter Gorm Larsen: The IFAD VDM Tools: Lightweight Formal Methods. FM-Trends 1998: 326-329

Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss: PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. FME 1997: 221-236

Bernhard K. Aichernig, Peter Gorm Larsen: A Proof Obligation Generator for VDM-SL. FME 1997: 338-357

Peter Gorm Larsen, Bo Stig Hansen: Semantics of Under-determined Expressions. Formal Asp. Comput. 8(1): 47-66 (1996)

Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996)

Brigitte Fröhlich, Peter Gorm Larsen: Combining VDM-SL Specifications with C++ Code. FME 1996: 179-194

T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen: Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. FME 1996: 214-227

Jim Woodcock, Peter Gorm Larsen: Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995)

Peter Gorm Larsen: Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication). Formal Asp. Comput. 6(5): 565-568 (1994)

Peter Gorm Larsen, Nico Plat, Hans Toetenel: A Formal Semantics of Data Flow Diagrams. Formal Asp. Comput. 6(6): 586-606 (1994)

René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen: The IFAD VDM-SL toolbox: a practical approach to formal specifications. SIGPLAN Notices 29(9): 77-80 (1994)

John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen: Formal and Informal Specifications of a Secure System Component: first results in a comparative study. FME 1994: 35-44

Peter Gorm Larsen: Evaluation of Underdetermined Explicit Definitions. FME 1994: 233-250

Peter Gorm Larsen: Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Semantics of Specification Languages 1993: 118-134

Jim Woodcock, Peter Gorm Larsen (Eds.): FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Lecture Notes in Computer Science 670, Springer 1993, isbn 3-540-56662-7

Peter Gorm Larsen, Nico Plat: Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573 (1992)

Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen: Making specifications executable - Using IPTES Meta-IV. Microprocessing and Microprogramming 35(1-5): 521-528 (1992)

Nico Plat, Peter Gorm Larsen: An overview of the ISO/VDM-SL standard. SIGPLAN Notices 27(8): 76-82 (1992)

Peter Gorm Larsen, Poul Bøgh Lassen: An Executable Subset of Meta-IV with Loose Specification. VDM Europe (1) 1991: 604-618

Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear: Towards a Formal Semantics of the BS/VDM Specification Language. IFIP Congress 1989: 95-100