Peter Gorm Larsen
Scholar

Peter Gorm Larsen

Google Scholar ID: ooFozxQAAAAJ
Aarhus University
formal methodsVDMcyber-physical systemsdigital twinssystems of systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
9,769
 
H-index
44
 
i10-index
150
 
Publications
20
 
Co-authors
103
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
103 total
John S. Fitzgerald
John S. Fitzgerald
Newcastle University, UK
Cláudio Ângelo Gonçalves Gomes
Cláudio Ângelo Gonçalves Gomes
Aarhus University
Jim Woodcock
Jim Woodcock
Professor of Software Engineering, University of York
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8