Obserwuj
Peter Würtz Vinther Tran-Jørgensen
Peter Würtz Vinther Tran-Jørgensen
Senior Software Developer at Bankdata
Brak zweryfikowanego adresu e-mail
Tytuł
Cytowane przez
Cytowane przez
Rok
VDM-10 Language Manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
April, 2010
642010
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 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
262022
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
202018
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
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
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
92019
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20