Follow
Peter Würtz Vinther Tran-Jørgensen
Peter Würtz Vinther Tran-Jørgensen
Senior Software Developer at Bankdata
No verified email
Title
Cited by
Cited by
Year
VDM-10 Language Manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
April, 2010
642010
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
372022
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
282010
A code generation platform for VDM
PWV Jørgensen, M Larsen, LDMD Couto
Proceedings of the 12th Overture Workshop: Newcastle University, Computing …, 2015
252015
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
232018
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
172017
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
132020
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
112015
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
102019
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
102014
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
92017
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
82019
Towards an overture code generator
PWV Jørgensen, PG Larsen
The Overture 2013 workshop, 2013
82013
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
72019
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
72014
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
62020
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
62018
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
62016
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
62016
Migrating Overture to a different IDE
PWV Tran-Jørgensen, T Kulik
Proceedings of the 17th Overture Workshop, 32, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20