| 2009 |
|---|
| 29 | EE | Peter Gorm Larsen,
John S. Fitzgerald,
Steve Riddle:
Practice-oriented courses in formal methods using VDM++.
Formal Asp. Comput. 21(3): 245-257 (2009) |
| 2008 |
|---|
| 28 | EE | 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 |
| 27 | EE | John S. Fitzgerald,
Peter Gorm Larsen,
Marcel Verhoef:
Vienna Development Method.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 26 | EE | 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 |
|---|
| 25 | EE | 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 |
| 24 | EE | 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 |
|---|
| 23 | EE | Marcel Verhoef,
Peter Gorm Larsen,
Jozef Hooman:
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
FM 2006: 147-162 |
| 2001 |
|---|
| 22 | EE | Peter Gorm Larsen:
Ten Years of Historical Development "Bootstrapping" VDMTools®.
J. UCS 7(8): 692-709 (2001) |
| 2000 |
|---|
| 21 | EE | 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 |
|---|
| 20 | | Sten Agerholm,
Peter Gorm Larsen:
A Lightweight Approach to Formal Methods.
FM-Trends 1998: 168-183 |
| 19 | | Sten Agerholm,
Peter Gorm Larsen:
The IFAD VDM Tools: Lightweight Formal Methods.
FM-Trends 1998: 326-329 |
| 1997 |
|---|
| 18 | | Lionel Devauchelle,
Peter Gorm Larsen,
Henrik Voss:
PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System.
FME 1997: 221-236 |
| 17 | | Bernhard K. Aichernig,
Peter Gorm Larsen:
A Proof Obligation Generator for VDM-SL.
FME 1997: 338-357 |
| 1996 |
|---|
| 16 | | Brigitte Fröhlich,
Peter Gorm Larsen:
Combining VDM-SL Specifications with C++ Code.
FME 1996: 179-194 |
| 15 | | 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 |
| 14 | | Peter Gorm Larsen,
Bo Stig Hansen:
Semantics of Under-determined Expressions.
Formal Asp. Comput. 8(1): 47-66 (1996) |
| 13 | EE | Peter Gorm Larsen,
John S. Fitzgerald,
T. M. Brookes:
Applying Formal Specification in Industry.
IEEE Software 13(3): 48-56 (1996) |
| 1995 |
|---|
| 12 | EE | Jim Woodcock,
Peter Gorm Larsen:
Introduction to Special Section (Guest Editorial).
IEEE Trans. Software Eng. 21(2): 61-62 (1995) |
| 1994 |
|---|
| 11 | | Peter Gorm Larsen:
Evaluation of Underdetermined Explicit Definitions.
FME 1994: 233-250 |
| 10 | | 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 |
| 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) |
| 7 | EE | 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 |
|---|
| 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) |
| 3 | EE | 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 |
