Peter Gorm Larsen

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 93

Top Venues

Publications

Zahra Kazemi, Emre Yildiz, Peter Gorm Larsen
Enabling Flexible Manufactuirng in Wind Industry Based on Movable Factory Concept: Definitions, Requirements, and Challenges. ICIT (2024)
Santiago Gil, Peter Høgh Mikkelsen, Cláudio Gomes, Peter Gorm Larsen
Survey on open-source digital twin frameworks-A case study approach. Softw. Pract. Exp. 54 (6) (2024)
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen
Co-simulation at different levels of expertise with Maestro2. J. Syst. Softw. 209 (2024)
Mirgita Frasheri, Gill Lumer-Klabbers, Jakob Levisen Kvistgaard, Jacob Odgaard Hausted, Casper Thule, Lukas Esterle, Peter Gorm Larsen
Building Safer Robots: From Simulation to Hardware Deployment. MMAR (2023)
Zahra Kazemi, Peter Rindom Andersen, Jakob Lemming, Peter Gorm Larsen
Artificial Intelligence-Based Diagnosis of Hydraulic Centrifugal Pumps Using Vibration Sensor: Feature Extraction and Failure Classification. ISIE (2023)
Morten Haahr Kristensen, Peter Gorm Larsen
Modelling Chess in VDM++. CoRR (2023)
Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald
Examining Model Qualities and Their Impact on Digital Twins. ANNSIM (2023)
Fatemeh Kakavandi, Peihua Han, Roger De Reus, Peter Gorm Larsen, Houxiang Zhang
Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications. ICCAD (2023)
Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Casper Schou, Peter Gorm Larsen
A Modeling Approach for Composed Digital Twins in Cooperative Systems. ETFA (2023)
Leo Freitas, Peter Gorm Larsen
VDM recursive functions in Isabelle/HOL. CoRR (2023)
Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo
Bidirectional UML Visualisation of VDM Models. CoRR (2023)
Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen
Constructing Neural Network Based Models for Simulating Dynamical Systems. ACM Comput. Surv. 55 (11) (2023)
Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. CoRR (2023)
Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Cláudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle
Addressing time discrepancy between digital and physical twins. Robotics Auton. Syst. 161 (2023)
Daniel Lehner, Santiago Gil, Peter Høgh Mikkelsen, Peter Gorm Larsen, Manuel Wimmer
An Architectural Extension for Digital Twin Platforms to Leverage Behavioral ModelsBehaviors. CASE (2023)
Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild
State of the Art Report: Verified Computation. CoRR (2023)
Emil Madsen, Daniella Tola, Carlos Hansen, Cláudio Gomes, Peter Gorm Larsen
AURT: A Tool for Dynamics Calibration of Robot Manipulators. SII (2022)
Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill
Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. CoRR (2022)
Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
Formal Model In-The-Loop for Secure Industrial Control Networks. FACS (2022)
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, James Woodcock
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34 (1) (2022)
Fatemeh Kakavandi, Peter Gorm Larsen
Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line. ICCMA (2022)
Fatemeh Kakavandi, Roger De Reus, Cláudio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen
Product Quality Control in Assembly Machine under Data Restricted Settings. INDIN (2022)
Daniella Tola, Emil Madsen, Cláudio Gomes, Lukas Esterle, Christian Schlette, Casper Hansen, Peter Gorm Larsen
Towards Easy Robot System Integration: Challenges and Future Directions. SII (2022)
Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
Towards Secure Digital Twins. ISoLA (4) (2022)
Daniella Tola, Till Böttjer, Peter Gorm Larsen, Lukas Esterle
Towards Modular Digital Twins of Robot Systems. ACSOS-C (2022)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) (2022)
Valentina Zambrano, Johannes Mueller-Roemer, Michael Sandberg, Prasad Talasila, Davide Zanin, Peter Gorm Larsen, Elke Loeschner, Wolfgang Thronicke, Dario Pietraroia, Giuseppe Landolfi, Alessandro Fontana, Manuel Laspalas, Jibinraj Antony, Valerie Poser, Tamás Kiss, Simon Bergweiler, Sebastián Peña Serna, Salvador Izquierdo, Ismael Viejo, Asier Juan, Francisco Serrano, André Stork
Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms. Array 14 (2022)
Hao Feng, Cláudio Gomes, Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Peter Gorm Larsen, Michael Sandberg
Integration Of The Mape-K Loop In Digital Twins. ANNSIM (2022)
Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen
Digital Twins for Organ Preservation Devices. ISoLA (4) (2022)
Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. ACSOS-C (2022)
Lukas Esterle, Cláudio Gomes, Mirgita Frasheri, Henrik Ejersbo, Sven Tomforde, Peter Gorm Larsen
Digital twins for collaboration and self-integration. ACSOS-C (2021)
Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle
Fault Injecting Co-simulations for Safety. ICSRS (2021)
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen
Introduction to Digital Twin Engineering. ANNSIM (2021)
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen
Constructing Neural Network-Based Models for Simulating Dynamical Systems. CoRR (2021)
Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
Developing a Physical and Digital Twin: An Example Process Model. MoDELS (Companion) (2021)
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. F-IDE@NFM (2021)
Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, Peter Gorm Larsen
Towards a Digital Twin Framework for Autonomous Robots. COMPSAC (2021)
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
A Survey of Practical Formal Methods for Security. CoRR (2021)
Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol
Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM (2021)
Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? SEFM Workshops (2021)
Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen
A Universal Mechanism for Implementing Functional Mock-up Units. SIMULTECH (2021)
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen
The Incubator Case Study for Digital Twin Engineering. CoRR (2021)
Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill
Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. SEFM Workshops (2021)
Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
The Effect and Selection of Solution Sequence in Co-Simulation. ANNSIM (2021)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) (2020)
Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR (2020)
Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen
Towards a Digital Twin - Modelling an Agricultural Vehicle. ISoLA (4) (2020)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
Enabling continuous integration in a formal methods setting. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. ISoLA (4) (2020)
John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen
Editorial to the theme section on model-based engineering of smart systems. Softw. Syst. Model. 19 (3) (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH (2020)
Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo
Introducing Regression Tests and Upgrades to the INTO-CPS Application. SEFM (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) (2020)
Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen
Migrating the INTO-CPS Application to the Cloud. FM Workshops (2) (2019)
Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
ViennaDoc: An Animatable and Testable Specification Documentation Tool. FM Workshops (2) (2019)
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin. From Software Engineering to Formal Methods and Tools, and Back (2019)
Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen
Generation of Co-simulation Algorithms Subject to Simulator Contracts. SEFM Workshops (2019)
Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops (2019)
Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Towards a Static Check of FMUs in VDM-SL. FM Workshops (2) (2019)
Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. FISEE (2019)
Miran Hasanagic, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
Realization of distributed system models using code generation extensions. Softw. Pract. Exp. 49 (3) (2019)
Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Peter Leslie Schultz, Lukas Esterle
On the Design of a New Software Engineering Curriculum in Computer Engineering. FISEE (2019)
Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen
Maestro: The INTO-CPS co-simulation framework. Simul. Model. Pract. Theory 92 (2019)
Hugo Daniel Macedo, René S. Nilsson, Peter Gorm Larsen
The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution. Comput. 8 (2) (2019)
Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen
Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE (2019)
Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy
Code generation for distributed embedded systems with VDM-RT. Des. Autom. Embed. Syst. 23 (3-4) (2019)
Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens
Automated translation of VDM to JML-annotated Java. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe
Co-simulation of Continuous Systems: A Tutorial. CoRR (2018)
Martin Peter Christiansen, Peter Gorm Larsen, Rasmus Nyholm Jørgensen
Robotic design choice overview using co-simulation. CoRR (2018)
Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe
Towards the Verification of Hybrid Co-simulation Algorithms. STAF Workshops (2018)
Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe
Demo: Stabilization Technique in INTO-CPS. STAF Workshops (2018)
Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe
Co-simulation: The Past, Future, and Open Challenges. ISoLA (3) (2018)
Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald
A Non-unified View of Modelling, Specification and Programming. ISoLA (1) (2018)
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe
Co-Simulation: A Survey. ACM Comput. Surv. 51 (3) (2018)
J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) (2018)
Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel
From Software Specifications to Constraint Programming. SEFM (2018)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops (2017)
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe
Co-simulation: State of the art. CoRR (2017)
Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). NII Shonan Meet. Rep. 2017 (2017)
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. SIMULTECH (2017)
Frederik F. Foldager, Peter Gorm Larsen, Ole Green
Development of a Driverless Lawn Mower Using Co-simulation. SEFM Workshops (2017)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Trans. Inf. Syst. (6) (2017)
José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen
A holistic approach to energy-aware design of cyber-physical systems. Int. J. Embed. Syst. 9 (3) (2017)
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen
Distributed Co-simulation of Embedded Control Software Using INTO-CPS. SIMULTECH (Selected Papers) (2017)
Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. SEFM Workshops (2017)
Chris Piechotta, Martin Grooss Olsen, Adam Enø Jensen, Joey W. Coleman, Peter Gorm Larsen
A secure dynamic collaboration environment in a cloud context. Future Gener. Comput. Syst. 55 (2016)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data (2016)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) (2016)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. IWST (2016)
Peter Gorm Larsen, John S. Fitzgerald
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. J. Log. Algebraic Methods Program. 85 (5) (2016)
Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen
Formalising and Validating the Interface Description in the FMI Standard. FM (2016)
Martin P. Christiansen, Peter Gorm Larsen, Rasmus N. Jørgensen
Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration. Robotics 4 (4) (2015)
Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen
Model checking CML: tool development and industrial applications. Formal Aspects Comput. 27 (5-6) (2015)
John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE (2015)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. FormaliSE@ICSE (2015)
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen
Towards Enabling Overture as a Platform for Formal Notation IDEs. F-IDE (2015)
Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. ACM Comput. Surv. 48 (2) (2015)
José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen
Energy-Aware Model-Driven Development of a Wearable Healthcare Device. FHIES/SEHC (2014)

Peter Gorm Larsen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Gorm Larsen