arrow
Back
P

Peter Gorm Larsen

aarhus university

31H-index
367Paper Count
5.0KCitation Count
Published Papers 21
Publication Date
Software Engineering for Self-Adaptive Robotics: A Research Agenda
err2026-08-21
err0
errOAAI
errHassan Sartaj; Shaukat Ali; Ana Cavalcanti; Lukas Esterle; Cláudio Gomes; Peter Gorm Larsen; Anastasios Tefas; Jim Woodcock; Houxiang Zhang
errShare
errSave
Towards Digital Twin Aided Autonomy for a UR3e Robotic Manipulator (Invited Paper)
err2026-01-01
err0
PREAI
errThomsen, Andreas Kaag; Rasmussen, Buster Salomon; Frasheri, Mirgita; Gil, Santiago; Larsen, Peter Gorm
errShare
errSave
Safe Temperature Regulation: Formally Verified and Real-World Validated
err2026-01-01
err0
PREAI
errIsasa, Carlos; El Wafa, Noah Abou; Gomes, Claudio; Larsen, Peter Gorm; Platzer, Andre
errShare
errSave
DynSRV: Dynamically Updated Properties for Stream Runtime Verification
err2026-01-01
err0
PREAI
errKristensen, Morten Haahr; Wright, Thomas; Gomes, Claudio; Esterle, Lukas; Larsen, Peter Gorm
errShare
errSave
A model-based approach for co-simulation-driven digital twins in robotics
err2025-10-28
err0
errOAAI
errSantiago Gil; Arjun Badyal; Alvaro Miyazawa; Peter Gorm Larsen; Ana Cavalcanti
errShare
errSave
Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models
err2025-10-15
err0
errOAAI
errHassan Sartaj; Jalil Boudjadar; Mirgita Frasheri; Shaukat Ali; Peter Gorm Larsen
errShare
errSave
Co-simulation at different levels of expertise with Maestro2
err2024-03-01
err2
errOAAI
errHansen, Simon Thrane; Thule, Casper; Gomes, Claudio; Lausdahl, Kenneth Guldbrandt; Madsen, Frederik Palludan; Abbiati, Giuseppe; Larsen, Peter Gorm
errShare
errSave
Understanding pancreas-machine interactions during preservation: A mathematical approach
err2023-10-23
err0
errOAAI
errBuhagiar, Aaron John; Christensen, Rikke Fanoe; Larsen, Peter Gorm; Freitas, Leo; Scott, William E., III; Gomes, Claudio Angelo Goncalves
errShare
errSave
Movable factory-A systematic literature review of concepts, requirements, applications, and gaps
err2023-08-01
err5
errOAAI
errKazemi, Zahra; Rask, Jonas Kjaer; Gomes, Claudio; Yildiz, Emre; Larsen, Peter Gorm
errShare
errSave
Hybrid fire testing using FMI-based co-simulation
err2023-08-01
err1
errOAAI
errAbbiati, G.; Bas, E. E.; Gomes, C.; Larsen, P. G.
errShare
errSave
Cyber-Physical Cloud Battery Management Systems: Review of Security Aspects
err2023-07-18
err7
errOAAI
errNaseri, Farshid; Kazemi, Zahra; Larsen, Peter Gorm; Arefi, Mohammad Mehdi; Schaltz, Erik
errShare
errSave
Digital twin of electric vehicle battery systems: Comprehensive review of the use cases, requirements, and platforms
err2023-06-01
err35
errOAAI
errNaseri, F.; Gil, S.; Barbu, C.; Cetkin, E.; Yarimca, G.; Jensen, A. C.; Larsen, P. G.; Gomes, C.
errShare
errSave
Constructing Neural Network Based Models for Simulating Dynamical Systems
err2023-02-09
err32
errOAAI
errLegaard, Christian; Schranz, Thomas; Schweiger, Gerald; Drgona, Jan; Falay, Basak; Gomes, Claudio; Iosifidis, Alexandros; Abkar, Mahdi; Larsen, Peter
errShare
errSave
Maestro: The INTO-CPS co-simulation framework
err2019-04-01
err62
errOAAI
errThule, Casper; Lausdahl, Kenneth; Gomes, Claudio; Meisl, Gerd; Larsen, Peter Gorm
errShare
errSave
Co-Simulation: A Survey
err2018-05-23
err226
errOAAI
errGomes, Claudio; Thule, Casper; Broman, David; Larsen, Peter Gorm; Vangheluwe, Hans
errShare
errSave
Energy-Aware Model-Driven Development of a Wearable Healthcare Device
err2017-07-27
err4
PREAI
errIsasa, Jose Antonio Esparza; Larsen, Peter Gorm; Hansen, Finn Overgaard
errShare
errSave
A secure dynamic collaboration environment in a cloud context
err2016-02-01
err3
PREAI
errPiechotta, Chris; Olsen, Martin Grooss; Jensen, Adam Eno; Coleman, Joey W.; Larsen, Peter Gorm
errShare
errSave
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions
err2015-09-24
err262
PREAI
errNielsen, Claus Ballegaard; Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Peleska, Jan
errShare
errSave
Formal Methods: Practice and Experience
err2009-10-09
err373
PREAI
errWoodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan; Fitzgerald, John
errShare
errSave
Applying formal specification in industry
err1996-05-01
err44
PREAI
errLarsen, PG; Fitzgerald, J; Brookes, T
errShare
errSave