BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Finland
1 × France
1 × Germany
1 × Italy
1 × Spain
1 × Switzerland
1 × United Kingdom
2 × The Netherlands
Collaborated with:
J.S.Fitzgerald S.Agerholm J.Hooman K.Lausdahl T.M.Brookes M.Verhoef B.K.Aichernig B.Fröhlich P.B.Lassen S.Vermolen N.Battle H.K.A.Lintrup H.D.Macedo L.Devauchelle H.Voss J.Bicarregui J.C.P.Woodcock M.A.Green K.G.Pierce S.Wolff
Talks about:
vdm (8) system (6) formal (6) specif (5) model (4) develop (3) method (3) use (3) lightweight (2) distribut (2)

Person: Peter Gorm Larsen

DBLP DBLP: Larsen:Peter_Gorm

Facilitated 1 volumes:

FME 1993Ed

Contributed to:

IFM 20102010
SAC 20102010
SEFM 20102010
FM 20092009
FM 20082008
FM 20062006
FM-Trends 19981998
FME 19971997
FME 19961996
FME 19941994
VDM Europe (1) 19911991

Wrote 17 papers:

IFM-2010-FitzgeraldLPVW #collaboration #development #embedded #modelling
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (JSF, PGL, KGP, MV, SW), pp. 12–26.
SAC-2010-VermolenHL #consistency #modelling #proving #using
Proving consistency of VDM models using HOL (SV, JH, PGL), pp. 2503–2510.
SEFM-2010-LarsenLB #combinator #testing
Combinatorial Testing for VDM (PGL, KL, NB), pp. 278–285.
FM-2009-BicarreguiFLW #formal method #industrial #overview #perspective
Industrial Practice in Formal Methods: A Review (JB, JSF, PGL, JCPW), pp. 810–813.
FM-2009-LausdahlLL #tool support #uml
Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.
FM-2008-MacedoLF #development #distributed #incremental #realtime #using
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.
FM-2006-VerhoefLH #distributed #embedded #modelling #realtime #validation
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
FM-1998-AgerholmL #approach #formal method #lightweight
A Lightweight Approach to Formal Methods (SA, PGL), pp. 168–183.
FM-1998-AgerholmL98a #formal method #lightweight #tool support
The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.
FME-1997-AichernigL #generative #proving
A Proof Obligation Generator for VDM-SL (BKA, PGL), pp. 338–357.
FME-1997-DevauchelleLV #named #specification #using
PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System (LD, PGL, HV), pp. 221–236.
FME-1996-BrookesFL #case study #comparative #component #specification
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (TMB, JSF, PGL), pp. 214–227.
FME-1996-FrohlichL #c++ #specification
Combining VDM-SL Specifications with C++ Code (BF, PGL), pp. 179–194.
FME-1994-FitzgeraldBGL #case study #comparative #component #specification
Formal and Informal Specifications of a Secure System Component: first results in a comparative study (JSF, TMB, MAG, PGL), pp. 35–44.
FME-1994-Larsen #evaluation
Evaluation of Underdetermined Explicit Definitions (PGL), pp. 233–250.
VDME-1991-LarsenL #execution #set #specification
An Executable Subset of Meta-IV with Loose Specification (PGL, PBL), pp. 604–618.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.