Peter W. V. Tran-Jrgensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2016–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICSE | Security Verification of Industrial Control Systems using Partial Model Checking. | Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jrgensen |
| 2019 | MEMOCODE | Security analysis of cloud-connected industrial control systems using combinatorial testing. | Peter W. V. Tran-Jrgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen |
| 2018 | ICST | A Framework for Threat-Driven Cyber Security Verification of IoT Systems. | Tomas Kulik, Peter W. V. Tran-Jrgensen, Jalil Boudjadar, Carl Schultz |
| 2016 | FM | Formalising and Validating the Interface Description in the FMI Standard. | Miran Hasanagic, Peter W. V. Tran-Jrgensen, Kenneth Lausdahl, Peter Gorm Larsen |
| 2016 | SIMULTECH | Combining Harvesting Operation Optimisations using Strategy-based Simulation. | Lus Diogo Couto, Peter W. V. Tran-Jrgensen, Gareth T. C. Edwards |
| 2016 | SIMULTECH | Model-Based Development of a Multi-algorithm Harvest Planning System. | Lus Diogo Couto, Peter W. V. Tran-Jrgensen, Gareth T. C. Edwards |