Peter Gorm Larsen

Orcid: 0000-0002-4589-1500

Affiliations:
  • Aarhus University, Denmark


According to our database1, Peter Gorm Larsen authored at least 159 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Co-simulation at different levels of expertise with Maestro2.
J. Syst. Softw., March, 2024

2023
Constructing Neural Network Based Models for Simulating Dynamical Systems.
ACM Comput. Surv., November, 2023

Addressing time discrepancy between digital and physical twins.
Robotics Auton. Syst., March, 2023

State of the Art Report: Verified Computation.
CoRR, 2023

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users.
CoRR, 2023

Bidirectional UML Visualisation of VDM Models.
CoRR, 2023

VDM recursive functions in Isabelle/HOL.
CoRR, 2023

Modelling Chess in VDM++.
CoRR, 2023

Building Safer Robots: From Simulation to Hardware Deployment.
Proceedings of the 27th International Conference on Methods and Models in Automation and Robotics, 2023

Artificial Intelligence-Based Diagnosis of Hydraulic Centrifugal Pumps Using Vibration Sensor: Feature Extraction and Failure Classification.
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2023

A Modeling Approach for Composed Digital Twins in Cooperative Systems.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

An Architectural Extension for Digital Twin Platforms to Leverage Behavioral ModelsBehaviors.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems.
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

Examining Model Qualities and Their Impact on Digital Twins.
Proceedings of the Annual Modeling and Simulation Conference, 2023

2022
A Survey of Practical Formal Methods for Security.
Formal Aspects Comput., 2022

Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms.
Array, 2022

Towards Easy Robot System Integration: Challenges and Future Directions.
Proceedings of the IEEE/SICE International Symposium on System Integration, 2022

AURT: A Tool for Dynamics Calibration of Robot Manipulators.
Proceedings of the IEEE/SICE International Symposium on System Integration, 2022

Towards Secure Digital Twins.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Engineering of Digital Twins for Cyber-Physical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Digital Twins for Organ Preservation Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Product Quality Control in Assembly Machine under Data Restricted Settings.
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line.
Proceedings of the 10th International Conference on Control, Mechatronics and Automation, 2022

Formal Model In-The-Loop for Secure Industrial Control Networks.
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Integration Of The Mape-K Loop In Digital Twins.
Proceedings of the Annual Modeling and Simulation Conference, 2022

Towards Modular Digital Twins of Robot Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

Digital Twins for Autonomous Intelligent Systems: From Development to Deployment.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions.
Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

The Incubator Case Study for Digital Twin Engineering.
CoRR, 2021

A Universal Mechanism for Implementing Functional Mock-up Units.
Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins.
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Developing a Physical and Digital Twin: An Example Process Model.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Fault Injecting Co-simulations for Safety.
Proceedings of the 5th International Conference on System Reliability and Safety, 2021

Towards a Digital Twin Framework for Autonomous Robots.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

The Effect and Selection of Solution Sequence in Co-Simulation.
Proceedings of the Annual Modeling and Simulation Conference, 2021

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling.
Proceedings of the Annual Modeling and Simulation Conference, 2021

Introduction to Digital Twin Engineering.
Proceedings of the Annual Modeling and Simulation Conference, 2021

Digital twins for collaboration and self-integration.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020
Enabling continuous integration in a formal methods setting.
Int. J. Softw. Tools Technol. Transf., 2020

Editorial to the theme section on model-based engineering of smart systems.
Softw. Syst. Model., 2020

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2020

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems.
Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 2020

Introducing Regression Tests and Upgrades to the INTO-CPS Application.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Towards a Digital Twin - Modelling an Agricultural Vehicle.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Engineering of Digital Twins for Cyber-Physical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019
Realization of distributed system models using code generation extensions.
Softw. Pract. Exp., 2019

Maestro: The INTO-CPS co-simulation framework.
Simul. Model. Pract. Theory, 2019

