Towards a Formal Semantics of the BS/VDM Specification Language. - Peter Gorm Larsen; Michael Meincke Arentoft; Brian Q. Monahan; Stephen Bear (IFIP Congress, 1989)

An Executable Subset of Meta-IV with Loose Specification. - Peter Gorm Larsen; Poul Bøgh Lassen (VDM Europe (1), 1991)

Standards for Non- Executable Specification Languages. - Peter Gorm Larsen; Nico Plat (Comput. J., 1992)

Making specifications executable - Using IPTES Meta-IV. - Michael Andersen; René Elmstrøm; Poul Bøgh Lassen; Peter Gorm Larsen (Microprocess. Microprogramming, 1992)

An overview of the ISO/VDM-SL standard. - Nico Plat; Peter Gorm Larsen (ACM SIGPLAN Notices, 1992)

Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. - Peter Gorm Larsen (Semantics of Specification Languages, 1993)

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 (FME, 1994)

Evaluation of Underdetermined Explicit Definitions. - Peter Gorm Larsen (FME, 1994)

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

A Formal Semantics of Data Flow Diagrams. - Peter Gorm Larsen; Nico Plat; Hans Toetenel (Formal Aspects Comput., 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)

Introduction to Special Section (Guest Editorial). - Jim Woodcock 001; Peter Gorm Larsen (IEEE Trans. Software Eng., 1995)

Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. - T. M. Brookes; John S. Fitzgerald; Peter Gorm Larsen (FME, 1996)

Combining VDM-SL Specifications with C++ Code. - Brigitte Fröhlich; Peter Gorm Larsen (FME, 1996)

Semantics of Under-determined Expressions. - Peter Gorm Larsen; Bo Stig Hansen (Formal Aspects Comput., 1996)

Applying Formal Specification in Industry. - Peter Gorm Larsen; John S. Fitzgerald; T. M. Brookes (IEEE Softw., 1996)

A Proof Obligation Generator for VDM-SL. - Bernhard K. Aichernig; Peter Gorm Larsen (FME, 1997)

PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. - Lionel Devauchelle; Peter Gorm Larsen; Henrik Voss (FME, 1997)

A Lightweight Approach to Formal Methods. - Sten Agerholm; Peter Gorm Larsen (FM-Trends, 1998)

The IFAD VDM Tools: Lightweight Formal Methods. - Sten Agerholm; Peter Gorm Larsen (FM-Trends, 1998)

Using VDMTools to Model and Validate the Cash Dispenser Example. - Peter Gorm Larsen; Paul Mukherjee; Kim Sunesen (Formal Aspects Comput., 2000)

Ten Years of Historical Development "Bootstrapping" VDMTools®. - Peter Gorm Larsen (J. Univers. Comput. Sci., 2001)

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. - Marcel Verhoef; Peter Gorm Larsen; Jozef Hooman (FM, 2006)

Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). - John S. Fitzgerald; Peter Gorm Larsen (ISoLA, 2006)

Balancing Insight and Effort: The Industrial Uptake of Formal Methods. - John S. Fitzgerald; Peter Gorm Larsen (Formal Methods and Hybrid Real-Time Systems, 2007)

Validation Support for Distributed Real-Time Embedded Systems in VDM++. - John S. Fitzgerald; Simon Tjell; Peter Gorm Larsen; Marcel Verhoef (HASE, 2007)

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. - Hugo Daniel Macedo; Peter Gorm Larsen; John S. Fitzgerald (FM, 2008)

VDMTools: advances in support for formal modeling in VDM. - John S. Fitzgerald; Peter Gorm Larsen; Shin Sahara (ACM SIGPLAN Notices, 2008)

Vienna Development Method. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). - John S. Fitzgerald; Peter Gorm Larsen (Cambridge University Press, 2009)

Industrial Practice in Formal Methods: A Review. - Juan Bicarregui; John S. Fitzgerald; Peter Gorm Larsen; J. C. P. Woodcock (FM, 2009)

Connecting UML and VDM++ with Open Tool Support. - Kenneth Lausdahl; Hans Kristian Agerlund Lintrup; Peter Gorm Larsen (FM, 2009)

Formal methods: Practice and experience. - Jim Woodcock 001; Peter Gorm Larsen; Juan Bicarregui; John S. Fitzgerald (ACM Comput. Surv., 2009)

