Peter Gorm Larsen

  1. 2018
  2. Skærpelse af de studerendes præcision og kritiske sans

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

    Activity: Talk or presentationLecture and oral contribution

  3. OnTheMove Federated Conferences & Workshops 2018 (Event)

    Larsen, P. G. (Member)
    2018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    2018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Reviewer)
    2018

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  6. Journal of Applied Sciences (Journal)

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

    Activity: Peer-review and editorial workEditor of Research journalCommunication

  7. Journal of Systems and Software (Journal)

    Larsen, P. G. (Reviewer)
    2018

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

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

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

  12. FMICS/AVOCS 2017 (Event)

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

    Activity: MembershipMembership in committee, council, board

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

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

    Activity: MembershipMembership in committee, council, board

  14. Opponent at PhD defence

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

    Activity: Examination

  15. SYRCoSE 2017 (Event)

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

    Activity: MembershipMembership in committee, council, board

  16. Intro to Cyber-Physical Systems and Smartness

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

    Activity: Talk or presentationLecture and oral contribution

  17. The INTO-CPS Project

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

    Activity: Talk or presentationLecture and oral contribution

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

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

    Activity: MembershipMembership in board of company or public organisation

  24. Det Frie Forskningsråd (External organisation)

    Larsen, P. G. (Member)
    20172021

    Activity: MembershipMembership in committee, council, board

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

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  27. OnTheMove 2017 (Event)

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

    Activity: MembershipMembership in committee, council, board

  28. Sensors (Journal)

    Larsen, P. G. (Editor)
    2017

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  29. Simulation Modelling Practice and Theory (Journal)

    Larsen, P. G. (Reviewer)
    2017

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  30. THE 15TH OVERTURE WORKSHOP (Event)

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

    Activity: MembershipMembership in committee, council, board

  31. The 16th Overture Workshop (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  32. 2016
  33. 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

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

  35. Industry 4.0

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

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

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

    Larsen, P. G. (Reviewer)
    Nov 2016

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  37. 1 art. til Applied Sciences (Journal)

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

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

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

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

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

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

  43. 1 art. til MDPI (Journal)

    Larsen, P. G. (Reviewer)
    Mar 2016

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

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

  45. SYRCoSE 2016

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

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

  46. FormaliSE 2017 (External organisation)

    Larsen, P. G. (Member)
    20162017

    Activity: MembershipMembership in committee, council, board

  47. 2015
  48. 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

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

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

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

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

  54. FormaliSE 2015

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

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

Previous 1 2 Next