Peter Gorm Larsen

	2011
43		Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle: A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ICFEM 2011: 179-194
	2010
42		Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff: Are Formal Methods Ready for Agility? A Reality Check. FM+AM 2010: 13-25
41		Augusto Ribeiro, Peter Gorm Larsen: Proof Obligation Generation and Discharging for Recursive Definitions in VDM. ICFEM 2010: 40-55
40		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
39		Sander Vermolen, Jozef Hooman, Peter Gorm Larsen: Proving consistency of VDM models using HOL. SAC 2010: 2503-2510
38		Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle: Combinatorial Testing for VDM. SEFM 2010: 278-285
37		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)
	2009
36		John S. Fitzgerald, Peter Gorm Larsen: Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). Cambridge University Press 2009: I-XVI, 1-288
35		Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen: Connecting UML and VDM++ with Open Tool Support. FM 2009: 563-578
34		Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock: Industrial Practice in Formal Methods: A Review. FM 2009: 810-813
33		Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4): (2009)
32		Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM++. Formal Asp. Comput. 21(3): 245-257 (2009)
31		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)
	2008
30		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
29		John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
28		John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara: VDMTools: advances in support for formal modeling in VDM. SIGPLAN Notices 43(2): 3-11 (2008)
	2007
27		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
26		John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
	2006
25		Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162
24		John S. Fitzgerald, Peter Gorm Larsen: Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). ISoLA 2006: 1-4
	2001
23		Peter Gorm Larsen: Ten Years of Historical Development "Bootstrapping" VDMTools®. J. UCS 7(8): 692-709 (2001)
	2000
22		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)
	1998
21		Sten Agerholm, Peter Gorm Larsen: A Lightweight Approach to Formal Methods. FM-Trends 1998: 168-183
20		Sten Agerholm, Peter Gorm Larsen: The IFAD VDM Tools: Lightweight Formal Methods. FM-Trends 1998: 326-329
	1997
19		Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss: PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. FME 1997: 221-236
18		Bernhard K. Aichernig, Peter Gorm Larsen: A Proof Obligation Generator for VDM-SL. FME 1997: 338-357
	1996
17		Brigitte Fröhlich, Peter Gorm Larsen: Combining VDM-SL Specifications with C++ Code. FME 1996: 179-194
16		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
15		Peter Gorm Larsen, Bo Stig Hansen: Semantics of Under-determined Expressions. Formal Asp. Comput. 8(1): 47-66 (1996)
14		Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996)
	1995
13		Jim Woodcock, Peter Gorm Larsen: Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995)
	1994
12		Peter Gorm Larsen: Evaluation of Underdetermined Explicit Definitions. FME 1994: 233-250
11		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
10		Peter Gorm Larsen: Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication). Formal Asp. Comput. 6(5): 565-568 (1994)
9		Peter Gorm Larsen, Nico Plat, Hans Toetenel: A Formal Semantics of Data Flow Diagrams. Formal Asp. Comput. 6(6): 586-606 (1994)
8		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)
	1993
7		Jim Woodcock, Peter Gorm Larsen: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings Springer 1993
6		Peter Gorm Larsen: Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Semantics of Specification Languages 1993: 118-134
	1992
5		Peter Gorm Larsen, Nico Plat: Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573 (1992)
4		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)
3		Nico Plat, Peter Gorm Larsen: An overview of the ISO/VDM-SL standard. SIGPLAN Notices 27(8): 76-82 (1992)
	1991
2		Peter Gorm Larsen, Poul Bøgh Lassen: An Executable Subset of Meta-IV with Loose Specification. VDM Europe (1) 1991: 604-618
	1989
1		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

Coauthor Index

1	Sten Agerholm	[20] [21]
2	Bernhard K. Aichernig	[18]
3	Michael Andersen	[4]
4	Michael Meincke Arentoft	[1]
5	Nick Battle	[37] [38] [43]
6	Stephen Bear	[1]
7	Juan Bicarregui	[33] [34]
8	T. M. Brookes	[11] [14] [16]
9	Lionel Devauchelle	[19]
10	René Elmstrøm	[4] [8]
11	Miguel Alexandre Ferreira	[37]
12	John S. Fitzgerald	[11] [14] [16] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37] [40] [42]
13	Brigitte Fröhlich	[17]
14	M. A. Green	[11]
15	Bo Stig Hansen	[15]
16	Jozef Hooman	[25] [39]
17	Poul Bøgh Lassen	[2] [4] [8]
18	Kenneth Lausdahl	[35] [37] [38] [43]
19	Hans Kristian Agerlund Lintrup	[35]
20	Hugo Daniel Macedo	[30]
21	Brian Q. Monahan	[1]
22	Paul Mukherjee	[22]
23	Ken Pierce	[40]
24	Nico Plat	[3] [5] [9]
25	Augusto Ribeiro	[41]
26	Steve Riddle	[32]
27	Shin Sahara	[28]
28	Kim Sunesen	[22]
29	Simon Tjell	[26]
30	Hans Toetenel (W. J. Toetenel)	[9]
31	Marcel Verhoef	[25] [26] [29] [37] [40]
32	Sander Vermolen (Sander Daniël Vermolen)	[39]
33	Henrik Voss	[19]
34	Sune Wolff	[31] [40] [42]
35	Jim Woodcock (J. C. P. Woodcock)	[7] [13] [33] [34]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page