Peter Gorm Larsen

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

    Peter Gorm Larsen (Reviewer)
    2012

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  3. 2013
  4. 1 art. til Science of Computer Programming (Journal)

    Peter Gorm Larsen (Reviewer)
    2013

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2013

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2013

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  7. Review of application: REMICS

    Peter Gorm Larsen (Participant)
    1 Nov 201330 Nov 2013

    Activity: Other activity typesOther

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  18. Review of application

    Peter Gorm Larsen (Participant)
    2014

    Activity: Other activity typesOther

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

    Peter Gorm Larsen (Member)
    1 Jan 2014

    Activity: Membership typesMembership in committee, council, board

  20. ABZ'2014 conference (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  21. ARTEMIS (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  22. Advances of Systems of Systems (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  23. Formal Methods (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  25. ICFEM (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  26. INCOSE Denmark (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in board of company or public organisation

  27. SOFL+MSVL (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  28. SYRCoSE (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  29. iHARNESS (External organisation)

    Peter Gorm Larsen (Member)
    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  30. Opponent at the PhD thesis ' Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications'

    Peter Gorm Larsen (Examiner)
    May 2014

    Activity: Examination typesExamination

  31. Review of application: iCARGO

    Peter Gorm Larsen (Participant)
    1 Sep 201430 Sep 2014

    Activity: Other activity typesOther

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

    Peter Gorm Larsen (Reviewer)
    Oct 2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  33. Collaborative modelling and co-simulation: Tools and Techniques for the Development of Industrial Embedded Control Systems

    Peter Gorm Larsen (Lecturer)
    22 Oct 2014

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    22 Oct 2014

    Activity: Talk or presentation typesLecture and oral contribution

  35. NPO TopSE centre at NII

    Peter Gorm Larsen (Visiting lecturer)
    24 Oct 2014

    Activity: Visiting an external institution typesVisiting an external academic institution

  36. Are Formal Methods Ready for Agility?

    Peter Gorm Larsen (Lecturer)
    25 Oct 2014

    Activity: Talk or presentation typesLecture and oral contribution

  37. Introduction to the Overture Tool

    Peter Gorm Larsen (Lecturer)
    28 Oct 2014

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    29 Oct 2014

    Activity: Talk or presentation typesLecture and oral contribution

  39. Collaborative Modelling and Co-simulation - Tools and Techniques for the Development of Industrial Embedded Control Systems

    Peter Gorm Larsen (Lecturer)
    31 Oct 2014

    Activity: Talk or presentation typesLecture and oral contribution

  40. Review of application: ENVISAGE

    Peter Gorm Larsen (Participant)
    1 Nov 201430 Nov 2014

    Activity: Other activity typesOther

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

    Peter Gorm Larsen (Lecturer)
    11 Dec 2014

    Activity: Talk or presentation typesLecture and oral contribution

  42. 2015
  43. 1 art. til Formal Aspects of Computing (Journal)

    Peter Gorm Larsen (Reviewer)
    Feb 2015

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    Feb 2015

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    Feb 2015

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  46. 18th Brazilian Symposium on Formal Methods

    Peter Gorm Larsen (Organizer)
    15 Feb 20151 Oct 2015

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Peter Gorm Larsen (Organizer)
    1 Mar 201530 Oct 2015

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  48. Formal Specifications: Research and Industrial Practice

    Peter Gorm Larsen (Lecturer)
    8 Mar 2015

    Activity: Talk or presentation typesLecture and oral contribution

  49. International Conference on Integrated Formal Methods

    Peter Gorm Larsen (Organizer)
    May 2015Jun 2016

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  50. FormaliSE 2015

    Peter Gorm Larsen (Organizer)
    18 Jun 2015

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  51. 5th International ABZ Conference

    Peter Gorm Larsen (Participant)
    Jul 2015Jun 2016

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  52. Formal Methods - Frontiers in Applied Mathematics and Statistics and ICT (Journal)

    Peter Gorm Larsen (Editor)
    Jul 20152100

    Activity: Publication peer-review and editorial work typesEditor of Research journalResearch

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

    Peter Gorm Larsen (Lecturer)
    10 Aug 2015

    Activity: Talk or presentation typesLecture and oral contribution

  54. The 56th Conference on Simulation and Modelling

    Peter Gorm Larsen (Organizer)
    7 Oct 2015

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Peter Gorm Larsen (Lecturer)
    8 Oct 2015

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Organizer)
    26 Nov 201528 Sep 2016

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  57. 2016
  58. FormaliSE 2017 (External organisation)

    Peter Gorm Larsen (Member)
    20162017

    Activity: Membership typesMembership in committee, council, board

  59. International Workshop on Formal Methods Integration

    Peter Gorm Larsen (Organizer)
    Jan 2016Aug 2016

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  60. SYRCoSE 2016

    Peter Gorm Larsen (Organizer)
    Jan 2016Jun 2016

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  61. 1 art. til MDPI (Journal)

    Peter Gorm Larsen (Reviewer)
    Mar 2016

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    23 May 201627 May 2016

    Activity: Talk or presentation typesLecture and oral contribution

  67. 1 art. til Applied Sciences (Journal)

    Peter Gorm Larsen (Reviewer)
    18 Jun 2016

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Peter Gorm Larsen (Reviewer)
    Nov 2016

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  69. Industry 4.0

    Peter Gorm Larsen (Speaker)
    3 Nov 2016

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  70. 21st International Symposium on Formal Methods

    Peter Gorm Larsen (Organizer)
    7 Nov 201611 Nov 2016

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  71. Brazilian Symposium on Formal Methods

    Peter Gorm Larsen (Participant)
    21 Nov 201625 Nov 2016

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  72. 2017
  73. 16th International Conference on Software Engineering and Formal Methods (Event)

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)
    2017 → …

    Activity: Membership typesMembership in board of company or public organisation

  79. Det Frie Forskningsråd (External organisation)

    Peter Gorm Larsen (Member)
    20172021

    Activity: Membership typesMembership in committee, council, board

  80. FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING

    Peter Gorm Larsen (Chair person)
    20172018

    Activity: Participating in or organising an event typesParticipation in or organisation of workshop, seminar or course

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

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

  82. OnTheMove 2017 (Event)

    Peter Gorm Larsen (Member)
    2017 → …

    Activity: Membership typesMembership in committee, council, board

  83. Sensors (Journal)

    Peter Gorm Larsen (Editor)
    2017

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  84. Simulation Modelling Practice and Theory (Journal)

    Peter Gorm Larsen (Reviewer)
    2017

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  85. THE 15TH OVERTURE WORKSHOP (Event)

    Peter Gorm Larsen (Member)
    2017 → …

    Activity: Membership typesMembership in committee, council, board

  86. The 16th Overture Workshop (Event)

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

  87. Intro to Cyber-Physical Systems and Smartness

    Peter Gorm Larsen (Lecturer)
    21 Apr 2017

    Activity: Talk or presentation typesLecture and oral contribution

  88. The INTO-CPS Project

    Peter Gorm Larsen (Lecturer)
    21 Apr 2017

    Activity: Talk or presentation typesLecture and oral contribution

  89. SYRCoSE 2017 (Event)

    Peter Gorm Larsen (Member)
    31 May 20172 Jun 2017

    Activity: Membership typesMembership in committee, council, board

  90. Opponent at PhD defence

    Peter Gorm Larsen (Examiner)
    26 Jun 2017

    Activity: Examination typesExamination

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

    Peter Gorm Larsen (Member)
    4 Aug 20176 Aug 2017

    Activity: Membership typesMembership in committee, council, board

  92. FMICS/AVOCS 2017 (Event)

    Peter Gorm Larsen (Member)
    18 Sep 201720 Sep 2017

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Lecturer)
    27 Sep 2017

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    3 Oct 2017

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Speaker)
    8 Nov 2017

    Activity: Participating in or organising an event typesParticipation in or organisation of workshop, seminar or course

  96. 2018
  97. OnTheMove Federated Conferences & Workshops 2018 (Event)

    Peter Gorm Larsen (Member)
    2018

    Activity: Membership typesMembership in committee, council, board

  98. (7TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (Event)

    Peter Gorm Larsen (Member)
    20182019

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)
    2018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Reviewer)
    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  101. ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018 (Event)

    Peter Gorm Larsen (Member)
    2018

    Activity: Membership typesMembership in committee, council, board

  102. Journal of Applied Sciences (Journal)

    Peter Gorm Larsen (Editor)
    2018 → …

    Activity: Publication peer-review and editorial work typesEditor of Research journalCommunication

  103. Journal of Systems and Software (Journal)

    Peter Gorm Larsen (Reviewer)
    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  104. Spring Conference of Young Scientists on Software Engineering (Spring / Summer Young Researchers Colloquium on Software Engineering - SYRCoSE) (Event)

    Peter Gorm Larsen (Member)
    20182019

    Activity: Membership typesMembership in committee, council, board

  105. The 16th Overture Workshop (Event)

    Peter Würtz Vinther Tran-Jørgensen (Member), Peter Gorm Larsen (Member)
    2018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Lecturer)
    13 Mar 2018

    Activity: Talk or presentation typesLecture and oral contribution

Previous 1 2 Next