Peter Gorm Larsen

  1. OnTheMove Federated Conferences & Workshops 2018 (Event)

    Larsen, P. G. (Member)
    2018

    Activity: MembershipMembership in committee, council, board

  2. SYRCoSE 2017 (Event)

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

    Activity: MembershipMembership in committee, council, board

  3. 1 art. til Applied Sciences (Journal)

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

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  4. 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

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

    Larsen, P. G. (Reviewer)
    Feb 2015

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  8. 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

  9. 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

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Reviewer)
    Nov 2016

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  12. 1 art. til MDPI (Journal)

    Larsen, P. G. (Reviewer)
    Mar 2016

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Reviewer)
    Feb 2015

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Reviewer)
    2013

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Reviewer)
    2013

    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 Software Testing, Verification and Reliability (Journal)

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  20. 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

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  23. 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

  24. 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

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  27. 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

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    2018

    Activity: MembershipMembership in committee, council, board

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

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

    Activity: MembershipMembership in committee, council, board

  31. 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

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  34. ABZ'2014 conference (External organisation)

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

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Reviewer)
    2018

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  36. ARTEMIS (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  37. Advances of Systems of Systems (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  38. Are Formal Methods Ready for Agility?

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

    Activity: Talk or presentationLecture and oral contribution

  39. 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

  40. Centre for Digitalisation, Big Data and Data Analytics (External organisation)

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

    Activity: MembershipMembership in board of company or public organisation

  41. 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

  42. Det Frie Forskningsråd (External organisation)

    Larsen, P. G. (Member)
    20172021

    Activity: MembershipMembership in committee, council, board

  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. FMICS/AVOCS 2017 (Event)

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

    Activity: MembershipMembership in committee, council, board

  45. Formal Methods (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  46. 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

  47. Formal Specifications: Research and Industrial Practice

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

    Activity: Talk or presentationLecture and oral contribution

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

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

    Activity: MembershipMembership in committee, council, board

  49. FormaliSE 2015

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

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

  50. FormaliSE 2017 (External organisation)

    Larsen, P. G. (Member)
    20162017

    Activity: MembershipMembership in committee, council, board

  51. 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

  52. ICFEM (External organisation)

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

    Activity: MembershipMembership in committee, council, board

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

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

    Activity: MembershipMembership in committee, council, board

  54. INCOSE Denmark (External organisation)

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

    Activity: MembershipMembership in board of company or public organisation

  55. 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

  56. Industry 4.0

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

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

  57. 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

  58. 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

  59. 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

  60. Intro to Cyber-Physical Systems and Smartness

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

    Activity: Talk or presentationLecture and oral contribution

  61. 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

  62. Introduction to the Overture Tool

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

    Activity: Talk or presentationLecture and oral contribution

  63. Journal of Applied Sciences (Journal)

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

    Activity: Peer-review and editorial workEditor of Research journalCommunication

  64. Journal of Systems and Software (Journal)

    Larsen, P. G. (Reviewer)
    2018

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  66. 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

  67. 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

  68. NPO TopSE centre at NII

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

    Activity: Visiting an external institutionVisiting an external academic institution

  69. OnTheMove 2017 (Event)

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

    Activity: MembershipMembership in committee, council, board

  70. Opponent at PhD defence

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

    Activity: Examination

  71. Review of application

    Larsen, P. G. (Participant)
    2014

    Activity: Other

  72. Review of application: ENVISAGE

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

    Activity: Other

  73. Review of application: REMICS

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

    Activity: Other

  74. Review of application: iCARGO

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

    Activity: Other

  75. SOFL+MSVL (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  76. SYRCoSE (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  77. SYRCoSE 2016

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

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

  78. Sensors (Journal)

    Larsen, P. G. (Editor)
    2017

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  79. Simulation Modelling Practice and Theory (Journal)

    Larsen, P. G. (Reviewer)
    2017

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

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

    Activity: Talk or presentationLecture and oral contribution

  81. THE 15TH OVERTURE WORKSHOP (Event)

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

    Activity: MembershipMembership in committee, council, board

  82. The 16th Overture Workshop (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  83. 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

  84. 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

  85. The INTO-CPS Project

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

    Activity: Talk or presentationLecture and oral contribution

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

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

    Activity: Talk or presentationLecture and oral contribution

  87. 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

  88. 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

  89. 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

  90. 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

  91. 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

  92. iHARNESS (External organisation)

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

    Activity: MembershipMembership in committee, council, board