Practice-oriented courses in formal methods using VDM++. - Peter Gorm Larsen; John S. Fitzgerald; Steve Riddle (Formal Aspects Comput., 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)

Are Formal Methods Ready for Agility? A Reality Check. - Peter Gorm Larsen; John S. Fitzgerald; Sune Wolff (FM+AM, 2010)

Proof Obligation Generation and Discharging for Recursive Definitions in VDM. - Augusto Ribeiro; Peter Gorm Larsen (ICFEM, 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 (IFM, 2010)

Proving consistency of VDM models using HOL. - Sander Vermolen; Jozef Hooman; Peter Gorm Larsen (SAC, 2010)

Combinatorial Testing for VDM. - Peter Gorm Larsen; Kenneth Lausdahl; Nick Battle (SEFM, 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 (SERENE, 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)

A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. - Kenneth Lausdahl; Peter Gorm Larsen; Nick Battle (ICFEM, 2011)

Combining VDM with Executable Code. - Claus Ballegaard Nielsen; Kenneth Lausdahl; Peter Gorm Larsen (ABZ, 2012)

COMPASS tool vision for a system of systems Collaborative Development Environment. - Joey W. Coleman; Anders Kaels Malmos; Peter Gorm Larsen; Jan Peleska 001; Ralph Hains; Zoe Andrews; Richard John Payne; Simon Foster 001; Alvaro Miyazawa; Cristiano Bertolini; André Didier (SoSE, 2012)

Extending VDM-RT to enable the formal modelling of System of Systems. - Claus Ballegaard Nielsen; Peter Gorm Larsen (SoSE, 2012)

Features of CML: A formal modelling language for Systems of Systems. - Jim Woodcock 001; Ana Cavalcanti 001; John S. Fitzgerald; Peter Gorm Larsen; Alvaro Miyazawa; Simon Perry (SoSE, 2012)

Industrial Deployment of Formal Methods: Trends and Challenges. - John S. Fitzgerald; Juan Bicarregui; Peter Gorm Larsen; Jim Woodcock 001 (Industrial Deployment of System Engineering Methods, 2013)

Foundations for Model-Based Engineering of Systems of Systems. - John S. Fitzgerald; Peter Gorm Larsen; Jim Woodcock 001 (CSDM, 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)

Semantics of Co-simulation. - Joey W. Coleman; Kenneth Lausdahl; Peter Gorm Larsen (Collaborative Design for Embedded Systems, 2014)

From Embedded to Cyber-Physical Systems: Challenges and Future Directions. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (Collaborative Design for Embedded Systems, 2014)

Discrete-Event Modelling in VDM. - Peter Gorm Larsen; John S. Fitzgerald; Marcel Verhoef; Kenneth Pierce (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 (Collaborative Design for Embedded Systems, 2014)

Co-model Structuring and Design Patterns. - Kenneth Pierce; Peter Gorm Larsen; John S. Fitzgerald (Collaborative Design for Embedded Systems, 2014)

Industrial Application of Co-modelling and Co-simulation Technology. - Marcel Verhoef; Peter Gorm Larsen (Collaborative Design for Embedded Systems, 2014)

Deploying Co-modelling in Commercial Practice. - Sune Wolff; Peter Gorm Larsen; Marcel Verhoef (Collaborative Design for Embedded Systems, 2014)

Energy-Aware Model-Driven Development of a Wearable Healthcare Device. - José Antonio Esparza Isasa; Peter Gorm Larsen; Finn Overgaard Hansen (FHIES/SEHC, 2014)

Collaborative Systems of Systems Need Collaborative Design. - John S. Fitzgerald; Jeremy W. Bryans; Peter Gorm Larsen; Hansen Salim (PRO-VE, 2014)

Contracts in CML. - Jim Woodcock 001; Ana Cavalcanti 001; John S. Fitzgerald; Simon Foster 001; Peter Gorm Larsen (ISoLA (2), 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 (MODELSWARD, 2014)

Collaborative formal modeling of System of Systems. - Claus Ballegaard Nielsen; Peter Gorm Larsen (SysCon, 2014)

Co-modelling and co-simulation in the engineering of systems of cyber-physical systems. - John S. Fitzgerald; Ken G. Pierce; Peter Gorm Larsen (SoSE, 2014)

An approach for managing semantic heterogeneity in Systems of Systems Engineering. - Simon Foster 001; Alvaro Miyazawa; Jim Woodcock 001; Ana Cavalcanti 001; John S. Fitzgerald; Peter Gorm Larsen (SoSE, 2014)

Distributed Simulation of Formal Models in System of Systems Engineering. - Claus Ballegaard Nielsen; Kenneth Lausdahl; Peter Gorm Larsen (WETICE, 2014)

System Development: The DESTECS/Crescendo Technology. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (ERCIM News, 2014)

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. - John S. Fitzgerald; Carl Gamble; Peter Gorm Larsen; Kenneth Pierce; Jim Woodcock 001 (FormaliSE@ICSE, 2015)

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (FormaliSE@ICSE, 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 (F-IDE, 2015)

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. - Claus Ballegaard Nielsen; Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Jan Peleska 001 (ACM Comput. Surv., 2015)

Model checking CML: tool development and industrial applications. - Alexandre Mota 001; Adalberto Farias; Jim Woodcock 001; Peter Gorm Larsen (Formal Aspects Comput., 2015)

Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration. - Martin P. Christiansen; Peter Gorm Larsen; Rasmus N. Jørgensen (Robotics, 2015)

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Peter Fritzson; Jörg Brauer; Christian Kleijn; Thierry Lecomte; Markus Pfeil; Ole Green; Stylianos Basagiannis; Andrey Sadovykh (CPS Data, 2016)

Formalising and Validating the Interface Description in the FMI Standard. - Miran Hasanagic; Peter W. V. Tran-Jørgensen; Kenneth Lausdahl; Peter Gorm Larsen (FM, 2016)

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; René A. Nilsson; Carl Gamble; Simon Foster 001 (ISoLA (2), 2016)

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (IWST, 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)

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)

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 (SEFM Workshops, 2017)

Development of a Driverless Lawn Mower Using Co-simulation. - Frederik F. Foldager; Peter Gorm Larsen; Ole Green (SEFM Workshops, 2017)

Features of Integrated Model-Based Co-modelling and Co-simulation Technology. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Carl Gamble; Richard John Payne; Kenneth Pierce (SEFM Workshops, 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 (SIMULTECH, 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 (SIMULTECH (Selected Papers), 2017)

Co-simulation: State of the art. - Cláudio Gomes 001; Casper Thule; David Broman; Peter Gorm Larsen; Hans Vangheluwe (CoRR, 2017)

A Formal Modeling Tool for Exploratory Modeling in Software Development. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (IEICE Trans. Inf. Syst., 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)

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)

Cyber-Physical Systems Engineering: An Introduction. - J. Paul Gibson; Peter Gorm Larsen; Marc Pantel; John S. Fitzgerald; Jim Woodcock 001 (ISoLA (3), 2018)

Co-simulation: The Past, Future, and Open Challenges. - Cláudio Gomes 001; Casper Thule; Julien Deantoni; Peter Gorm Larsen; Hans Vangheluwe (ISoLA (3), 2018)

A Non-unified View of Modelling, Specification and Programming. - Stefan Hallerstede; Peter Gorm Larsen; John S. Fitzgerald (ISoLA (1), 2018)

From Software Specifications to Constraint Programming. - Stefan Hallerstede; Miran Hasanagic; Sebastian Krings; Peter Gorm Larsen; Michael Leuschel (SEFM, 2018)

Demo: Stabilization Technique in INTO-CPS. - Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen; Hans Vangheluwe (STAF Workshops, 2018)

Towards the Verification of Hybrid Co-simulation Algorithms. - Casper Thule; Cláudio Gomes 001; Julien Deantoni; Peter Gorm Larsen; Jörg Brauer; Hans Vangheluwe (STAF Workshops, 2018)

Robotic design choice overview using co-simulation. - Martin Peter Christiansen; Peter Gorm Larsen; Rasmus Nyholm Jørgensen (CoRR, 2018)

Co-simulation of Continuous Systems: A Tutorial. - Cláudio Gomes 001; Casper Thule; Peter Gorm Larsen; Joachim Denil; Hans Vangheluwe (CoRR, 2018)

Co-Simulation: A Survey. - Cláudio Gomes 001; Casper Thule; David Broman; Peter Gorm Larsen; Hans Vangheluwe (ACM Comput. Surv., 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)

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 (From Software Engineering to Formal Methods and Tools, and Back, 2019)

On the Design of a New Software Engineering Curriculum in Computer Engineering. - Stefan Hallerstede; Peter Gorm Larsen; Jalil Boudjadar; Carl Schultz 001; Lukas Esterle (FISEE, 2019)

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. - Peter Gorm Larsen; Hugo Daniel Macedo; Cláudio Goncalves Gomes 001; Lukas Esterle; Casper Thule; John S. Fitzgerald; Kenneth Pierce (FISEE, 2019)

Towards a Static Check of FMUs in VDM-SL. - Nick Battle; Casper Thule; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (FM Workshops (2), 2019)

Migrating the INTO-CPS Application to the Cloud. - Hugo Daniel Macedo; Mikkel Bayard Rasmussen; Casper Thule; Peter Gorm Larsen (FM Workshops (2), 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 (FM Workshops (2), 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 (MEMOCODE, 2019)

Generation of Co-simulation Algorithms Subject to Simulator Contracts. - Cláudio Gomes 001; Casper Thule; Levi Lúcio; Hans Vangheluwe; Peter Gorm Larsen (SEFM Workshops, 2019)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. - Casper Thule; Maurizio Palmieri; Cláudio Gomes 001; Kenneth Lausdahl; Hugo Daniel Macedo; Nick Battle; Peter Gorm Larsen (SEFM Workshops, 2019)

The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution. - Hugo Daniel Macedo; René S. Nilsson; Peter Gorm Larsen (Comput., 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)

Maestro: The INTO-CPS co-simulation framework. - Casper Thule; Kenneth Lausdahl; Cláudio Gomes 001; Gerd Meisl; Peter Gorm Larsen (Simul. Model. Pract. Theory, 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)

Engineering of Digital Twins for Cyber-Physical Systems. - John S. Fitzgerald; Peter Gorm Larsen; Tiziana Margaria; Jim Woodcock 001 (ISoLA (4), 2020)

Towards a Digital Twin - Modelling an Agricultural Vehicle. - Frederik F. Foldager; Casper Thule; Ole Balling; Peter Gorm Larsen (ISoLA (4), 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 001 (ISoLA (4), 2020)

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. - Jim Woodcock 001; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (ISoLA (4), 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 (SEFM, 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. (SIMULTECH, 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 (SIMULTECH (Selected Papers), 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)

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)

Digital twins for collaboration and self-integration. - Lukas Esterle; Cláudio Gomes 001; Mirgita Frasheri; Henrik Ejersbo; Sven Tomforde; Peter Gorm Larsen (ACSOS-C, 2021)

Introduction to Digital Twin Engineering. - Hao Feng; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Alexandros Iosifidis; Peter Gorm Larsen (ANNSIM, 2021)

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. - Simon Thrane Hansen; Cláudio Gomes 001; Peter Gorm Larsen; Jaco van de Pol (ANNSIM, 2021)

The Effect and Selection of Solution Sequence in Co-Simulation. - Emin Oguz Inci; Jan Croes; Wim Desmet; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen (ANNSIM, 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 (COMPSAC, 2021)

Fault Injecting Co-simulations for Safety. - Mirgita Frasheri; Casper Thule; Hugo Daniel Macedo; Kenneth Lausdahl; Peter Gorm Larsen; Lukas Esterle (ICSRS, 2021)

Developing a Physical and Digital Twin: An Example Process Model. - Hao Feng; Cláudio Gomes 001; Michael Sandberg; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen (MoDELS (Companion), 2021)

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? - Hao Feng; Cláudio Gomes 001; Michael Sandberg; Hugo Daniel Macedo; Peter Gorm Larsen (SEFM Workshops, 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 (SEFM Workshops, 2021)

A Universal Mechanism for Implementing Functional Mock-up Units. - Christian Møldrup Legaard; Daniella Tola; Thomas Schranz; Hugo Daniel Macedo; Peter Gorm Larsen (SIMULTECH, 2021)

The Incubator Case Study for Digital Twin Engineering. - Hao Feng; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Michael Sandberg; Peter Gorm Larsen (CoRR, 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 (F-IDE@NFM, 2021)

Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. - Lukas Esterle; Henrik Ejersbo; Mirgita Frasheri; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (ACSOS-C, 2022)

Towards Modular Digital Twins of Robot Systems. - Daniella Tola; Till Böttjer; Peter Gorm Larsen; Lukas Esterle (ACSOS-C, 2022)

Integration Of The Mape-K Loop In Digital Twins. - Hao Feng; Cláudio Gomes 001; Santiago Gil 001; Peter Høgh Mikkelsen; Daniella Tola; Peter Gorm Larsen; Michael Sandberg (ANNSIM, 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 (FACS, 2022)

Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line. - Fatemeh Kakavandi; Peter Gorm Larsen (ICCMA, 2022)

Product Quality Control in Assembly Machine under Data Restricted Settings. - Fatemeh Kakavandi; Roger De Reus; Cláudio Gomes 001; Negar Heidari; Alexandros Iosifidis; Peter Gorm Larsen (INDIN, 2022)

Digital Twins for Organ Preservation Devices. - Aaron John Buhagiar; Leo Freitas; William E. Scott III; Peter Gorm Larsen (ISoLA (4), 2022)

Engineering of Digital Twins for Cyber-Physical Systems. - John S. Fitzgerald; Peter Gorm Larsen; Tiziana Margaria; Jim Woodcock 001; Cláudio Gomes 001 (ISoLA (4), 2022)

Towards Secure Digital Twins. - Tomas Kulik; Cláudio Gomes 001; Hugo Daniel Macedo; Stefan Hallerstede; Peter Gorm Larsen (ISoLA (4), 2022)

AURT: A Tool for Dynamics Calibration of Robot Manipulators. - Emil Madsen; Daniella Tola; Carlos Hansen; Cláudio Gomes 001; Peter Gorm Larsen (SII, 2022)

Towards Easy Robot System Integration: Challenges and Future Directions. - Daniella Tola; Emil Madsen; Cláudio Gomes 001; Lukas Esterle; Christian Schlette; Casper Hansen; Peter Gorm Larsen (SII, 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; et al. (Array, 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 001 (Formal Aspects Comput., 2022)

Examining Model Qualities and Their Impact on Digital Twins. - Bentley Oakes; Cláudio Gomes 001; Peter Gorm Larsen; Joachim Denil; Julien Deantoni; João Cambeiro; John S. Fitzgerald (ANNSIM, 2023)

Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. - Peter Gorm Larsen; Lukas Esterle; John S. Fitzgerald; Mirgita Frasheri (Applicable Formal Methods for Safe Industrial Products, 2023)

An Architectural Extension for Digital Twin Platforms to Leverage Behavioral ModelsBehaviors. - Daniel Lehner; Santiago Gil 001; Peter Høgh Mikkelsen; Peter Gorm Larsen; Manuel Wimmer (CASE, 2023)

A Modeling Approach for Composed Digital Twins in Cooperative Systems. - Santiago Gil 001; Peter Høgh Mikkelsen; Daniella Tola; Casper Schou; Peter Gorm Larsen (ETFA, 2023)

Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications. - Fatemeh Kakavandi; Peihua Han; Roger De Reus; Peter Gorm Larsen; Houxiang Zhang (ICCAD, 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 (ISIE, 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 (MMAR, 2023)

Modelling Chess in VDM++. - Morten Haahr Kristensen; Peter Gorm Larsen (CoRR, 2023)

VDM recursive functions in Isabelle/HOL. - Leo Freitas; 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)

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. - Prasad Talasila; Cláudio Gomes 001; Peter Høgh Mikkelsen; Santiago Gil Arboleda 001; Eduard Kamburjan; Peter Gorm Larsen (CoRR, 2023)

State of the Art Report: Verified Computation. - Jim Woodcock 001; Mikkel Schmidt 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)

How do we engineer trustworthy digital twins? - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001 (Res. Dir. Cyber Phys. Syst., 2023)

Addressing time discrepancy between digital and physical twins. - Mirgita Frasheri; Henrik Ejersbo; Casper Thule; Cláudio Gomes 001; Jakob Levisen Kvistgaard; Peter Gorm Larsen; Lukas Esterle (Robotics Auton. Syst., 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 001; Alexandros Iosifidis; Mahdi Abkar; Peter Gorm Larsen (ACM Comput. Surv., 2023)

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. - Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes 001; 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; et al. (ACSOS-C, 2024)

Enhancing and Validating Simulator Data Generation Integrity Through Frequency-Based Analysis. - Iman Sharifirad; Jalil Boudjadar; Peter Gorm Larsen (BCD, 2024)

Towards the Composition of Digital Twins. - Peter Gorm Larsen; Prasad Talasila; John S. Fitzgerald (The Application of Formal Methods, 2024)

Using FactoryML for Deployment of Machine Learning Models in Industrial Production. - Christian Remi Wewer; Harshit Mahapatra; Lukas Esterle; Peter Gorm Larsen (ETFA, 2024)

Enabling Flexible Manufactuirng in Wind Industry Based on Movable Factory Concept: Definitions, Requirements, and Challenges. - Zahra Kazemi; Emre Yildiz; Peter Gorm Larsen (ICIT, 2024)

Digital Twin Tutorial: The Incubator Case Study. - Cláudio Gomes 001; Morten Haahr Kristensen; Mikkel Schmidt Andersen; Prasad Talasila; Hao Feng; Thomas Wright; Peter Gorm Larsen (SETSS, 2024)

Highly Accurate Anomaly Detection for the Combustion System of a Marine Engine Using Multivariate Transformers. - Iman Sharifirad; Jalil Boudjadar; Peter Gorm Larsen (SISY, 2024)

Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project. - Peter Gorm Larsen; Shaukat Ali 001; Roland Behrens; Ana Cavalcanti 001; Cláudio Gomes 001; Guoyuan Li; Paul De Meulenaere; Mikkel Labori Olsen; Nikolaos Passalis; Thomas Peyrucain; Jesús Tapia; Anastasios Tefas; et al. (Res. Dir. Cyber Phys. Syst., 2024)

Survey on open-source digital twin frameworks-A case study approach. - Santiago Gil 001; Peter Høgh Mikkelsen; Cláudio Gomes 001; Peter Gorm Larsen (Softw. Pract. Exp., 2024)

Verification Technology for VDM: Craft and Automation. - John S. Fitzgerald; Peter Gorm Larsen; Ken Pierce; Leo Freitas; Nick Battle (The Practice of Formal Methods (I), 2024)

Co-simulation at different levels of expertise with Maestro2. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Kenneth Lausdahl; Frederik Palludan Madsen; Giuseppe Abbiati; Peter Gorm Larsen (J. Syst. Softw., 2024)

Digital Twin-Enabled Collision Mitigation for Path Constrained Applications. - José Miguel Mendes; Mirgita Frasheri; Peter Gorm Larsen (ICARA, 2025)

Exploring Devops Practices for Lifecycle Management of Physical and Digital Twins in Cyber-Physical Systems. - Marco Picone; Prasad Talasila; Nicola Bicocchi; Peter Gorm Larsen (ICPS, 2025)

Cascaded TinyML-Based Reduction for the Anomaly Detection Model of an Industrial Combustion System. - Iman Sharifirad; Jalil Boudjadar; Peter Gorm Larsen (ICPS, 2025)

Towards multi-fidelity digital twins for dynamic adaption and efficient distributed simulation. - Mirgita Frasheri; Prasad Talasila; Peter Gorm Larsen; Lukas Esterle (PerCom Workshops, 2025)

Towards Digital Twin Aided Autonomy for a UR3e Robotic Manipulator - (Invited Paper). - Andreas Kaag Thomsen; Buster Salomon Rasmussen; Mirgita Frasheri; Santiago Gil 001; Peter Gorm Larsen (TAROS, 2025)

Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. - Santiago Gil 001; Bentley Oakes; Cláudio Gomes 001; Mirgita Frasheri; Peter Gorm Larsen (Simul., 2025)

Composable digital twins on Digital Twin as a Service platform. - Prasad Talasila; Cláudio Gomes 001; Lars Bernd Vosteen; Hannes Iven; Martin Leucker; Santiago Gil 001; Peter Høgh Mikkelsen; Eduard Kamburjan; Peter Gorm Larsen (Simul., 2025)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models. - Hassan Sartaj; Jalil Boudjadar; Mirgita Frasheri; Shaukat Ali 001; Peter Gorm Larsen (CoRR, 2025)

Software Engineering for Self-Adaptive Robotics: A Research Agenda. - Shaukat Ali 001; Ana Cavalcanti 001; Cláudio Ângelo Gonçalves Gomes; Peter Gorm Larsen; Hassan Sartaj; Anastasios Tefas; Jim Woodcock 001; Houxiang Zhang (CoRR, 2025)

Towards Operation Proof Obligation Generation for VDM. - Nick Battle; Peter Gorm Larsen (CoRR, 2025)