Peter Gorm Larsen - Concepedia

Author

Peter Gorm Larsen

Also Known As

Bertram Larsen, Pernille, Esterle, Lukas, Gorm Larsen, Peter, Larsen, P. G.; id_orcid 0000-0002-4589-1500, Larsen, Peter Gorm, Larsen, Peter Gorm; id_orcid 0000-0002-4589-1500, P Larsen, P. G. LARSEN, P. G. Larsen, P. Larsen

354

Publications

Citations

H-Index

110

Concepts

All Affiliations

Aarhus University Newcastle University Aarhus School of Architecture University of York Instituttet for Anvendt Datateknik (Denmark)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	29	1.2K
2	Education	2	2	44
3	Arts	1	1	25
4	Business	1	1	30
5	Language Studies	1	1	55

Peter Gorm Larsen

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Digital twin of electric vehicle battery systems: Comprehensive review of the use cases, requirements, and platforms Farshid Naseri, Santiago Gil, C. Barbu, Renewable and Sustainable Energy Reviews EngineeringTransportation ElectrificationDigital TwinningHome Energy StorageSystems Engineering	2023	160
The overture initiative integrating tools for VDM Peter Gorm Larsen, Nick Battle, Miguel A. Ferreira, ACM SIGSOFT Software Engineering Notes Software MaintenanceEngineeringVisual Programming LanguageSoftware EngineeringSoftware Analysis	2010	126
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Into-cps ProjectEngineeringModel-based Cps EngineeringSoftware EngineeringModel-based Design	2016	107
The IFAD VDM-SL toolbox René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen ACM SIGPLAN Notices	1994	92
Applying formal specification in industry Peter Gorm Larsen, John Fitzgerald, T. M. Brookes IEEE Software Software MaintenanceEngineeringIndustrial EngineeringInformation SecuritySoftware Engineering	1996	87
Maestro: The INTO-CPS co-simulation framework Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Simulation Modelling Practice and Theory	2019	83
Co-simulation: State of the art Cláudio Gomes, Casper Thule, David Broman, arXiv (Cornell University) Simulation MethodologyEngineeringMore Complex SystemsVirtual RealityDesign	2017	80
Features of CML: A formal modelling language for Systems of Systems Jim Woodcock, Ana Cavalcanti, John Fitzgerald, EngineeringVerificationSoftware EngineeringFormal VerificationSystem Of System	2012	74
An overview of the ISO/VDM-SL standard Nico Plat, Peter Gorm Larsen ACM SIGPLAN Notices EngineeringElectronic Design AutomationModeling NotationSoftware EngineeringSemantics	1992	55
A Survey of Practical Formal Methods for Security Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Formal Aspects of Computing	2022	52

Page 1