Peter Gorm Larsen

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Co-simulation at different levels of expertise with Maestro2.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen

J. Syst. Softw., March, 2024

Survey on open-source digital twin frameworks-A case study approach.

Santiago Gil, Peter Høgh Mikkelsen, Cláudio Gomes, Peter Gorm Larsen

Softw. Pract. Exp., 2024

Highly Accurate Anomaly Detection for the Combustion System of a Marine Engine Using Multivariate Transformers.

Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen

Proceedings of the 22nd IEEE Jubilee International Symposium on Intelligent Systems and Informatics, 2024

Enabling Flexible Manufactuirng in Wind Industry Based on Movable Factory Concept: Definitions, Requirements, and Challenges.

Zahra Kazemi, Emre Yildiz, Peter Gorm Larsen

Proceedings of the IEEE International Conference on Industrial Technology, 2024

Using FactoryML for Deployment of Machine Learning Models in Industrial Production.

Christian Remi Wewer, Harshit Mahapatra, Lukas Esterle, Peter Gorm Larsen

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Enhancing and Validating Simulator Data Generation Integrity Through Frequency-Based Analysis.

Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen

Proceedings of the 9th IEEE/ACIS International Conference on Big Data, 2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.

Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023

Constructing Neural Network Based Models for Simulating Dynamical Systems.

Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen

ACM Comput. Surv., November, 2023

Addressing time discrepancy between digital and physical twins.

Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Cláudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle

Robotics Auton. Syst., March, 2023

State of the Art Report: Verified Computation.

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

CoRR, 2023

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

Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen

CoRR, 2023

Bidirectional UML Visualisation of VDM Models.

Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo

CoRR, 2023

VDM recursive functions in Isabelle/HOL.

Leo Freitas, Peter Gorm Larsen

CoRR, 2023

Modelling Chess in VDM++.

Morten Haahr Kristensen, Peter Gorm Larsen

CoRR, 2023

Building Safer Robots: From Simulation to Hardware Deployment.

Mirgita Frasheri, Gill Lumer-Klabbers, Jakob Levisen Kvistgaard, Jacob Odgaard Hausted, Casper Thule, Lukas Esterle, Peter Gorm Larsen

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.

Zahra Kazemi, Peter Rindom Andersen, Jakob Lemming, Peter Gorm Larsen

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications.

Fatemeh Kakavandi, Peihua Han, Roger De Reus, Peter Gorm Larsen, Houxiang Zhang

Proceedings of the International Conference on Control, Automation and Diagnosis, 2023

A Modeling Approach for Composed Digital Twins in Cooperative Systems.

Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Casper Schou, Peter Gorm Larsen

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.

Daniel Lehner, Santiago Gil, Peter Høgh Mikkelsen, Peter Gorm Larsen, Manuel Wimmer

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.

Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

Examining Model Qualities and Their Impact on Digital Twins.

Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald

Proceedings of the Annual Modeling and Simulation Conference, 2023

2022

A Survey of Practical Formal Methods for Security.

Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock

Formal Aspects Comput., 2022

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

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

Array, 2022

Towards Easy Robot System Integration: Challenges and Future Directions.

Daniella Tola, Emil Madsen, Cláudio Gomes, Lukas Esterle, Christian Schlette, Casper Hansen, Peter Gorm Larsen

Proceedings of the IEEE/SICE International Symposium on System Integration, 2022

AURT: A Tool for Dynamics Calibration of Robot Manipulators.

Emil Madsen, Daniella Tola, Carlos Hansen, Cláudio Gomes, Peter Gorm Larsen

Proceedings of the IEEE/SICE International Symposium on System Integration, 2022

Towards Secure Digital Twins.

Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Engineering of Digital Twins for Cyber-Physical Systems.

John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Digital Twins for Organ Preservation Devices.

Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Product Quality Control in Assembly Machine under Data Restricted Settings.

Fatemeh Kakavandi, Roger De Reus, Cláudio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line.

Fatemeh Kakavandi, Peter Gorm Larsen

