Peter W. V. Tran-Jørgensen

15 papers B 1C 2Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
A Survey of Practical Formal Methods for Security.
Formal Aspects Comput.
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock
2020 J jnl
Enabling continuous integration in a formal methods setting.
Int. J. Softw. Tools Technol. Transf.
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
2020 — conf
Security Verification of Industrial Control Systems using Partial Model Checking.
FormaliSE@ICSE
Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen
2019 J jnl
Code generation for distributed embedded systems with VDM-RT.
Des. Autom. Embed. Syst.
Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy
2019 — conf
Compliance verification of a cyber security standard for Cloud-connected SCADA.
GIoTS
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
2019 J jnl
Realization of distributed system models using code generation extensions.
Softw. Pract. Exp.
Miran Hasanagic, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
2019 C conf
Security analysis of cloud-connected industrial control systems using combinatorial testing.
MEMOCODE
Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen
2018 — conf
A Framework for Threat-Driven Cyber Security Verification of IoT Systems.
ICST Workshops
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz
2018 J jnl
Automated translation of VDM to JML-annotated Java.
Int. J. Softw. Tools Technol. Transf.
Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens
2018 — conf
Formal Security Analysis of Cloud-Connected Industrial Control Systems.
SecITC
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
2016 C conf
Combining Harvesting Operation Optimisations using Strategy-based Simulation.
SIMULTECH
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards
2016 B conf
Formalising and Validating the Interface Description in the FMI Standard.
FM
Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen
2016 — conf
Model-Based Development of a Multi-algorithm Harvest Planning System.
SIMULTECH (Selected Papers)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards
2015 — conf
Migrating to an Extensible Architecture for Abstract Syntax Trees.
WICSA
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl
2015 — conf
Towards Enabling Overture as a Platform for Formal Notation IDEs.
F-IDE
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen