Concepedia

Peter Gorm Larsen

PG

52

Publications

1.9K

Citations

24

H-Index

1992

Active since

Affiliations

Aarhus University(Current)

Newcastle University

Aarhus School of Architecture

University of York

Instituttet for Anvendt Datateknik (Denmark)

Peter Gorm Larsen is an author at Aarhus University specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringSoftware DesignComputer ScienceDesignFormal MethodsFormal VerificationSystem SoftwareSoftware Engineering

Publications per year

1992–2024

52

Publications

52

Digital twin of electric vehicle battery systems: Comprehensive review of the use cases, requirements, and platforms

Farshid Naseri, Santiago Gil, C. Barbu et al. · Renewable and Sustainable Energy Reviews · 2023 · 160 citations · Full text

Engineering, Transportation Electrification, Digital Twinning +16

The overture initiative integrating tools for VDM

Peter Gorm Larsen, Nick Battle, Miguel A. Ferreira et al. · ACM SIGSOFT Software Engineering Notes · 2010 · 126 citations

Software Maintenance, Engineering, Visual Programming Language +22

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Peter Gorm Larsen, John Fitzgerald, Jim Woodcock et al. · 2016 · 107 citations

Into-cps Project, Engineering, Model-based Cps Engineering +18

The IFAD VDM-SL toolbox

René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen · ACM SIGPLAN Notices · 1994 · 92 citations · Full text

Applying formal specification in industry

Peter Gorm Larsen, John Fitzgerald, T. M. Brookes · IEEE Software · 1996 · 87 citations

Software Maintenance, Engineering, Industrial Engineering +25

Rows per page

1–5 of 52