Peter Gorm Larsen

  1. 2017
  2. Det Frie Forskningsråd (External organisation)

    Larsen, P. G. (Member)
    20172021

    Activity: MembershipMembership in committee, council, board

  3. FMICS/AVOCS 2017 (Event)

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

    Activity: MembershipMembership in committee, council, board

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

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

    Activity: MembershipMembership in committee, council, board

  5. SYRCoSE 2017 (Event)

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

    Activity: MembershipMembership in committee, council, board

  6. 2016
  7. FormaliSE 2017 (External organisation)

    Larsen, P. G. (Member)
    20162017

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Reviewer)
    Nov 2016

    Activity: ResearchPeer review of manuscripts

  9. Brazilian Symposium on Formal Methods

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  10. 21st International Symposium on Formal Methods

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  11. Industry 4.0

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  12. 1 art. til Applied Sciences (Journal)

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

    Activity: ResearchPeer review of manuscripts

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

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

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

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

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

  18. 1 art. til MDPI (Journal)

    Larsen, P. G. (Reviewer)
    Mar 2016

    Activity: ResearchPeer review of manuscripts

  19. International Workshop on Formal Methods Integration

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  20. SYRCoSE 2016

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  21. 2015
  22. 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: Participating in or organising an eventOrganisation of or participation in conference

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

  24. The 56th Conference on Simulation and Modelling

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

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

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

    Larsen, P. G. (Editor)
    Jul 20152100

    Activity: ResearchEditor of Research journal

  27. 5th International ABZ Conference

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  28. FormaliSE 2015

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  29. International Conference on Integrated Formal Methods

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  30. Formal Specifications: Research and Industrial Practice

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

    Activity: Talk or presentationLecture and oral contribution

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

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

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

    Larsen, P. G. (Reviewer)
    Feb 2015

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    Feb 2015

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    Feb 2015

    Activity: ResearchPeer review of manuscripts

  35. 18th Brazilian Symposium on Formal Methods

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

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  36. 2014
  37. Review of application

    Larsen, P. G. (Participant)
    2014

    Activity: Other

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2014

    Activity: ResearchPeer review of manuscripts

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

  47. Review of application: ENVISAGE

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

    Activity: Other

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

    Larsen, P. G. (Reviewer)
    Oct 2014

    Activity: ResearchPeer review of manuscripts

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

  50. Introduction to the Overture Tool

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

    Activity: Talk or presentationLecture and oral contribution

  51. Are Formal Methods Ready for Agility?

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

    Activity: Talk or presentationLecture and oral contribution

  52. NPO TopSE centre at NII

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

    Activity: Visiting an external institutionVisiting an external academic institution

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

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

    Activity: Talk or presentationLecture and oral contribution

  54. Review of application: iCARGO

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

    Activity: Other

  55. ABZ'2014 conference (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  56. Advances of Systems of Systems (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  57. ARTEMIS (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  58. Formal Methods (External organisation)

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

    Activity: MembershipMembership in committee, council, board

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

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

    Activity: MembershipMembership in committee, council, board

  60. ICFEM (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  61. iHARNESS (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  62. INCOSE Denmark (External organisation)

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

    Activity: MembershipMembership in board of company or public organisation

  63. SOFL+MSVL (External organisation)

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

    Activity: MembershipMembership in committee, council, board

  64. SYRCoSE (External organisation)

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

    Activity: MembershipMembership in committee, council, board

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

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

    Activity: MembershipMembership in committee, council, board

  66. 2013
  67. 1 art. til Science of Computer Programming (Journal)

    Larsen, P. G. (Reviewer)
    2013

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2013

    Activity: ResearchPeer review of manuscripts

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

    Larsen, P. G. (Reviewer)
    2013

    Activity: ResearchPeer review of manuscripts

  70. Review of application: REMICS

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

    Activity: Other

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

    Larsen, P. G. (Reviewer)
    2012

    Activity: ResearchPeer review of manuscripts