Proceedings of the 10th International Conference on Control, Mechatronics and Automation, 2022

Formal Model In-The-Loop for Secure Industrial Control Networks.

Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Integration Of The Mape-K Loop In Digital Twins.

Hao Feng, Cláudio Gomes, Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Peter Gorm Larsen, Michael Sandberg

Proceedings of the Annual Modeling and Simulation Conference, 2022

Towards Modular Digital Twins of Robot Systems.

Daniella Tola, Till Böttjer, Peter Gorm Larsen, Lukas Esterle

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.

Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

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.

Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

The Incubator Case Study for Digital Twin Engineering.

Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen

CoRR, 2021

A Universal Mechanism for Implementing Functional Mock-up Units.

Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen

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.

Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill

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?

Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Developing a Physical and Digital Twin: An Example Process Model.

Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Fault Injecting Co-simulations for Safety.

Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle

Proceedings of the 5th International Conference on System Reliability and Safety, 2021

Towards a Digital Twin Framework for Autonomous Robots.

Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, Peter Gorm Larsen

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

The Effect and Selection of Solution Sequence in Co-Simulation.

Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Annual Modeling and Simulation Conference, 2021

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling.

Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol

Proceedings of the Annual Modeling and Simulation Conference, 2021

Introduction to Digital Twin Engineering.

Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen

Proceedings of the Annual Modeling and Simulation Conference, 2021

Digital twins for collaboration and self-integration.

Lukas Esterle, Cláudio Gomes, Mirgita Frasheri, Henrik Ejersbo, Sven Tomforde, Peter Gorm Larsen

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Enabling continuous integration in a formal methods setting.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen

Int. J. Softw. Tools Technol. Transf., 2020

Editorial to the theme section on model-based engineering of smart systems.

John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen

Softw. Syst. Model., 2020

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems.

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

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2020

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems.

Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.

Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 2020

Introducing Regression Tests and Upgrades to the INTO-CPS Application.

Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins.

Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

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.

Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Towards a Digital Twin - Modelling an Agricultural Vehicle.

Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Engineering of Digital Twins for Cyber-Physical Systems.

John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock

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.

Miran Hasanagic, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen

Softw. Pract. Exp., 2019

Maestro: The INTO-CPS co-simulation framework.

Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen

Simul. Model. Pract. Theory, 2019

Code generation for distributed embedded systems with VDM-RT.

Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy

Des. Autom. Embed. Syst., 2019

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

Hugo Daniel Macedo, René S. Nilsson, Peter Gorm Larsen

Comput., 2019

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.

Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Generation of Co-simulation Algorithms Subject to Simulator Contracts.

Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Security analysis of cloud-connected industrial control systems using combinatorial testing.

Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen

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.

Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Migrating the INTO-CPS Application to the Cloud.

Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Towards a Static Check of FMUs in VDM-SL.

Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.

Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce

Proceedings of the Frontiers in Software Engineering Education, 2019

On the Design of a New Software Engineering Curriculum in Computer Engineering.

Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Schultz, Lukas Esterle

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.

John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Automated translation of VDM to JML-annotated Java.

Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens

Int. J. Softw. Tools Technol. Transf., 2018

Co-Simulation: A Survey.

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe

ACM Comput. Surv., 2018

Co-simulation of Continuous Systems: A Tutorial.

Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe

CoRR, 2018

Robotic design choice overview using co-simulation.

Martin Peter Christiansen, Peter Gorm Larsen, Rasmus Nyholm Jørgensen

CoRR, 2018

Towards the Verification of Hybrid Co-simulation Algorithms.

Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe

Proceedings of the Software Technologies: Applications and Foundations, 2018

Demo: Stabilization Technique in INTO-CPS.

Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe

Proceedings of the Software Technologies: Applications and Foundations, 2018

From Software Specifications to Constraint Programming.

Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

A Non-unified View of Modelling, Specification and Programming.

Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Co-simulation: The Past, Future, and Open Challenges.

Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Cyber-Physical Systems Engineering: An Introduction.

J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock

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

Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald

