Peter Würtz Vinther Tran-Jørgensen

According to our database, Peter Würtz Vinther Tran-Jørgensen authored at least 18 papers between 2014 and 2022.

Collaborative distances:

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

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

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

Security Verification of Industrial Control Systems using Partial Model Checking.

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

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 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

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

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

Compliance verification of a cyber security standard for Cloud-connected SCADA.

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

Proceedings of the 2019 Global IoT Summit, 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

Formal Security Analysis of Cloud-Connected Industrial Control Systems.

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

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2018

A Framework for Threat-Driven Cyber Security Verification of IoT Systems.

Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

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

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

Combining Harvesting Operation Optimisations using Strategy-based Simulation.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards

Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016

Principles for reuse in formal language tools.

Luís Diogo Couto, Peter Würtz Vinther Tran-Jørgensen, Kenneth Lausdahl

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 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

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

Migrating to an Extensible Architecture for Abstract Syntax Trees.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl

Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015

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

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

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