Articles with public access mandates - Peter Gorm LarsenLearn more
Not available anywhere: 10
A formal approach to collaborative modelling and co-simulation for embedded systems
JS Fitzgerald, PG Larsen, KG Pierce, MHG Verhoef
Mathematical Structures in Computer Science 23 (4), 726-750, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Co-modelling and co-simulation in the engineering of systems of cyber-physical systems
J Fitzgerald, K Pierce, PG Larsen
2014 9th International conference on system of systems engineering (SOSE), 67-72, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Towards a digital twin framework for autonomous robots
G Lumer-Klabbers, JO Hausted, JL Kvistgaard, HD Macedo, M Frasheri, ...
2021 IEEE 45th annual computers, software, and applications conference …, 2021
Mandates: Innovation Fund Denmark
Development of a driverless lawn mower using co-simulation
FF Foldager, PG Larsen, O Green
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
Mandates: European Commission
Towards modular digital twins of robot systems
D Tola, T Böttjer, PG Larsen, L Esterle
2022 IEEE International Conference on Autonomic Computing and Self …, 2022
Mandates: Innovation Fund Denmark
Building Safer Robots: From Simulation to Hardware Deployment
M Frasheri, G Lumer-Klabbers, JL Kvistgaard, JO Hausted, C Thule, ...
2023 27th International Conference on Methods and Models in Automation and …, 2023
Mandates: Innovation Fund Denmark
Digital twins for organ preservation devices
AJ Buhagiar, L Freitas, WE Scott III, PG Larsen
International Symposium on Leveraging Applications of Formal Methods, 22-36, 2022
Mandates: UK Medical Research Council
Explainable product quality assessment in a medical device assembly pilot line
F Kakavandi, PG Larsen
2022 10th International Conference on Control, Mechatronics and Automation …, 2022
Mandates: Innovation Fund Denmark
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems
PG Larsen, L Esterle, J Fitzgerald, M Frasheri
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to …, 2023
Mandates: Innovation Fund Denmark
Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system
M Neghină, CB Zamfirescu, PG Larsen, K Pierce
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 169-194, 2021
Mandates: European Commission
Available somewhere: 53
Systems of systems engineering: basic concepts, model-based techniques, and research directions
CB Nielsen, PG Larsen, J Fitzgerald, J Woodcock, J Peleska
ACM Computing Surveys (CSUR) 48 (2), 1-41, 2015
Mandates: European Commission
Co-simulation: a survey
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018
Mandates: Research Foundation (Flanders), European Commission
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project
PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ...
2016 2nd International Workshop on Modelling, Analysis, and Control of …, 2016
Mandates: European Commission
Maestro: The INTO-CPS co-simulation framework
C Thule, K Lausdahl, C Gomes, G Meisl, PG Larsen
Simulation Modelling Practice and Theory 92, 45-61, 2019
Mandates: Research Foundation (Flanders), European Commission
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
J Fitzgerald, C Gamble, PG Larsen, K Pierce, J Woodcock
3rd FME Workshop on Formal Methods in Software Engineering, 2015
Mandates: European Commission
Constructing neural network based models for simulating dynamical systems
C Legaard, T Schranz, G Schweiger, J Drgoňa, B Falay, C Gomes, ...
ACM Computing Surveys 55 (11), 1-34, 2023
Mandates: US Department of Energy
Digital twin of electric vehicle battery systems: Comprehensive review of the use cases, requirements, and platforms
F Naseri, S Gil, C Barbu, E Çetkin, G Yarimca, AC Jensen, PG Larsen, ...
Renewable and Sustainable Energy Reviews 179, 113280, 2023
Mandates: European Commission
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
Mandates: Australian Research Council, National Natural Science Foundation of China …
Towards semantically integrated models and tools for cyber-physical systems design
PG Larsen, J Fitzgerald, J Woodcock, R Nilsson, C Gamble, S Foster
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Mandates: European Commission
Collaborative model-based systems engineering for cyber-physical systems–a case study in building automation
J Fitzgerald, C Gamble, R Payne, PG Larsen, S Basagiannis, AED Mady
Proc. INCOSE Intl. Symp. on Systems Engineering. Edinburgh, Scotland (July 2016), 2016
Mandates: European Commission
Publication and funding information is determined automatically by a computer program