NII Shonan Meet. Rep., 2017

A holistic approach to energy-aware design of cyber-physical systems.

José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen

Int. J. Embed. Syst., 2017

A Formal Modeling Tool for Exploratory Modeling in Software Development.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

IEICE Trans. Inf. Syst., 2017

Co-simulation: State of the art.

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe

CoRR, 2017

Distributed Co-simulation of Embedded Control Software Using INTO-CPS.

Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen

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.

Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen

Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017

Features of Integrated Model-Based Co-modelling and Co-simulation Technology.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce

Proceedings of the Software Engineering and Formal Methods, 2017

Development of a Driverless Lawn Mower Using Co-simulation.

Frederik F. Foldager, Peter Gorm Larsen, Ole Green

Proceedings of the Software Engineering and Formal Methods, 2017

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems.

Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen

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.

Peter Gorm Larsen, John S. Fitzgerald

J. Log. Algebraic Methods Program., 2016

A secure dynamic collaboration environment in a cloud context.

Chris Piechotta, Martin Grooss Olsen, Adam Enø Jensen, Joey W. Coleman, Peter Gorm Larsen

Future Gener. Comput. Syst., 2016

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, 2016

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster

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.

Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the FM 2016: Formal Methods, 2016

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.

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

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015

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

Martin P. Christiansen, Peter Gorm Larsen, Rasmus N. Jørgensen

Robotics, 2015

Model checking CML: tool development and industrial applications.

Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen

Formal Aspects Comput., 2015

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.

Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska

ACM Comput. Surv., 2015

Towards Enabling Overture as a Platform for Formal Notation IDEs.

Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

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.

John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014

System Development: The DESTECS/Crescendo Technology.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

ERCIM News, 2014

Distributed Simulation of Formal Models in System of Systems Engineering.

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

An approach for managing semantic heterogeneity in Systems of Systems Engineering.

Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen

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.

John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Collaborative formal modeling of System of Systems.

Claus Ballegaard Nielsen, Peter Gorm Larsen

Proceedings of the IEEE International Systems Conference, 2014

Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems.

José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen

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.

Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen

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

Collaborative Systems of Systems Need Collaborative Design.

John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim

Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

Energy-Aware Model-Driven Development of a Wearable Healthcare Device.

José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Deploying Co-modelling in Commercial Practice.

Sune Wolff, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Collaborative Design for Embedded Systems, 2014

Industrial Application of Co-modelling and Co-simulation Technology.

Marcel Verhoef, Peter Gorm Larsen

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-model Structuring and Design Patterns.

Kenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the Collaborative Design for Embedded Systems, 2014

Support for Co-modelling and Co-simulation: The Crescendo Tool.

Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl

Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.

Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce

Proceedings of the Collaborative Design for Embedded Systems, 2014

From Embedded to Cyber-Physical Systems: Challenges and Future Directions.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Collaborative Design for Embedded Systems, 2014

Semantics of Co-simulation.

Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Collaborative Design for Embedded Systems, 2014

2013

A formal approach to collaborative modelling and co-simulation for embedded systems.

John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef

Math. Struct. Comput. Sci., 2013

Foundations for Model-Based Engineering of Systems of Systems.

John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock

Proceedings of the Complex Systems Design & Management, 2013

Industrial Deployment of Formal Methods: Trends and Challenges.

John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Features of CML: A formal modelling language for Systems of Systems.

Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Extending VDM-RT to enable the formal modelling of System of Systems.

Claus Ballegaard Nielsen, Peter Gorm Larsen

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

COMPASS tool vision for a system of systems Collaborative Development Environment.

Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Combining VDM with Executable Code.

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.

Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle

Proceedings of the Formal Methods and Software Engineering, 2011

2010

The overture initiative integrating tools for VDM.

Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef

ACM SIGSOFT Softw. Eng. Notes, 2010

Design support and tooling for dependable embedded control software.

Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Combinatorial Testing for VDM.

Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Proving consistency of VDM models using HOL.

