Peter Gorm Larsen - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

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

The overture initiative integrating tools for VDMPeter Gorm Larsen, Nick Battle, Miguel Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef. sigsoft, 35(1):1-6, 2010. [doi]

Are Formal Methods Ready for Agility? A Reality CheckPeter Gorm Larsen, John S. Fitzgerald, Sune Wolff. fmam 2010: 13-25

Combinatorial Testing for VDMPeter Gorm Larsen, Kenneth Lausdahl, Nick Battle. sefm 2010: 278-285 [doi]

Proof Obligation Generation and Discharging for Recursive Definitions in VDMAugusto Ribeiro, Peter Gorm Larsen. icfem 2010: 40-55 [doi]

Proving consistency of VDM models using HOLSander Vermolen, Jozef Hooman, Peter Gorm Larsen. SAC 2010: 2503-2510 [doi]

2009

Industrial Practice in Formal Methods: A ReviewJuan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock. fm 2009: 810-813 [doi]

Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.)John S. Fitzgerald, Peter Gorm Larsen. Cambridge University Press, 2009.

Practice-oriented courses in formal methods using VDM:::++:::Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle. fac, 21(3):245-257, 2009. [doi]

Methods for the Development of Distributed Real-Time Embedded Systems Using VDMPeter Gorm Larsen, John S. Fitzgerald, Sune Wolff. ijsi, 3(2-3):305-341, 2009. [doi]

Connecting UML and VDM++ with Open Tool SupportKenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen. fm 2009: 563-578 [doi]

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

2008

VDMTools: advances in support for formal modeling in VDMJohn S. Fitzgerald, Peter Gorm Larsen, Shin Sahara. SIGPLAN, 43(2):3-11, 2008. [doi]

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDMHugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald. fm 2008: 181-197 [doi]

2007

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

Balancing Insight and Effort: The Industrial Uptake of Formal MethodsJohn S. Fitzgerald, Peter Gorm Larsen. birthday 2007: 237-254 [doi]

2006

Triumphs and Challenges for Model-Oriented Formal Methods: The VDM:::++::: Experience (Abstract)John S. Fitzgerald, Peter Gorm Larsen. isola 2006: 1-4 [doi]

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

2001

Ten Years of Historical Development Bootstrapping VDMTools®Peter Gorm Larsen. jucs, 7(8):692-709, 2001. [doi]

2000

Using VDMTools to Model and Validate the Cash Dispenser ExamplePeter Gorm Larsen, Paul Mukherjee, Kim Sunesen. fac, 12(4):216-217, 2000. [doi]

1998

The IFAD VDM Tools: Lightweight Formal MethodsSten Agerholm, Peter Gorm Larsen. fm 1999: 326-329

A Lightweight Approach to Formal MethodsSten Agerholm, Peter Gorm Larsen. fm 1999: 168-183

1997

A Proof Obligation Generator for VDM-SLBernhard K. Aichernig, Peter Gorm Larsen. fm 1997: 338-357

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

1996

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

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

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

Semantics of Under-determined ExpressionsPeter Gorm Larsen, Bo Stig Hansen. fac, 8(1):47-66, 1996.

1995

Introduction to Special Section (Guest Editorial)Jim Woodcock, Peter Gorm Larsen. TSE, 21(2):61-62, 1995. [doi]

1994

1993

Towards Proof Rules for Looseness in Explicit Definitions from VDM-SLPeter Gorm Larsen. sosl 1994: 118-134

FME 93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, ProceedingsJim Woodcock, Peter Gorm Larsen, editors, Volume 670 of Lecture Notes in Computer Science, Springer, 1993.

1992

Standards for Non- Executable Specification LanguagesPeter Gorm Larsen, Nico Plat. cj, 35(6):567-573, 1992.

An overview of the ISO/VDM-SL standardNico Plat, Peter Gorm Larsen. SIGPLAN, 27(8):76-82, 1992. [doi]

1991

An Executable Subset of Meta-IV with Loose SpecificationPeter Gorm Larsen, Poul Bøgh Lassen. fm 1991: 604-618

1989

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