| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.  |
ICFEM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Ribeiro, Peter Gorm Larsen |
Proof Obligation Generation and Discharging for Recursive Definitions in VDM. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle |
Combinatorial Testing for VDM. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Vermolen, Jozef Hooman, Peter Gorm Larsen |
Proving consistency of VDM models using HOL. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
verification, theorem proving, VDM, HOL, model consistency |
| 1 | Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff |
Are Formal Methods Ready for Agility? A Reality Check. |
FM+AM |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle |
Practice-oriented courses in formal methods using VDM++. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald |
Formal methods: Practice and experience. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods surveys, verified software initiative, grand challenges, Experimental software engineering, verified software repository |
| 1 | John S. Fitzgerald, Peter Gorm Larsen |
Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). |
|
2009 |
RDF |
|
| 1 | Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock |
Industrial Practice in Formal Methods: A Review. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen |
Connecting UML and VDM++ with Open Tool Support. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara |
VDMTools: advances in support for formal modeling in VDM. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
formal methods, validation, tool support, VDM, vienna development method |
| 1 | John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef |
Vienna Development Method. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef |
Validation Support for Distributed Real-Time Embedded Systems in VDM++. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Peter Gorm Larsen |
Balancing Insight and Effort: The Industrial Uptake of Formal Methods. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman |
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Peter Gorm Larsen |
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen |
Ten Years of Historical Development "Bootstrapping" VDMTools®. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen |
Using VDMTools to Model and Validate the Cash Dispenser Example. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
VDM++, VDM-SL, Java, UML, Validation, Code generation |
| 1 | Sten Agerholm, Peter Gorm Larsen |
A Lightweight Approach to Formal Methods. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sten Agerholm, Peter Gorm Larsen |
The IFAD VDM Tools: Lightweight Formal Methods. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Peter Gorm Larsen |
A Proof Obligation Generator for VDM-SL. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss |
PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes |
Applying Formal Specification in Industry. |
IEEE Software |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, Bo Stig Hansen |
Semantics of Under-determined Expressions. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Brigitte Fröhlich, Peter Gorm Larsen |
Combining VDM-SL Specifications with C++ Code. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock, Peter Gorm Larsen |
Introduction to Special Section (Guest Editorial). (PDF / PS) |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen |
Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication). |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, Nico Plat, Hans Toetenel |
A Formal Semantics of Data Flow Diagrams. |
Formal Asp. Comput. |
1994 |
DBLP BibTeX RDF |
|
| 1 | René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen |
The IFAD VDM-SL toolbox: a practical approach to formal specifications. |
SIGPLAN Notices |
1994 |
DBLP DOI BibTeX RDF |
VDM |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen |
Evaluation of Underdetermined Explicit Definitions. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock, Peter Gorm Larsen (eds.) |
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings |
FME |
1993 |
DBLP BibTeX RDF |
|
| 1 | Peter Gorm Larsen |
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. |
Semantics of Specification Languages |
1993 |
DBLP BibTeX RDF |
|
| 1 | Nico Plat, Peter Gorm Larsen |
An overview of the ISO/VDM-SL standard. |
SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
VDM |
| 1 | Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen |
Making specifications executable - Using IPTES Meta-IV. |
Microprocessing and Microprogramming |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, Nico Plat |
Standards for Non- Executable Specification Languages. |
Comput. J. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, Poul Bøgh Lassen |
An Executable Subset of Meta-IV with Loose Specification. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")