Peter Würtz Vinther Tran-Jørgensen

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
A Survey of Practical Formal Methods for Security.
Formal Aspects Comput., 2022

2020
Enabling continuous integration in a formal methods setting.
Int. J. Softw. Tools Technol. Transf., 2020

Security Verification of Industrial Control Systems using Partial Model Checking.
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.
Softw. Pract. Exp., 2019

Code generation for distributed embedded systems with VDM-RT.
Des. Autom. Embed. Syst., 2019

Security analysis of cloud-connected industrial control systems using combinatorial testing.
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.
Proceedings of the 2019 Global IoT Summit, 2019

2018
Automated translation of VDM to JML-annotated Java.
Int. J. Softw. Tools Technol. Transf., 2018

Formal Security Analysis of Cloud-Connected Industrial Control Systems.
Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2018

A Framework for Threat-Driven Cyber Security Verification of IoT Systems.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2016
Model-Based Development of a Multi-algorithm Harvest Planning System.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2016

Combining Harvesting Operation Optimisations using Strategy-based Simulation.
Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016

Principles for reuse in formal language tools.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Formalising and Validating the Interface Description in the FMI Standard.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Towards Enabling Overture as a Platform for Formal Notation IDEs.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

Migrating to an Extensible Architecture for Abstract Syntax Trees.
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.
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.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014


  Loading...