Scholar
Peter Gorm Larsen
Google Scholar ID: ooFozxQAAAAJ
Aarhus University
formal methods
VDM
cyber-physical systems
digital twins
systems of systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
9,769
H-index
44
i10-index
150
Publications
20
Co-authors
103
list available
Publications
7 items
A System-of-Systems Case Study for the Verification of Composed Digital Twins
2026
Cited
0
Further Progress Towards Operation Proof Obligation Generation for VDM
2026
Cited
0
mstlo: Efficient Online Monitoring of Signal Temporal Logic
2026
Cited
0
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
2026
Cited
0
Introductory Courses on Digital Twins: an Experience Report
2025
Cited
0
A Multi-Simulation Bridge for IoT Digital Twins
2025
Cited
0
Towards Operation Proof Obligation Generation for VDM
2025
Cited
0
Co-authors
9 total
John S. Fitzgerald
Newcastle University, UK
Cláudio Ângelo Gonçalves Gomes
Aarhus University
Jim Woodcock
Professor of Software Engineering, University of York
Ken Pierce
Newcastle University
Nick Battle
Guest Member of Staff, Newcastle University
Hans Vangheluwe
Professor at University of Antwerp -- Flanders Make
Prasad Talasila
Researcher, Aarhus University
Lukas Esterle
Associate Professor, Aarhus University
