Peter Gorm Larsen

  1. Editor of Research journal
  2. Formal Methods - Frontiers in Applied Mathematics and Statistics and ICT (Journal)

    Larsen, P. G. (Editor)
    Jul 20152100

    Activity: Peer-review and editorial workEditor of Research journalResearch

  3. Journal of Applied Sciences (Journal)

    Larsen, P. G. (Editor)
    2018 → …

    Activity: Peer-review and editorial workEditor of Research journalCommunication

  4. Peer review of manuscripts
  5. 1 art. til Applied Sciences (Journal)

    Larsen, P. G. (Reviewer)
    18 Jun 2016

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  6. 1 art. til European Journal of Engineering Education Editorial Office (Journal)

    Larsen, P. G. (Reviewer)
    2012

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  7. 1 art. til Formal Aspects of Computing (Journal)

    Larsen, P. G. (Reviewer)
    Feb 2015

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  8. 1 art. til IEEE Transactions on Industrial Informatics (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  9. 1 art. til IEEE Transactions on Industrial Informatics (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  10. 1 art. til International Journal on Software Tools for Technology Transfer (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  11. 1 art. til International Journal on Software Tools for Technology Transfer (Journal)

    Larsen, P. G. (Reviewer)
    Feb 2015

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  12. 1 art. til Journal of Software Engineering and Applications (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  13. 1 art. til Journal of Systems and Software (Journal)

    Larsen, P. G. (Reviewer)
    Nov 2016

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  14. 1 art. til MDPI (Journal)

    Larsen, P. G. (Reviewer)
    Mar 2016

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  15. 1 art. til Science of Computer Programming (Journal)

    Larsen, P. G. (Reviewer)
    Feb 2015

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  16. 1 art. til Science of Computer Programming (Journal)

    Larsen, P. G. (Reviewer)
    2013

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  17. 1 art. til Science of Computer Programming (Journal)

    Larsen, P. G. (Reviewer)
    2013

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  18. 1 art. til Science of Computer Programming (Journal)

    Larsen, P. G. (Reviewer)
    2013

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  19. 1 art. til Software Testing, Verification and Reliability (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  20. 1 art. til Software Testing, Verification and Reliability (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  21. 1 art. til Software and Systems Modeling (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  22. 1 art. til Special Issue of Advances in Intelligent Systems and Computing (Journal)

    Larsen, P. G. (Reviewer)
    Oct 2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  23. 1 art. til Transactions on Reliability (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  24. 1art. til IEEE Transactions on Industrial Informatics (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  25. ACM Transactions on Software Engineering and Methodology (Journal)

    Larsen, P. G. (Reviewer)
    2018

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  26. Journal of Systems and Software (Journal)

    Larsen, P. G. (Reviewer)
    2018

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  27. Sensors (Journal)

    Larsen, P. G. (Editor)
    2017

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  28. Simulation Modelling Practice and Theory (Journal)

    Larsen, P. G. (Reviewer)
    2017

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  29. Participation in or organisation af a conference
  30. 18th Brazilian Symposium on Formal Methods

    Larsen, P. G. (Organizer)
    15 Feb 20151 Oct 2015

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  31. 18th IEEE International Conference on Computational Science and Engineering

    Larsen, P. G. (Organizer)
    1 Mar 201530 Oct 2015

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  32. 21st International Symposium on Formal Methods

    Larsen, P. G. (Organizer)
    7 Nov 201611 Nov 2016

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  33. 5th International ABZ Conference

    Larsen, P. G. (Participant)
    Jul 2015Jun 2016

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  34. Brazilian Symposium on Formal Methods

    Larsen, P. G. (Participant)
    21 Nov 201625 Nov 2016

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  35. FormaliSE 2015

    Larsen, P. G. (Organizer)
    18 Jun 2015

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  36. Industry 4.0

    Larsen, P. G. (Speaker)
    3 Nov 2016

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  37. International Conference on Integrated Formal Methods

    Larsen, P. G. (Organizer)
    May 2015Jun 2016

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  38. International Workshop on Formal Methods Integration

    Larsen, P. G. (Organizer)
    Jan 2016Aug 2016

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  39. International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems

    Larsen, P. G. (Organizer)
    26 Nov 201528 Sep 2016

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  40. SYRCoSE 2016

    Larsen, P. G. (Organizer)
    Jan 2016Jun 2016

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  41. The 56th Conference on Simulation and Modelling

    Larsen, P. G. (Organizer)
    7 Oct 2015

    Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

  42. Participation in or organisation of workshop, seminar or course
  43. FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING

    Larsen, P. G. (Chair person)
    20172018

    Activity: Participation in or organisation af an eventParticipation in or organisation of workshop, seminar or course

  44. Hvad gør digitaliseringen ved virksomheder og samfund?

    Larsen, P. G. (Speaker)
    8 Nov 2017

    Activity: Participation in or organisation af an eventParticipation in or organisation of workshop, seminar or course

  45. Lecture and oral contribution
  46. Are Formal Methods Ready for Agility?

    Larsen, P. G. (Lecturer)
    25 Oct 2014

    Activity: Talk or presentationLecture and oral contribution

  47. Collaborative Modelling and Cosimulation using Crescendo:: Tools and techniques for Designing Embedded Systems

    Larsen, P. G. (Lecturer)
    10 Aug 2015

    Activity: Talk or presentationLecture and oral contribution

  48. Formal Specifications: Research and Industrial Practice

    Larsen, P. G. (Lecturer)
    8 Mar 2015

    Activity: Talk or presentationLecture and oral contribution

  49. INTO-CPS: An well-founded integrated tool chain for comprehensive Model-Based Design of Cyber-Physical Systems

    Larsen, P. G. (Lecturer)
    8 Oct 2015

    Activity: Talk or presentationLecture and oral contribution

  50. Intro to Cyber-Physical Systems and Smartness

    Larsen, P. G. (Lecturer)
    21 Apr 2017

    Activity: Talk or presentationLecture and oral contribution

  51. Introduction to DIGIT. Vision and plans for the new research centre

    Larsen, P. G. (Lecturer)
    27 Sep 2017

    Activity: Talk or presentationLecture and oral contribution

  52. Introduction to the Overture Tool

    Larsen, P. G. (Lecturer)
    28 Oct 2014

    Activity: Talk or presentationLecture and oral contribution

  53. Model-Based Development of Cyber-Physical Systems Revolutionize Time-to-market of Smart Products

    Larsen, P. G. (Lecturer)
    3 Oct 2017

    Activity: Talk or presentationLecture and oral contribution

  54. Model-baseret udvikling af indlejrede systemer - fra forskning til industriel anvendelse

    Larsen, P. G. (Lecturer)
    11 Dec 2014

    Activity: Talk or presentationLecture and oral contribution

  55. Skærpelse af de studerendes præcision og kritiske sans

    Larsen, P. G. (Lecturer)
    13 Mar 2018

    Activity: Talk or presentationLecture and oral contribution

  56. The European approach to use of rigor for improving trustworthiness of future ICT systems

    Larsen, P. G. (Lecturer)
    29 Oct 2014

    Activity: Talk or presentationLecture and oral contribution

  57. The INTO-CPS Project

    Larsen, P. G. (Lecturer)
    21 Apr 2017

    Activity: Talk or presentationLecture and oral contribution

  58. Using Formal Approaches in different ways to improve system dependability

    Larsen, P. G. (Lecturer)
    22 Oct 2014

    Activity: Talk or presentationLecture and oral contribution

  59. Well-founded Engineering of CyberPhysical Systems and Systems of Systems

    Larsen, P. G. (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentationLecture and oral contribution

  60. Well-founded Engineering of CyberPhysical Systems and Systems of Systems

    Larsen, P. G. (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentationLecture and oral contribution

  61. Well-founded Engineering of CyberPhysical Systems and Systems of Systems

    Larsen, P. G. (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentationLecture and oral contribution

  62. Well-founded Engineering of CyberPhysical Systems and Systems of Systems

    Larsen, P. G. (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentationLecture and oral contribution

  63. Well-founded Engineering of CyberPhysical Systems and Systems of Systems

    Larsen, P. G. (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentationLecture and oral contribution

  64. Membership in committee, council, board
  65. OnTheMove Federated Conferences & Workshops 2018 (Event)

    Larsen, P. G. (Member)
    2018

    Activity: MembershipMembership in committee, council, board

  66. SYRCoSE 2017 (Event)

    Larsen, P. G. (Member)
    31 May 20172 Jun 2017

    Activity: MembershipMembership in committee, council, board

  67. 16th International Conference on Software Engineering and Formal Methods (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  68. 1st International Workshop on Robotics Software Engineering (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  69. 22nd International Symposium on Formal Methods (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  70. 23rd International Conference on Formal Methods for Industrial Critical Systems (Event)

    Larsen, P. G. (Member)
    2018

    Activity: MembershipMembership in committee, council, board

  71. 2nd IEEE International Workshop on Formal Methods Integration (External organisation)

    Larsen, P. G. (Member)
    1 Jan 2014

    Activity: MembershipMembership in committee, council, board

  72. 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  73. 6th International Conference on Model-Driven Engineering and Software Development (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  74. ABZ'2014 conference (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  75. ARTEMIS (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  76. Advances of Systems of Systems (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  77. Det Frie Forskningsråd (External organisation)

    Larsen, P. G. (Member)
    20172021

    Activity: MembershipMembership in committee, council, board

  78. FMICS/AVOCS 2017 (Event)

    Larsen, P. G. (Member)
    18 Sep 201720 Sep 2017

    Activity: MembershipMembership in committee, council, board

  79. Formal Methods (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  80. FormaliSE 2014 workshop at ICSE 2014 (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  81. FormaliSE 2017 (External organisation)

    Larsen, P. G. (Member)
    20162017

    Activity: MembershipMembership in committee, council, board

  82. ICFEM (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  83. IEEE International Workshop on Formal Methods Integration (Event)

    Larsen, P. G. (Member)
    4 Aug 20176 Aug 2017

    Activity: MembershipMembership in committee, council, board

  84. Medical Cyber-Physical Systems Workshop 2018 (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  85. OnTheMove 2017 (Event)

    Larsen, P. G. (Member)
    2017 → …

    Activity: MembershipMembership in committee, council, board

  86. SOFL+MSVL (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  87. SYRCoSE (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  88. THE 15TH OVERTURE WORKSHOP (Event)

    Larsen, P. G. (Member)
    2017 → …

    Activity: MembershipMembership in committee, council, board

  89. The 16th Overture Workshop (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  90. iHARNESS (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in committee, council, board

  91. Membership in board of company or public organisation
  92. Centre for Digitalisation, Big Data and Data Analytics (External organisation)

    Larsen, P. G. (Member)
    2017 → …

    Activity: MembershipMembership in board of company or public organisation

  93. INCOSE Denmark (External organisation)

    Larsen, P. G. (Member)
    1 Jan 201431 Dec 2014

    Activity: MembershipMembership in board of company or public organisation

  94. Visiting an external academic institution
  95. NPO TopSE centre at NII

    Larsen, P. G. (Visiting lecturer)
    24 Oct 2014

    Activity: Visiting an external institutionVisiting an external academic institution

  96. Examination
  97. Opponent at PhD defence

    Larsen, P. G. (Examiner)
    26 Jun 2017

    Activity: Examination

  98. Other
  99. Review of application

    Larsen, P. G. (Participant)
    2014

    Activity: Other

  100. Review of application: ENVISAGE

    Larsen, P. G. (Participant)
    1 Nov 201430 Nov 2014

    Activity: Other

  101. Review of application: REMICS

    Larsen, P. G. (Participant)
    1 Nov 201330 Nov 2013

    Activity: Other

  102. Review of application: iCARGO

    Larsen, P. G. (Participant)
    1 Sep 201430 Sep 2014

    Activity: Other