Peter Würtz Vinther Tran-Jørgensen
Peter Würtz Vinther Tran-Jørgensen
Senior Software Developer at Bankdata
No verified email
Cited by
Cited by
VDM-10 Language Manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
April, 2010
A survey of practical formal methods for security
T Kulik, B Dongol, PG Larsen, HD Macedo, S Schneider, ...
Formal aspects of computing 34 (1), 1-39, 2022
Overture VDM-10 Tool Support: User guide
PG Larsen, K Lausdahl, PWV Tran-Jørgensen, A Ribeiro, S Wolff, N Battle
Technical Report TR-2010-02, The Overture Initiative, www. overturetool. org, 2010
A code generation platform for VDM
PWV Jørgensen, M Larsen, LDMD Couto
Proceedings of the 12th Overture Workshop: Newcastle University, Computing …, 2015
A framework for threat-driven cyber security verification of iot systems
T Kulik, PWV Tran-Jørgensen, J Boudjadar, C Schultz
2018 IEEE International Conference on Software Testing, Verification and …, 2018
Automated translation of VDM to JML-annotated Java
PWV Tran-Jørgensen, PG Larsen, GT Leavens
International Journal on Software Tools for Technology Transfer, 1-25, 2017
Enabling continuous integration in a formal methods setting
LD Couto, PWV Tran-Jørgensen, RS Nilsson, PG Larsen
International Journal on Software Tools for Technology Transfer 22, 667-683, 2020
Towards enabling overture as a platform for formal notation IDEs
LD Couto, PG Larsen, M Hasanagić, G Kanakis, K Lausdahl, ...
arXiv preprint arXiv:1508.03893, 2015
Compliance verification of a cyber security standard for Cloud-connected SCADA
T Kulik, PWV Tran-Jørgensen, J Boudjadar
2019 Global IoT Summit (GIoTS), 1-6, 2019
Hardware In the Loop for VDM-real time modeling of embedded systems
JAE Isasa, PWV Jørgensen, PG Larsen
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
Code-generating VDM for embedded devices
V Bandur, PWV Tran-Jørgensen, M Hasanagic, KG Lausdahl
The 15th Overture Workshop: New Capabilities and Applications for Model …, 2017
Formal security analysis of cloud-connected industrial control systems
T Kulik, PWV Tran-Jørgensen, J Boudjadar
Innovative Security Solutions for Information Technology and Communications …, 2019
Towards an overture code generator
PWV Jørgensen, PG Larsen
The Overture 2013 workshop, 2013
Code generation for distributed embedded systems with VDM-RT
M Hasanagić, T Fabbri, PG Larsen, V Bandur, P Tran-Jørgensen, J Ouy
Design Automation for Embedded Systems 23, 153-177, 2019
Modelling energy consumption in embedded systems with VDM-RT
JA Esparza Isasa, PWV Jørgensen, CB Nielsen, S Hallerstede
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014
Security verification of industrial control systems using partial model checking
T Kulik, J Boudjadar, PWV Tran-Jørgensen
Proceedings of the 8th International Conference on Formal Methods in …, 2020
Model-based development of a multi-algorithm harvest planning system
LD Couto, PWV Tran-Jørgensen, GTC Edwards
Simulation and Modeling Methodologies, Technologies and Applications …, 2018
Combining harvesting operation optimisations using strategy-based simulation
LD Couto, PWV Tran-J, GTC Edwards
2016 6th International Conference on Simulation and Modeling Methodologies …, 2016
Formalising and Validating the Interface Description in the FMI standard
M Hasanagić, PWV Tran-Jørgensen, K Lausdahl, PG Larsen
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
Migrating Overture to a different IDE
PWV Tran-Jørgensen, T Kulik
Proceedings of the 17th Overture Workshop, 32, 2019
The system can't perform the operation now. Try again later.
Articles 1–20