Douglas Fraser
Research title: Applications of Model Checking in the Context of Security for Digital Twins
Publications
2025
Miller, Alice 
ORCID: https://orcid.org/0000-0002-0941-1717, Porr, Bernd ORCID: https://orcid.org/0000-0001-8157-998X, Valkov, Ivaylo ORCID: https://orcid.org/0000-0003-1116-875X, Fraser, Douglas and Pagojus, Daumantas
(2025)
Model checking with memoisation for fast overtaking planning.
Science of Computer Programming, 244,
103300.
(doi: 10.1016/j.scico.2025.103300)
2024
Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717, Abel, Julian R., Valkov, Ivaylo ORCID: https://orcid.org/0000-0003-1116-875X and Fraser, Douglas
(2024)
Implementing the MOLS table for n up to 500.
Symmetry, 16(12),
1678.
(doi: 10.3390/sym16121678)
Articles
Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717, Porr, Bernd ORCID: https://orcid.org/0000-0001-8157-998X, Valkov, Ivaylo ORCID: https://orcid.org/0000-0003-1116-875X, Fraser, Douglas and Pagojus, Daumantas
(2025)
Model checking with memoisation for fast overtaking planning.
Science of Computer Programming, 244,
103300.
(doi: 10.1016/j.scico.2025.103300)
Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717, Abel, Julian R., Valkov, Ivaylo ORCID: https://orcid.org/0000-0003-1116-875X and Fraser, Douglas
(2024)
Implementing the MOLS table for n up to 500.
Symmetry, 16(12),
1678.
(doi: 10.3390/sym16121678)