Code generation for distributed embedded systems with VDM-RT.
Des. Autom. Embed. Syst., 2019

The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution.
Comput., 2019

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.
Proceedings of the Software Engineering and Formal Methods, 2019

Generation of Co-simulation Algorithms Subject to Simulator Contracts.
Proceedings of the Software Engineering and Formal Methods, 2019

Security analysis of cloud-connected industrial control systems using combinatorial testing.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

ViennaDoc: An Animatable and Testable Specification Documentation Tool.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Migrating the INTO-CPS Application to the Cloud.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Towards a Static Check of FMUs in VDM-SL.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.
Proceedings of the Frontiers in Software Engineering Education, 2019

On the Design of a New Software Engineering Curriculum in Computer Engineering.
Proceedings of the Frontiers in Software Engineering Education, 2019

Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Automated translation of VDM to JML-annotated Java.
Int. J. Softw. Tools Technol. Transf., 2018

Co-Simulation: A Survey.
ACM Comput. Surv., 2018

Co-simulation of Continuous Systems: A Tutorial.
CoRR, 2018

Robotic design choice overview using co-simulation.
CoRR, 2018

Towards the Verification of Hybrid Co-simulation Algorithms.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Demo: Stabilization Technique in INTO-CPS.
Proceedings of the Software Technologies: Applications and Foundations, 2018

From Software Specifications to Constraint Programming.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

A Non-unified View of Modelling, Specification and Programming.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Co-simulation: The Past, Future, and Open Challenges.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Cyber-Physical Systems Engineering: An Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18).
NII Shonan Meet. Rep., 2017

A holistic approach to energy-aware design of cyber-physical systems.
Int. J. Embed. Syst., 2017

A Formal Modeling Tool for Exploratory Modeling in Software Development.
IEICE Trans. Inf. Syst., 2017

Co-simulation: State of the art.
CoRR, 2017

Distributed Co-simulation of Embedded Control Software Using INTO-CPS.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2017

Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS.
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017

Features of Integrated Model-Based Co-modelling and Co-simulation Technology.
Proceedings of the Software Engineering and Formal Methods, 2017

Development of a Driverless Lawn Mower Using Co-simulation.
Proceedings of the Software Engineering and Formal Methods, 2017

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems.
Proceedings of the Software Engineering and Formal Methods, 2017

2016
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA.
J. Log. Algebraic Methods Program., 2016

A secure dynamic collaboration environment in a cloud context.
Future Gener. Comput. Syst., 2016

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4.
Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, 2016

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Formalising and Validating the Interface Description in the FMI Standard.
Proceedings of the FM 2016: Formal Methods, 2016

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.
Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015
Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration.
Robotics, 2015

Model checking CML: tool development and industrial applications.
Formal Aspects Comput., 2015

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.
ACM Comput. Surv., 2015

Towards Enabling Overture as a Platform for Formal Notation IDEs.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014
System Development: The DESTECS/Crescendo Technology.
ERCIM News, 2014

Distributed Simulation of Formal Models in System of Systems Engineering.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

An approach for managing semantic heterogeneity in Systems of Systems Engineering.
Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Co-modelling and co-simulation in the engineering of systems of cyber-physical systems.
Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Collaborative formal modeling of System of Systems.
Proceedings of the IEEE International Systems Conference, 2014

Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Contracts in CML.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Collaborative Systems of Systems Need Collaborative Design.
Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

Energy-Aware Model-Driven Development of a Wearable Healthcare Device.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Deploying Co-modelling in Commercial Practice.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Industrial Application of Co-modelling and Co-simulation Technology.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-model Structuring and Design Patterns.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Support for Co-modelling and Co-simulation: The Crescendo Tool.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.
Proceedings of the Collaborative Design for Embedded Systems, 2014

From Embedded to Cyber-Physical Systems: Challenges and Future Directions.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Semantics of Co-simulation.
Proceedings of the Collaborative Design for Embedded Systems, 2014

