Aarhus University Seal / Aarhus Universitets segl

Peter Gorm Larsen

  1. 2020
  2. SKOV AS

    Peter Gorm Larsen (Visiting researcher)

    2 Dec 2020

    Activity: Visiting an external institution typesVisiting an external academic institution

  3. 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications

    Peter Gorm Larsen (Participant)

    8 Jul 202010 Jul 2020

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

  4. Digital Europe (External organisation)

    Peter Gorm Larsen (Member)

    Apr 2020

    Activity: Membership typesMembership in committee, council, board

  5. Hvad er mulighederne med digitale tvillinger?

    Peter Gorm Larsen (Lecturer)

    30 Jan 2020

    Activity: Talk or presentation typesLecture and oral contribution

  6. HUBCAP

    Carl Peter Leslie Schultz (Participant), Hugo Daniel Macedo (Participant), Jalil Boudjadar (Participant), Lene Birksø Bødskov (Organizer), Lukas Esterle (Participant), Niklas Braarud Jordal (Organizer), Peter Gorm Larsen (Organizer) & Tomas Kulik (Participant)

    21 Jan 202023 Jan 2020

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

  7. 2020 Summer Simulation Conference (Event)

    Peter Gorm Larsen (Member)

    2020

    Activity: Membership typesMembership in committee, council, board

  8. ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (Event)

    Peter Gorm Larsen (Member)

    20202021

    Activity: Membership typesMembership in committee, council, board

  9. Formal Aspects of Computing (Journal)

    Peter Gorm Larsen (Reviewer)

    2020

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

  10. Formal Methods in System Design (Journal)

    Peter Gorm Larsen (Reviewer)

    2020

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

  11. FormaliSE 2021 (Event)

    Peter Gorm Larsen (Member)

    20202021

    Activity: Membership typesMembership in committee, council, board

  12. OSS 2020 (External organisation)

    Peter Gorm Larsen (Member)

    2020

    Activity: Membership typesMembership in committee, council, board

  13. Transactions on Cyber-Physical Systems (Journal)

    Peter Gorm Larsen (Reviewer)

    2020

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

  14. 2019
  15. Nye tendenser i AI-forskning: Teknologiske muligheder og udviklingspotentiale

    Peter Gorm Larsen (Lecturer) & Stephen Alstrup (Lecturer)

    7 Nov 2019

    Activity: Talk or presentation typesLecture and oral contribution

  16. Towards Digital Twins for Cyber-Physical Systems

    Peter Gorm Larsen (Lecturer)

    4 Nov 2019

    Activity: Talk or presentation typesLecture and oral contribution

  17. School of Computing Science, Newcastle University

    Peter Gorm Larsen (Visiting researcher)

    1 Sep 201931 Mar 2022

    Activity: Visiting an external institution typesVisiting an external academic institution

  18. Department of Computer Science, University of York

    Peter Gorm Larsen (Visiting researcher)

    1 Apr 20191 Apr 2024

    Activity: Visiting an external institution typesVisiting an external academic institution

  19. 17th Overture Workshop (Event)

    Peter Gorm Larsen (Member)

    2019

    Activity: Membership typesMembership in committee, council, board

  20. 17th Overture Workshop (Event)

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

    2019

    Activity: Membership typesMembership in committee, council, board

  21. 3rd World Congress on Formal Methods (Event)

    Peter Gorm Larsen (Member)

    2019

    Activity: Membership typesMembership in committee, council, board

  22. Akademiet for de Tekniske Videnskaber (ATV) (External organisation)

    Peter Gorm Larsen (Chairman)

    2019

    Activity: Membership typesMembership in committee, council, board

  23. IEEE Access (Journal)

    Peter Gorm Larsen (Reviewer)

    2019

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

  24. IEEE Transactions on Industrial Informatics (Journal)

    Peter Gorm Larsen (Reviewer)

    2019

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

  25. 2018
  26. Networking Dinner for researchers & company representatives

    Peter Gorm Larsen (Participant), Erich Prem (Participant) & Tim Llewellyn (Participant)

    3 Dec 2018

    Activity: Other activity typesOther

  27. The Vienna Development Method (VDM)

    Peter Gorm Larsen (Lecturer)

    16 Oct 2018

    Activity: Talk or presentation typesLecture and oral contribution

  28. STAF 2018 Collocated Workshops

    Cinzia Bernardeschi (Organizer), Peter Gorm Larsen (Organizer) & Paolo Masci (Organizer)

    Jun 2018

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

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

  30. OnTheMove Federated Conferences & Workshops 2018 (Event)

    Peter Gorm Larsen (Member)

    2018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)

    2018

    Activity: Membership typesMembership in committee, council, board

  32. 7th International Conference on Formal Methods in Software Engineering (Event)

    Peter Gorm Larsen (Member)

    20182019

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Reviewer)

    2018

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

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

    Peter Gorm Larsen (Member)

    2018

    Activity: Membership typesMembership in committee, council, board

  35. Journal of Applied Sciences (Journal)

    Peter Gorm Larsen (Editor)

    2018 → …

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

  36. Journal of Systems and Software (Journal)

    Peter Gorm Larsen (Reviewer)

    2018

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

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

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

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

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

  42. FMICS/AVOCS 2017 (Event)

    Peter Gorm Larsen (Member)

    18 Sep 201720 Sep 2017

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)

    4 Aug 20176 Aug 2017

    Activity: Membership typesMembership in committee, council, board

  44. Opponent at PhD defence

    Peter Gorm Larsen (Examiner)

    26 Jun 2017

    Activity: External lectures and ExaminationExamination

  45. SYRCoSE 2017 (Event)

    Peter Gorm Larsen (Member)

    31 May 20172 Jun 2017

    Activity: Membership typesMembership in committee, council, board

  46. Intro to Cyber-Physical Systems and Smartness

    Peter Gorm Larsen (Lecturer)

    21 Apr 2017

    Activity: Talk or presentation typesLecture and oral contribution

  47. The INTO-CPS Project

    Peter Gorm Larsen (Lecturer)

    21 Apr 2017

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Member)

    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)

    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)

    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)

    20172018

    Activity: Membership typesMembership in committee, council, board

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

    Peter Gorm Larsen (Member)

    20172018

    Activity: Membership typesMembership in committee, council, board

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

  54. Det Frie Forskningsråd (External organisation)

    Peter Gorm Larsen (Member)

    20172021

    Activity: Membership typesMembership in committee, council, board

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

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

    Peter Gorm Larsen (Member)

    20172018

    Activity: Membership typesMembership in committee, council, board

  57. OnTheMove 2017 (Event)

    Peter Gorm Larsen (Member)

    2017 → …

    Activity: Membership typesMembership in committee, council, board

  58. Sensors (Journal)

    Peter Gorm Larsen (Editor)

    2017

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

  59. Simulation Modelling Practice and Theory (Journal)

    Peter Gorm Larsen (Reviewer)

    2017

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

  60. THE 15TH OVERTURE WORKSHOP (Event)

    Peter Gorm Larsen (Member)

    2017 → …

    Activity: Membership typesMembership in committee, council, board

  61. The 16th Overture Workshop (Event)

    Peter Gorm Larsen (Member)

    20172018

    Activity: Membership typesMembership in committee, council, board

  62. 2016
  63. 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

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

  65. Industry 4.0

    Peter Gorm Larsen (Speaker)

    3 Nov 2016

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

  66. Journal of Systems and Software (Journal)

    Peter Gorm Larsen (Reviewer)

    Nov 2016

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

  67. Applied Sciences (Journal)

    Peter Gorm Larsen (Reviewer)

    18 Jun 2016

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

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

  69. MDPI (Journal)

    Peter Gorm Larsen (Reviewer)

    Mar 2016

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

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

  71. SYRCoSE 2016

    Peter Gorm Larsen (Organizer)

    Jan 2016Jun 2016

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

  72. FormaliSE 2017 (External organisation)

    Peter Gorm Larsen (Member)

    20162017

    Activity: Membership typesMembership in committee, council, board

  73. 2015
  74. 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

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

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

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

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

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

  80. FormaliSE 2015

    Peter Gorm Larsen (Organizer)

    18 Jun 2015

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

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

  82. Formal Specifications: Research and Industrial Practice

    Peter Gorm Larsen (Lecturer)

    8 Mar 2015

    Activity: Talk or presentation typesLecture and oral contribution

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

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

  85. Formal Aspects of Computing (Journal)

    Peter Gorm Larsen (Reviewer)

    Feb 2015

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

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

  87. Science of Computer Programming (Journal)

    Peter Gorm Larsen (Reviewer)

    Feb 2015

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

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

  90. Review of application: ENVISAGE

    Peter Gorm Larsen (Participant)

    1 Nov 201430 Nov 2014

    Activity: Other activity typesOther

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

  92. Introduction to the Overture Tool

    Peter Gorm Larsen (Lecturer)

    28 Oct 2014

    Activity: Talk or presentation typesLecture and oral contribution

  93. Are Formal Methods Ready for Agility?

    Peter Gorm Larsen (Lecturer)

    25 Oct 2014

    Activity: Talk or presentation typesLecture and oral contribution

  94. NPO TopSE centre at NII

    Peter Gorm Larsen (Visiting lecturer)

    24 Oct 2014

    Activity: Visiting an external institution typesVisiting an external academic institution

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

  96. Advances in Intelligent Systems and Computing (Journal)

    Peter Gorm Larsen (Reviewer)

    Oct 2014

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

  97. Review of application: iCARGO

    Peter Gorm Larsen (Participant)

    1 Sep 201430 Sep 2014

    Activity: Other activity typesOther

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

    Peter Gorm Larsen (Member)

    1 Jan 2014

    Activity: Membership typesMembership in committee, council, board

  99. ABZ'2014 conference (External organisation)

    Peter Gorm Larsen (Member)

    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  100. ARTEMIS (External organisation)

    Peter Gorm Larsen (Member)

    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  101. Advances of Systems of Systems (External organisation)

    Peter Gorm Larsen (Member)

    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

  102. Formal Methods (External organisation)

    Peter Gorm Larsen (Member)

    1 Jan 201431 Dec 2014

    Activity: Membership typesMembership in committee, council, board

Previous 1 2 Next