VDM-10 Language Manual PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ... April, 2010 | 66 | 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 | 45 | 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 | 29 | 2010 |
A code generation platform for VDM PWV Jørgensen, M Larsen, LDMD Couto Proceedings of the 12th Overture Workshop: Newcastle University, Computing …, 2015 | 25 | 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 | 24 | 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 | 18 | 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 | 15 | 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 | 13 | 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 | 10 | 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 | 10 | 2014 |
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 | 9 | 2019 |
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 | 9 | 2017 |
Towards an overture code generator PWV Jørgensen, PG Larsen The Overture 2013 workshop, 2013 | 8 | 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 | 7 | 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 | 7 | 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 | 6 | 2020 |
Enhancing Testing of VDM-SL models PWV Tran-Jørgensen, RS Nilsson, K Lausdahl Proceedings of the 16th Overture Workshop (July 2018), 2018 | 6 | 2018 |
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 | 6 | 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 | 6 | 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 | 6 | 2016 |