The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Gorm Larsen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Gorm Larsen, Poul Bøgh Lassen
    An Executable Subset of Meta-IV with Loose Specification. [Citation Graph (1, 0)][DBLP]
    VDM Europe (1), 1991, pp:604-618 [Conf]
  2. Peter Gorm Larsen, Nico Plat
    Standards for Non- Executable Specification Languages. [Citation Graph (1, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:567-573 [Journal]
  3. Peter Gorm Larsen, Nico Plat, Hans Toetenel
    A Formal Semantics of Data Flow Diagrams. [Citation Graph (1, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:586-606 [Journal]
  4. T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen
    Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:214-227 [Conf]
  5. Sten Agerholm, Peter Gorm Larsen
    A Lightweight Approach to Formal Methods. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:168-183 [Conf]
  6. Sten Agerholm, Peter Gorm Larsen
    The IFAD VDM Tools: Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:326-329 [Conf]
  7. Bernhard K. Aichernig, Peter Gorm Larsen
    A Proof Obligation Generator for VDM-SL. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:338-357 [Conf]
  8. Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss
    PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:221-236 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:35-44 [Conf]
  10. Brigitte Fröhlich, Peter Gorm Larsen
    Combining VDM-SL Specifications with C++ Code. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:179-194 [Conf]
  11. Peter Gorm Larsen
    Evaluation of Underdetermined Explicit Definitions. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:233-250 [Conf]
  12. Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
    Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:147-162 [Conf]
  13. Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear
    Towards a Formal Semantics of the BS/VDM Specification Language. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:95-100 [Conf]
  14. Peter Gorm Larsen
    Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:118-134 [Conf]
  15. Peter Gorm Larsen
    Repsonse to ``The Formal Specification of Safety Requirements for Storing Explosives'' (Short Communication). [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:5, pp:565-568 [Journal]
  16. Peter Gorm Larsen, Bo Stig Hansen
    Semantics of Under-determined Expressions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:1, pp:47-66 [Journal]
  17. Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen
    Using VDMTools to Model and Validate the Cash Dispenser Example. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:216-217 [Journal]
  18. Peter Gorm Larsen
    Ten Years of Historical Development "Bootstrapping" VDMTools®. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:692-709 [Journal]
  19. René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen
    The IFAD VDM-SL toolbox: a practical approach to formal specifications. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1994, v:29, n:9, pp:77-80 [Journal]
  20. Nico Plat, Peter Gorm Larsen
    An overview of the ISO/VDM-SL standard. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:8, pp:76-82 [Journal]
  21. Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes
    Applying Formal Specification in Industry. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1996, v:13, n:3, pp:48-56 [Journal]
  22. Jim Woodcock, Peter Gorm Larsen
    Introduction to Special Section (Guest Editorial). [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:2, pp:61-62 [Journal]
  23. John S. Fitzgerald, Peter Gorm Larsen
    Balancing Insight and Effort: The Industrial Uptake of Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:237-254 [Conf]

  24. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. [Citation Graph (, )][DBLP]


  25. Industrial Practice in Formal Methods: A Review. [Citation Graph (, )][DBLP]


  26. Connecting UML and VDM++ with Open Tool Support. [Citation Graph (, )][DBLP]


  27. Validation Support for Distributed Real-Time Embedded Systems in VDM++. [Citation Graph (, )][DBLP]


  28. Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). [Citation Graph (, )][DBLP]


  29. Proving consistency of VDM models using HOL. [Citation Graph (, )][DBLP]


  30. Formal methods: Practice and experience. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002