Modelling Energy Consumption in Embedded Systems with VDM-RT. - José Antonio Esparza Isasa; Peter Würtz Vinther Jørgensen; Claus Ballegård Nielsen; Stefan Hallerstede (ABZ, 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)

Migrating to an Extensible Architecture for Abstract Syntax Trees. - Luís Diogo Couto; Peter W. V. Tran-Jørgensen; Joey W. Coleman; Kenneth Lausdahl (WICSA, 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)

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)

Principles for reuse in formal language tools. - Luís Diogo Couto; Peter Würtz Vinther Tran-Jørgensen; Kenneth Lausdahl (SAC, 2016)

Combining Harvesting Operation Optimisations using Strategy-based Simulation. - Luís Diogo Couto; Peter W. V. Tran-Jørgensen; Gareth T. C. Edwards (SIMULTECH, 2016)

Model-Based Development of a Multi-algorithm Harvest Planning System. - Luís Diogo Couto; Peter W. V. Tran-Jørgensen; Gareth T. C. Edwards (SIMULTECH (Selected Papers), 2016)

A Framework for Threat-Driven Cyber Security Verification of IoT Systems. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar; Carl Schultz 001 (ICST Workshops, 2018)

Formal Security Analysis of Cloud-Connected Industrial Control Systems. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar (SecITC, 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)

Compliance verification of a cyber security standard for Cloud-connected SCADA. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar (GIoTS, 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)

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)

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)

Security Verification of Industrial Control Systems using Partial Model Checking. - Tomas Kulik; Jalil Boudjadar; Peter W. V. Tran-Jørgensen (FormaliSE@ICSE, 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)

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)