Sander Vermolen, Jozef Hooman, Peter Gorm Larsen

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.

John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Proof Obligation Generation and Discharging for Recursive Definitions in VDM.

Augusto Ribeiro, Peter Gorm Larsen

Proceedings of the Formal Methods and Software Engineering, 2010

Are Formal Methods Ready for Agility? A Reality Check.

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff

Proceedings of the FM+AM 2010, 2010

2009

Methods for the Development of Distributed Real-Time Embedded Systems Using VDM.

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff

Int. J. Softw. Informatics, 2009

Practice-oriented courses in formal methods using VDM⁺⁺.

Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle

Formal Aspects Comput., 2009

Formal methods: Practice and experience.

Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald

ACM Comput. Surv., 2009

Connecting UML and VDM++ with Open Tool Support.

Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen

Proceedings of the FM 2009: Formal Methods, 2009

Industrial Practice in Formal Methods: A Review.

Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock

Proceedings of the FM 2009: Formal Methods, 2009

Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.).

John S. Fitzgerald, Peter Gorm Larsen

Cambridge University Press, ISBN: 978-0-521-89911-6, 2009

2008

Vienna Development Method.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

VDMTools: advances in support for formal modeling in VDM.

John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara

ACM SIGPLAN Notices, 2008

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.

Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the FM 2008: Formal Methods, 2008

2007

Validation Support for Distributed Real-Time Embedded Systems in VDM++.

John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef

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.

John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Triumphs and Challenges for Model-Oriented Formal Methods: The VDM⁺⁺ Experience (Abstract).

John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, 2006

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

Proceedings of the FM 2006: Formal Methods, 2006

2001

Ten Years of Historical Development "Bootstrapping" VDMTools®.

Peter Gorm Larsen

J. Univers. Comput. Sci., 2001

2000

Using VDMTools to Model and Validate the Cash Dispenser Example.

Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen

Formal Aspects Comput., 2000

1998

The IFAD VDM Tools: Lightweight Formal Methods.

Sten Agerholm, Peter Gorm Larsen

Proceedings of the Applied Formal Methods, 1998

A Lightweight Approach to Formal Methods.

Sten Agerholm, Peter Gorm Larsen

Proceedings of the Applied Formal Methods, 1998

1997

PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System.

Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

A Proof Obligation Generator for VDM-SL.

Bernhard K. Aichernig, Peter Gorm Larsen

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Applying Formal Specification in Industry.

Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes

IEEE Softw., 1996

Semantics of Under-determined Expressions.

Peter Gorm Larsen, Bo Stig Hansen

Formal Aspects Comput., 1996

Combining VDM-SL Specifications with C++ Code.

Brigitte Fröhlich, Peter Gorm Larsen

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.

T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Introduction to Special Section (Guest Editorial).

Jim Woodcock, Peter Gorm Larsen

IEEE Trans. Software Eng., 1995

1994

The IFAD VDM-SL toolbox: a practical approach to formal specifications.

René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen

ACM SIGPLAN Notices, 1994

A Formal Semantics of Data Flow Diagrams.

Peter Gorm Larsen, Nico Plat, Hans Toetenel

Formal Aspects Comput., 1994

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

Peter Gorm Larsen

Formal Aspects Comput., 1994

Evaluation of Underdetermined Explicit Definitions.

Peter Gorm Larsen

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.

John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.

Peter Gorm Larsen

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

An overview of the ISO/VDM-SL standard.

Nico Plat, Peter Gorm Larsen

ACM SIGPLAN Notices, 1992

Making specifications executable - Using IPTES Meta-IV.

Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen

Microprocess. Microprogramming, 1992

Standards for Non- Executable Specification Languages.

Peter Gorm Larsen, Nico Plat

Comput. J., 1992

1991

An Executable Subset of Meta-IV with Loose Specification.

Peter Gorm Larsen, Poul Bøgh Lassen

Proceedings of the VDM '91, 1991

1989

Towards a Formal Semantics of the BS/VDM Specification Language.

Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989