dblp.uni-trier.dewww.uni-trier.de

Peter Gorm Larsen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
31EEJim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4): (2009)
30EEPeter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM++. Formal Asp. Comput. 21(3): 245-257 (2009)
2008
29EEHugo 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
28EEJohn S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
27EEJohn S. Fitzgerald, Peter Gorm Larsen, Shin Sahara: VDMTools: advances in support for formal modeling in VDM. SIGPLAN Notices 43(2): 3-11 (2008)
2007
26EEJohn 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
25EEJohn S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
2006
24EEMarcel Verhoef, Peter Gorm Larsen, Jozef Hooman: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162
23EEJohn S. Fitzgerald, Peter Gorm Larsen: Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). ISoLA 2006: 1-4
2001
22EEPeter Gorm Larsen: Ten Years of Historical Development "Bootstrapping" VDMTools®. J. UCS 7(8): 692-709 (2001)
2000
21EEPeter 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
20EESten Agerholm, Peter Gorm Larsen: A Lightweight Approach to Formal Methods. FM-Trends 1998: 168-183
19EESten Agerholm, Peter Gorm Larsen: The IFAD VDM Tools: Lightweight Formal Methods. FM-Trends 1998: 326-329
1997
18EELionel Devauchelle, Peter Gorm Larsen, Henrik Voss: PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. FME 1997: 221-236
17EEBernhard K. Aichernig, Peter Gorm Larsen: A Proof Obligation Generator for VDM-SL. FME 1997: 338-357
1996
16EEBrigitte Fröhlich, Peter Gorm Larsen: Combining VDM-SL Specifications with C++ Code. FME 1996: 179-194
15EET. 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
14 Peter Gorm Larsen, Bo Stig Hansen: Semantics of Under-determined Expressions. Formal Asp. Comput. 8(1): 47-66 (1996)
13EEPeter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996)
1995
12EEJim Woodcock, Peter Gorm Larsen: Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995)
1994
11EEPeter Gorm Larsen: Evaluation of Underdetermined Explicit Definitions. FME 1994: 233-250
10EEJohn 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
9 Peter Gorm Larsen: Repsonse to ``The Formal Specification of Safety Requirements for Storing Explosives'' (Short Communication). Formal Asp. Comput. 6(5): 565-568 (1994)
8 Peter Gorm Larsen, Nico Plat, Hans Toetenel: A Formal Semantics of Data Flow Diagrams. Formal Asp. Comput. 6(6): 586-606 (1994)
7EERené 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
6 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
5 Peter Gorm Larsen: Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Semantics of Specification Languages 1993: 118-134
1992
4 Peter Gorm Larsen, Nico Plat: Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573 (1992)
3EENico Plat, Peter Gorm Larsen: An overview of the ISO/VDM-SL standard. SIGPLAN Notices 27(8): 76-82 (1992)
1991
2EEPeter 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

1Sten Agerholm [19] [20]
2Bernhard K. Aichernig [17]
3Michael Meincke Arentoft [1]
4Stephen Bear [1]
5Juan Bicarregui [31]
6T. M. Brookes [10] [13] [15]
7Lionel Devauchelle [18]
8René Elmstrøm [7]
9John S. Fitzgerald [10] [13] [15] [23] [25] [26] [27] [28] [29] [30] [31]
10Brigitte Fröhlich [16]
11M. A. Green [10]
12Bo Stig Hansen [14]
13Jozef Hooman [24]
14Poul Bøgh Lassen [2] [7]
15Hugo Daniel Macedo [29]
16Brian Q. Monahan [1]
17Paul Mukherjee [21]
18Nico Plat [3] [4] [8]
19Steve Riddle [30]
20Shin Sahara [27]
21Kim Sunesen [21]
22Simon Tjell [25]
23Hans Toetenel (W. J. Toetenel) [8]
24Marcel Verhoef [24] [25] [28]
25Henrik Voss [18]
26Jim Woodcock (J. C. P. Woodcock) [6] [12] [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)