Items where authors include "Larsen, Peter Gorm"

Article

Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm et al. (4 more authors) (2022) A Survey of Practical Formal Methods for Security. Formal Aspects of Computing. 3522582. ISSN 1433-299X

Conference or Workshop Item

Woodcock, Jim orcid.org/0000-0001-7955-2702, Fitzgerald, John, Gamble, Carl et al. (2 more authors) (2015) Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In: UNSPECIFIED.

Proceedings Paper

Fitzgerald, John, Larsen, Peter Gorm, Margaria, Tiziana et al. (1 more author) (2021) Engineering of Digital Twins for Cyber-Physical Systems. In: Margaria, Tiziana and Steffen, Bernhard, (eds.) Leveraging Applications of Formal Methods, Verification and Validation:Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, 20-30 Oct 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , GRC , pp. 49-53.

Woodcock, Jim orcid.org/0000-0001-7955-2702, Gomes, Cláudio, Macedo, Hugo Daniel et al. (1 more author) (2021) Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. In: Margaria, Tiziana and Steffen, Bernhard, (eds.) Leveraging Applications of Formal Methods, Verification and Validation:Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, 20-30 Oct 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , GRC , pp. 72-87.

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (2018) Features of integrated model-based co-modelling and co-simulation technology. In: Cerone, Antonio and Roveri, Marco, (eds.) Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops:DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, 04-05 Sep 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , ITA , pp. 377-390.

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (2016) Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. UNSPECIFIED. , pp. 171-186.

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (8 more authors) (2016) Integrated tool chain for model-based design of Cyber-Physical Systems : The INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016. 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, 11 Apr 2016. IEEE , AUT .

Preprint

Woodcock, Jim orcid.org/0000-0001-7955-2702, Aranha, Diego F., Hallerstede, Stefan et al. (7 more authors) (2023) State of the Art Report : Verified Computation. [Preprint]