Peter W. V. Tran-Jørgensen

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 13

Top Topics

Code Generation

Security Analysis

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, James Woodcock
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34 (1) (2022)
Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen
Security Verification of Industrial Control Systems using Partial Model Checking. FormaliSE@ICSE (2020)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
Enabling continuous integration in a formal methods setting. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Miran Hasanagic, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
Realization of distributed system models using code generation extensions. Softw. Pract. Exp. 49 (3) (2019)
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
Compliance verification of a cyber security standard for Cloud-connected SCADA. GIoTS (2019)
Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen
Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE (2019)
Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy
Code generation for distributed embedded systems with VDM-RT. Des. Autom. Embed. Syst. 23 (3-4) (2019)
Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens
Automated translation of VDM to JML-annotated Java. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz
A Framework for Threat-Driven Cyber Security Verification of IoT Systems. ICST Workshops (2018)
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
Formal Security Analysis of Cloud-Connected Industrial Control Systems. SecITC (2018)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards
Model-Based Development of a Multi-algorithm Harvest Planning System. SIMULTECH (Selected Papers) (2016)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards
Combining Harvesting Operation Optimisations using Strategy-based Simulation. SIMULTECH (2016)
Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen
Formalising and Validating the Interface Description in the FMI Standard. FM (2016)
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen
Towards Enabling Overture as a Platform for Formal Notation IDEs. F-IDE (2015)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl
Migrating to an Extensible Architecture for Abstract Syntax Trees. WICSA (2015)