Peter Gorm Larsen

  1. 2012
  2. Published

    Secure Dynamic Cloud-Based Collaboration with Hierarchical Access. / Piechotta, Chris ; Jensen, Adam Enø ; Olsen, Martin Grooss ; Coleman, Joey; Larsen, Peter Gorm.

    2012. 140 p.

    Research output: Book/anthology/dissertation/reportReportResearch

  3. 2011
  4. Published

    Run-Time Validation of Timing Constraints for VDM-RT Models. / Ribeiro, Augusto; Lausdahl, Kenneth; Larsen, Peter Gorm.

    Proceedings of the 9th Overture Workshop. ed. / Sune Wolff; John Fitzgerald. Vol. 2 ECE-TT2. ed. Newcastle University, 2011. p. 4-16.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  5. Published

    A Reality Check on Home Automation Technologies. / Rovsing, Poul Ejnar; Larsen, Peter Gorm; Toftegaard, Thomas Skjødeberg.

    In: Journal of Green Engineering, Vol. 1, No. 3, 04.2011, p. 303-327.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  6. Published

    A deterministic interpreter simulating a distributed real time system using VDM. / Lausdahl, Kenneth; Larsen, Peter Gorm; Battle, Nick.

    Formal Methods and Software Engineering: 13th Proceedings on the 13th International Conference on Formal Engineering Methods, ICFEM 2011. ed. / Shengchao Qin; Zongyan Qiu. Vol. 6991 Springer, 2011. p. 179-194.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  7. Published

    Run-Time Validation of Timing Constraints for VDM-RT Models. / Ribeiro, Augusto; Lausdahl, Kenneth; Larsen, Peter Gorm.

    2011. 13 p.

    Research output: Book/anthology/dissertation/reportReportResearchpeer-review

  8. 2010
  9. Published

    The Overture Initiative – Integrating Tools for VDM. / Larsen, Peter Gorm; Battle, Nick; Ferreira, Miguel; Fitzgerald, John; Lausdahl, Kenneth; Verhoef, Marcel.

    Harnessing Theories for Tool Support in Software. 2010. p. 9.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  10. Published

    Are Formal Methods Ready for Agility? : A Reality Check. / Larsen, Peter Gorm; Fitzgerald, John; Wolff, Sune.

    Proceedings on Formal Methods and Agile Methods - FM+AM'2010: Lecture Notes in Informatics. ed. / Stefan Gruner; Bernhard Rumpe. Vol. 179 Bonner Köllen Verlag, 2010.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

  11. Published

    Development Process for Multi Disciplinary Embedded Control Systems. / Wolff, Sune; Larsen, Peter Gorm; Noergaard, Tammy.

    Proceedings of the 7th EUROSIM Congress on Modelling and Simulation - EUROSIM 2010. 2010.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearchpeer-review

  12. Published

    Overview of VDM-RT Constructs and Semantic Issues. / Lausdahl, Kenneth; Verhoef, Marcel; Larsen, Peter Gorm; Wolff, Sune.

    Proceedings of the 8th Overture Workshop. Vol. 1224 CS-TR. ed. Newcastle University, 2010. p. 57-67.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  13. Published

    The Overture Initiative Integrating Tools for VDM. / Larsen, Peter Gorm; Battle, Nick; Ferreira, Miguel; Fitzgerald, John; Lausdahl, Kenneth; Verhoef, Marcel.

    In: Software Engineering Notes, Vol. 35, No. 1, 01.2010, p. 1-6.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  14. Published

    A Innovative Engineering Summer School V2.0. / Bennedsen, Jens; Larsen, Peter Gorm.

    Proceedings of the 6th International CDIO Conference. 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  15. Published

    Challenges in Gaining Large Scale Carbon Reductions through Wireless Home Automation Systems. / Larsen, Peter Gorm; Rovsing, Poul Ejnar; Toftegaard, Thomas Skjødeberg.

    Proceedings of the WPMC 2010. ed. / Marcelo S. Alencar; Valdemar C. da Rocha Jr.Internation Symposium on Wireless Personal Multimedia Communications, 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  16. Published

    Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. / Fitzgerald, John; Larsen, Peter Gorm; Pierce, Ken; Wolff, Sune.

    Integrated Formal Methods: Lecture Notes in Computer Science. ed. / Dominique Méry; Stephan Merz. Vol. 6396 Springer, 2010. p. 12-26.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

  17. Published

    Combinatorial Testing for VDM. / Larsen, Peter Gorm; Lausdahl, Kenneth; Battle, Nick.

    SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods. Pisa, Italy : IEEE Computer Society Press, 2010. p. 278-285.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  18. Published

    Design Support and Tooling for Dependable Embedded Control Software. / Broenink, J. F.; Larsen, Peter Gorm; Verhoef, M.; Kleijn, C.; Jovanovic, D.; Pierce, Ken.

    SERENE 2010 2nd International Workshop on Software Engineering for Resilient Systems. 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  19. Published

    Optimizing Energy Usage in Private Households. / Wolff, Sune; Rohde, John; Toftegaard, Thomas Skjødeberg; Larsen, Peter Gorm; Lausdahl, Kenneth Guldbrandt; Ribeiro, Augusto; Stender, Martin Hjorth.

    Towards Green ICT. ed. / R. Prasad; S. Ohmori; D. Šimunić. River Pulishers, 2010. p. 185-210.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearchpeer-review

  20. Published

    Proof Obligation Generation and Discharging for Recursive Definitions in VDM. / Ribeiro , Augusto; Larsen, Peter Gorm.

    Formal Methods and Software Engineering : Lecture Notes in Computer Science. Vol. 6447 40-55. ed. Springer Berlin Heidelberg New York, 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  21. Published

    Proving Consistency of VDM Models using HOL. / Vermolen, Sander; Hooman, Jozef; Larsen, Peter Gorm.

    SAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing. ACM Press New York, NY, USA, 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  22. 2009
  23. Published

    Computing Science - Proceedings of the 7th OVERTURE Workshop : Technical Report Series. / Larsen, Peter Gorm (Editor); Bryans, Jeremy W. (Editor).

    University of Newcastle upon Tyne, 2009.

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  24. Published

    A Multidisciplinary Engineering Summer School in an Industrial Setting. / Larsen, Peter Gorm; Fernandes, Joao M. ; Habel, Jacek; Lehrskov, Hanne; Vos, Richard J. C.; Wallington, Oliver; Zidek, Jan.

    In: European Journal of Engineering Education, Vol. 34, No. 6, 2009, p. 511-526.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  25. Published

    Connecting UML and VDM++ with Open Tool Support. / Lausdahl, Kenneth ; Listrup, Hans Kristian; Larsen, Peter Gorm.

    FM '09 Proceedings of the 2nd World Congress on Formal Methods. Springer, 2009. p. 563-578.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  26. Published

    Facilitating Home Automation Through Wireless Protocol Interoperability. / Wolff, Sune; Larsen, Peter Gorm; Lausdahl, Kenneth; Ribeiro, Augusto; Toftegaard, Thomas Skjødeberg.

    In: Proceedings of the Wireless Personal Multimedia Communications Symposia, 2009.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  27. Published

    Formal Methods: Practice and Experience. / Woodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan; Fitzgerald, John .

    In: A C M Computing Surveys, Vol. 41, No. 4, 2009, p. 1-36.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  28. Published

    Industrial Practice in Formal Methods : A Review. / Bicarregui, Juan C.; Fitzgerald, John; Larsen, Peter Gorm; Woodcock, Jim.

    FM 2009: Formal Methods : Lecture Notes in Computer Science. Vol. 5850/2009 2009. p. 810-813.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  29. Published

    Methods for the Development of Distributed Real-Time Embedded Systems using VDM. / Larsen, Peter Gorm; Fitzgerald, John; Wolff, Sune.

    In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  30. Published

    Practice-oriented courses in formal methods using VDM++. / Larsen, Peter Gorm; Fitzgerald, John S.; Fitzgerald, John S.

    In: Formal Aspects of Computing, Vol. 21, No. 3, 2009, p. 245-257.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  31. Published

    Proceedings of the 7th OVERTURE Workshop 2nd November, 2009, Eindhoven. / Larsen, Peter Gorm (Editor); Bryans, Jeremy (Editor).

    University of Newcastle upon Tyne, 2009. 51 p.

    Research output: Book/anthology/dissertation/reportBookResearchpeer-review

  32. 2008
  33. Published

    Development Guidelines for Real-Time Systems Using VDMTools. / Larsen, Peter Gorm.

    CSK WEB Systems, 2008.

    Research output: Book/anthology/dissertation/reportReportResearch

  34. Published

    Extending VDM++ Enabling Industrial Applications for Distributed Embedded Real-time Systems. / Larsen, Peter Gorm.

    2008. Paper presented at The 4th Malaysian Software Engineering Conference, Kuala Terengganu, Malaysia.

    Research output: Contribution to conferencePaperResearch

  35. Published

    Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. / Larsen, Peter Gorm; Daniel Macedo, Hugo; Fitzgerald, John.

    FM 2008: Formal Methods: 15th International Symposium on Formal Methods. 2008.

    Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedingsResearchpeer-review

  36. Published

    Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. / Larsen, Peter Gorm (Editor); Fitzgerald, John (Editor); Sahara, Shin (Editor).

    University of Newcastle upon Tyne, 2008. 84 p.

    Research output: Book/anthology/dissertation/reportBookResearch

  37. Published

    Recent Industrial Applications of VDM in Japan. / Larsen, Peter Gorm; Fitzgerald, John.

    2008. Paper presented at FACS 2007 Christmas Workshop: Formal Methods in Industry, London, United Kingdom.

    Research output: Contribution to conferencePaperResearch

  38. Published

    VDM Tools advances in support for formal modeling in VDM: Advances in Support for Formal Modeling in VDM. / Larsen, Peter Gorm; Fitzgerald, John; Sahara, Shin.

    In: ACM SIGPLAN Notices, Vol. 43, No. 2, 2008, p. 3-11.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  39. Published

    Vienna Development Method. / Larsen, Peter Gorm; Fitzgerald, John; Verhoef, Marcel.

    Wiley Encyclopedia of Computer Science and Engineering. ed. / B.W. Wah. Wiley, 2008.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

  40. 2007
  41. Published

    Balancing Insight and Effort: the Industrial Uptake of Formal Methods: The Industrial Uptake of Formal Methods. / Larsen, Peter Gorm; Fitzgerald, John.

    Formal Methods and Hybrid Real-TIme Systems: Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays. Springer, 2007. p. 237-254.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

  42. Published

    Interpreting Distributed System Architecture using VDM++ : A Case Study. / Larsen, Peter Gorm; Verhoef, Marcel.

    2007. Paper presented at 5th Annual Conference on SYstems Engineering Research, Hoboken, United States.

    Research output: Contribution to conferencePaperResearchpeer-review

  43. Published

    Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. / Larsen, Peter Gorm; Fitzgerald, John.

    University of Newcastle upon Tyne, 2007. 7 p.

    Research output: Book/anthology/dissertation/reportReportResearch

  44. Published

    Validation Support for Distributed Real-Time Embedded Systems in VDM++. / Larsen, Peter Gorm; Fitzgerald, John; Tjell, Simon; Verhoef, Marcel.

    University of Newcastle upon Tyne, 2007. 18 p.

    Research output: Book/anthology/dissertation/reportReportResearchpeer-review

  45. 2006
  46. Published

    Coalition C2 Interoperability Challenges. / Larsen, Peter Gorm.

    2006. Paper presented at 11th International Command and Control Research and Technology Symposium, Cambridge, United Kingdom.

    Research output: Contribution to conferencePaperResearchpeer-review

  47. Published

    Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. / Larsen, Peter Gorm; Fitzgerald, John; Riddle, Steve.

    Technical Report: CS-TR-992. 2006.

    Research output: Contribution to book/anthology/report/proceedingReport chapterResearchpeer-review

  48. Published

    Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. / Larsen, Peter Gorm; Verhoef, Marcel; Hooman, Jozef.

    FM 2006: Formal Methods: 14th International Symposium on Formal Methods. Proceedings. ed. / J Misra; T. Nipkow; E. Sekerinski. Springer, 2006. p. 147-162.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearchpeer-review

  49. Published

    Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience. / Fitzgerald, John S.; Larsen, Peter Gorm.

    Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006. IEEE, 2006.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  50. 2005
  51. Published

    CSK Corporation Launches VDMTools in Japan. / Larsen, Peter Gorm; Bjørner, Dines; Keijiro, Araki.

    In: FACS FACTS, No. 2005-3, 2005, p. 16.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  52. Published

    Untangling Technology Debates on Information Sharing and Interoperability. / Larsen, Peter Gorm; Jørgensen, F.D.; Stadtmueller, J.M.

    2005. Poster session presented at Military Communications Conference 2005, Atlantic City, United States.

    Research output: Contribution to conferencePosterResearchpeer-review

  53. Published

    Validated Designs for Object-oriented Systems. / Larsen, Peter Gorm; S. Fitzgerald, John; Mukherjee, Paul; Plat, Nico; Verhoef, Marcel.

    Springer, 2005. 416 p.

    Research output: Book/anthology/dissertation/reportBookResearch

  54. 2001
  55. Published

    Ten Years of Historical Development "Bootstrapping" VDMTools. / Larsen, Peter Gorm.

    In: Journal of Universal Computer Science, Vol. 7, No. 8, 2001, p. 692.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  56. 2000
  57. Published

    Exploring Timing Properties using VDM++ on an Industrial Application. / Larsen, Peter Gorm; Mukherjee, Paul; Bousquet, Fabien; Delabre, Jerome; Paynter, Stephen.

    2000. Paper presented at The Second VDM Workshop - in conjunction with ZB 2000, York, United Kingdom.

    Research output: Contribution to conferencePaperResearchpeer-review

  58. Published

    Using VDMTools to Model and Validate the Cash Dispenser Example. / Larsen, Peter Gorm; Mukherjee, Paul; Sunesen, Kim.

    In: Formal Aspects of Computing, Vol. 12, No. 4, 2000, p. 216.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  59. 1999
  60. Published

    Applications of VDM in Banknote Processing. / Larsen, Peter Gorm; R. Smith, Paul.

    1999. Paper presented at VDM Workshop 1: VDM in Practice!, Toulouse, France.

    Research output: Contribution to conferencePaperResearchpeer-review

  61. 1998
  62. Published

    A Lightweight Approach to Formal Methods. / Larsen, Peter Gorm; Agerholm, Sten.

    1998. Paper presented at Workshop on Applicability of Formal Methods, Aarhus, Denmark.

    Research output: Contribution to conferencePaperResearchpeer-review

  63. Published

    Modelling Systems: Practical Tools and Techniques in Software Development. / Fitzgerald, John; Larsen, Peter Gorm.

    1 ed. Cambridge : Cambridge: Cambridge University Press, 1998. 269 p.

    Research output: Book/anthology/dissertation/reportBookResearch

  64. Published

    On the Industrial Value of Models. / Larsen, Peter Gorm.

    1998. Paper presented at 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, United Kingdom.

    Research output: Contribution to conferencePaperResearch

  65. Published

    The Return of VDM to Austria. / Larsen, Peter Gorm.

    In: Telematik, 1998, p. 1-6.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  66. 1997
  67. Published

    A Proof Obligation Generator for VDM-SL. / Larsen, Peter Gorm; Aichernig, B.K.

    1997. Paper presented at FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Austria.

    Research output: Contribution to conferencePaperResearchpeer-review

  68. Published

    Modeling and Validating SAFER in VDM-SL. / Larsen, Peter Gorm; Agerholm, Sten.

    1997. Paper presented at Fourth NASA Langley Formal Methods Workshop, Langley, United States.

    Research output: Contribution to conferencePaperResearchpeer-review

  69. Published

    PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software. / Larsen, Peter Gorm; Devauchelle, Lionel; Voss, Henrik.

    1997. Paper presented at Data Systems in Aerospace, Sevilla, Spain.

    Research output: Contribution to conferencePaperResearchpeer-review

  70. Published

    PICGAL: Practical Use of Formal Specification to Develop a High Reliability Software. / Larsen, Peter Gorm; Devauchelle, Lionel; Voss, Henrik.

    1997. Paper presented at FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Austria.

    Research output: Contribution to conferencePaperResearchpeer-review

  71. 1996
  72. Published

    Applying Formal Specification in Industry. / Larsen, Peter Gorm; Fitzgerald, J.; Brookes, T.

    In: I E E E Software, Vol. 13, No. 3, 1996, p. 48-56.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  73. Published

    Combining VDM-SL specifications with C++ code. / Larsen, Peter Gorm; Fröhlich, Brigitte.

    1996. Paper presented at FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, United Kingdom.

    Research output: Contribution to conferencePaperResearchpeer-review

  74. Published

    Formal and Informal Specifications of a Secure System Component: Final results in a comparative study. / Larsen, Peter Gorm; Brookes, T.M.; Fitzgerald, J.S.

    1996. Paper presented at FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, United Kingdom.

    Research output: Contribution to conferencePaperResearchpeer-review

  75. Published

    Semantics for Underdetermined Expressions. / Larsen, Peter Gorm; Hansen, Bo Stig.

    In: Formal Aspects of Computing, Vol. 8, No. 1, 1996, p. 47-66.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  76. 1995
  77. Published

    Formal Modelling and Simulation in the Development of a Security-critical Message Processing System. / Larsen, Peter Gorm; Fitzgerald, J.S.; Brookes, T.M.; Green, M.A.

    1995. Paper presented at Anglo-French Workshop in Formal Methods, Modelling and Simulation for System Engineering, St-Quentin en Yvelines, France.

    Research output: Contribution to conferencePaperResearchpeer-review

  78. Published

    Formal Specification Techniques in the Commercial Development Process. / Larsen, Peter Gorm; Fitzgerald, J.S.

    1995. Paper presented at ICSE-17 , Seattle, United States.

    Research output: Contribution to conferencePaperResearchpeer-review

  79. Published

    Towards Proof Rules for the Full Standard VDM Specification Language: Ph.D. Thesis. / Larsen, Peter Gorm.

    1995-160 ed. Lyngby : Danmarks Tekniske Universitet, 1995. 181 p.

    Research output: Book/anthology/dissertation/reportBookResearch

  80. 1994
  81. Published

    A Comparison of the Conventional and Formal Design of a Secure System Component. / Larsen, Peter Gorm; Brookes, T.M.; Green, M.A.; Fitzgerald, John S.

    1994. Paper presented at Nordic Seminar on Dependable Computing Systems , Lyngby, Denmark.

    Research output: Contribution to conferencePaperResearchpeer-review

  82. Published

    A Formal Semantics of Data Flow Diagrams. / Larsen, Peter Gorm; Plat, Nico; Toetenel, Hans.

    In: Formal Aspects of Computing, Vol. 6, No. 6, 1994, p. 586-606.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  83. Published

    Evaluation of Underdetermined Explicit Expressions. / Larsen, Peter Gorm.

    1994. Paper presented at Second International Symposium of Formal Methods Europe, Barcelona, Spain.

    Research output: Contribution to conferencePaperResearchpeer-review

  84. Published

    Formal and Informal Specifications of a Secure System Component : First Results in a Comparative Study. / Larsen, Peter Gorm; Fitzgerald, J. S.; Brookes, T. M.

    1994. Paper presented at Second International Symposium of Formal Methods Europe, Barcelona, Spain.

    Research output: Contribution to conferencePaperCommunication

  85. Published

    Response to “The Formal Specification of Safety Requirements for Storing Explosives”. / Larsen, Peter Gorm.

    In: Formal Aspects of Computing, Vol. 6, No. 5, 1994, p. 565.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  86. Published

    Semantics of Under-determined Expressions. / Larsen, Peter Gorm.

    Springer, 1994. 31 p.

    Research output: Book/anthology/dissertation/reportBookResearchpeer-review

  87. Published

    The IFAD VDM-SL toolbox: a practical approach to formal specifications. / Elstrøm, René; Larsen, Peter Gorm; Elstrøm, Bente; Bøgh Lassen, Poul.

    In: ACM SIGPLAN Notices, Vol. 29, No. 9, 1994, p. 77.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  88. 1993
  89. Published

    FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. / Larsen, Peter Gorm (Editor); Woodcock, J. C. P. (Editor).

    Berlin : Springer, 1993. 689 p.

    Research output: Book/anthology/dissertation/reportBookCommunication

  90. Published

    Første VDM-SL standard på vej. / Larsen, Peter Gorm.

    In: IT standardnyt : et nyhedsbrev om edb-standardisering, Vol. 4, No. 2, 1993, p. 14.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleCommunication

  91. Published

    Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. / Larsen, Peter Gorm.

    1993. Paper presented at Semantics of Specification Languages, Utrecht, Netherlands.

    Research output: Contribution to conferencePaperResearchpeer-review

  92. 1992
  93. Published

    An overview of the ISO/VDM-SL Standard. / Larsen, Peter Gorm; Plat, Nico.

    In: ACM SIGPLAN Notices, Vol. 27, No. 8, 08.1992, p. 76-82.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  94. Published

    Making specifications executable - using IPTES Meta-IV. / Larsen, Peter Gorm; Andersen, Michael; Elmstrøm, René; Bøgh Lassen, Poul .

    1992. Paper presented at 18th EUROMICRO Symposium on Microprocessing and Microprogramming - EUROMICRO 92, Paris, France.

    Research output: Contribution to conferencePaperResearchpeer-review

  95. Published

    Standards for Nonexecutable Specification Languages. / Larsen, Peter Gorm; Plat, Nico.

    In: Computer Journal, Vol. 35, No. 6, 1992, p. 567-573.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  96. 1990
  97. Published

    A Formal Event Structuring Approach to Real-Time Design. / Larsen, Peter Gorm.

    Proc EUROMICRO 90 Workshop Real Time. 1990.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  98. Published

    An Event Structuring Approach to Real-Time Design. / Larsen, Peter Gorm.

    1990. Paper presented at 2nd Nordic Workshop on Program Correctness, Aalborg, Denmark.

    Research output: Contribution to conferencePaperResearchpeer-review

  99. 1989
  100. Published

    Towards a Formal Semantics of the BSI/VDM Specification Language. / Larsen, Peter Gorm; Meincke Arentoft, Michael; Monahan, Brian; Bear, Stephen.

    1989. Paper presented at Information Processing 89, San Francisco, United States.

    Research output: Contribution to conferencePaperResearchpeer-review

Previous 1 2 Next