2013
A formal approach to collaborative modelling and co-simulation for embedded systems.
Math. Struct. Comput. Sci., 2013

Foundations for Model-Based Engineering of Systems of Systems.
Proceedings of the Complex Systems Design & Management, 2013

Industrial Deployment of Formal Methods: Trends and Challenges.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012
Features of CML: A formal modelling language for Systems of Systems.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Extending VDM-RT to enable the formal modelling of System of Systems.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

COMPASS tool vision for a system of systems Collaborative Development Environment.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Combining VDM with Executable Code.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
The overture initiative integrating tools for VDM.
ACM SIGSOFT Softw. Eng. Notes, 2010

Design support and tooling for dependable embedded control software.
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Combinatorial Testing for VDM.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Proving consistency of VDM models using HOL.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Proof Obligation Generation and Discharging for Recursive Definitions in VDM.
Proceedings of the Formal Methods and Software Engineering, 2010

Are Formal Methods Ready for Agility? A Reality Check.
Proceedings of the FM+AM 2010, 2010

2009
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM.
Int. J. Softw. Informatics, 2009

Practice-oriented courses in formal methods using VDM<sup>++</sup>.
Formal Aspects Comput., 2009

Formal methods: Practice and experience.
ACM Comput. Surv., 2009

Connecting UML and VDM++ with Open Tool Support.
Proceedings of the FM 2009: Formal Methods, 2009

Industrial Practice in Formal Methods: A Review.
Proceedings of the FM 2009: Formal Methods, 2009

Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.).
Cambridge University Press, ISBN: 978-0-521-89911-6, 2009

2008
Vienna Development Method.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

VDMTools: advances in support for formal modeling in VDM.
ACM SIGPLAN Notices, 2008

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.
Proceedings of the FM 2008: Formal Methods, 2008

2007
Validation Support for Distributed Real-Time Embedded Systems in VDM++.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Balancing Insight and Effort: The Industrial Uptake of Formal Methods.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM<sup>++</sup> Experience (Abstract).
Proceedings of the Leveraging Applications of Formal Methods, 2006

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
Proceedings of the FM 2006: Formal Methods, 2006

2001
Ten Years of Historical Development "Bootstrapping" VDMTools®.
J. Univers. Comput. Sci., 2001

2000
Using VDMTools to Model and Validate the Cash Dispenser Example.
Formal Aspects Comput., 2000

1998
The IFAD VDM Tools: Lightweight Formal Methods.
Proceedings of the Applied Formal Methods, 1998

A Lightweight Approach to Formal Methods.
Proceedings of the Applied Formal Methods, 1998

1997
PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

A Proof Obligation Generator for VDM-SL.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996
Applying Formal Specification in Industry.
IEEE Softw., 1996

Semantics of Under-determined Expressions.
Formal Aspects Comput., 1996

Combining VDM-SL Specifications with C++ Code.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995
Introduction to Special Section (Guest Editorial).
IEEE Trans. Software Eng., 1995

1994
The IFAD VDM-SL toolbox: a practical approach to formal specifications.
ACM SIGPLAN Notices, 1994

A Formal Semantics of Data Flow Diagrams.
Formal Aspects Comput., 1994

Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication).
Formal Aspects Comput., 1994

Evaluation of Underdetermined Explicit Definitions.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Formal and Informal Specifications of a Secure System Component: first results in a comparative study.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.
Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992
An overview of the ISO/VDM-SL standard.
ACM SIGPLAN Notices, 1992

Making specifications executable - Using IPTES Meta-IV.
Microprocess. Microprogramming, 1992

Standards for Non- Executable Specification Languages.
Comput. J., 1992

1991
An Executable Subset of Meta-IV with Loose Specification.
Proceedings of the VDM '91, 1991

1989
Towards a Formal Semantics of the BS/VDM Specification Language.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989


  Loading...