Peter Gorm Larsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
68
Venues
20
Active years
1991–2026
Best venue rank
A*
Where they publish
- BFM18 papers
- CISoLA13 papers
- BSEFM10 papers
- CSIMULTECH5 papers
- A*PERCOM2 papers
- BIFM2 papers
- AMODELS2 papers
- CETFA2 papers
- A*ICSE2 papers
- CICFEM2 papers
- BRV1 paper
- NationalSISY1 paper
- NationalMMAR1 paper
- CINDIN1 paper
- BCOMPSAC1 paper
- CMEMOCODE1 paper
- CMODELSWARD1 paper
- CWETICE1 paper
- CCLOSER1 paper
- MulticonferenceSAC1 paper
Papers
68 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Digital Twins: a Briefing for Formalists. | John S. Fitzgerald, Cludio Gomes, Peter Gorm Larsen, Mikkel Schmidt Andersen, Santiago Gil, Morten Haahr Kristensen |
| 2026 | PERCOM | A Multi-Simulation Bridge for IoT Digital Twins. | Marco Picone, Samuele Burattini, Marco Melloni, Prasad Talasila, Davide Ziglioli, Matteo Martinelli, Nicola Bicocchi, Peter Gorm Larsen |
| 2025 | IFM | Safe Temperature Regulation: Formally Verified and Real-World Validated. | Carlos Isasa, Noah Abou El Wafa, Cludio Gomes, Peter Gorm Larsen, Andr Platzer |
| 2025 | MODELS | Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. | Mikkel Schmidt Andersen, Cludio Gomes, Sophia Thompson, Peter Gorm Larsen |
| 2025 | PERCOM | Towards multi-fidelity digital twins for dynamic adaption and efficient distributed simulation. | Mirgita Frasheri, Prasad Talasila, Peter Gorm Larsen, Lukas Esterle |
| 2025 | RV | DynSRV: Dynamically Updated Properties for Stream Runtime Verification. | Morten Haahr Kristensen, Thomas Wright, Cludio Gomes, Lukas Esterle, Peter Gorm Larsen |
| 2024 | ETFA | Using FactoryML for Deployment of Machine Learning Models in Industrial Production. | Christian Remi Wewer, Harshit Mahapatra, Lukas Esterle, Peter Gorm Larsen |
| 2024 | SISY | Highly Accurate Anomaly Detection for the Combustion System of a Marine Engine Using Multivariate Transformers. | Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen |
| 2023 | ETFA | A Modeling Approach for Composed Digital Twins in Cooperative Systems. | Santiago Gil, Peter Hgh Mikkelsen, Daniella Tola, Casper Schou, Peter Gorm Larsen |
| 2023 | MMAR | Building Safer Robots: From Simulation to Hardware Deployment. | Mirgita Frasheri, Gill Lumer-Klabbers, Jakob Levisen Kvistgaard, Jacob Odgaard Hausted, Casper Thule, Lukas Esterle, Peter Gorm Larsen |
| 2022 | INDIN | Product Quality Control in Assembly Machine under Data Restricted Settings. | Fatemeh Kakavandi, Roger De Reus, Cludio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen |
| 2022 | ISoLA | Digital Twins for Organ Preservation Devices. | Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen |
| 2022 | ISoLA | Engineering of Digital Twins for Cyber-Physical Systems. | John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cludio Gomes |
| 2022 | ISoLA | Towards Secure Digital Twins. | Tomas Kulik, Cludio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen |
| 2021 | COMPSAC | Towards a Digital Twin Framework for Autonomous Robots. | Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, Peter Gorm Larsen |
| 2021 | MODELS | Developing a Physical and Digital Twin: An Example Process Model. | Hao Feng, Cludio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen |
| 2021 | SEFM | Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? | Hao Feng, Cludio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2021 | SEFM | Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. | Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill |
| 2021 | SIMULTECH | A Universal Mechanism for Implementing Functional Mock-up Units. | Christian Mldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2020 | ISoLA | Engineering of Digital Twins for Cyber-Physical Systems. | John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock |
| 2020 | ISoLA | Towards a Digital Twin - Modelling an Agricultural Vehicle. | Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen |
| 2020 | ISoLA | Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. | Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz |
| 2020 | ISoLA | Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. | Jim Woodcock, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2020 | SEFM | Introducing Regression Tests and Upgrades to the INTO-CPS Application. | Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo |
| 2020 | SIMULTECH | A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. | Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr. |
| 2020 | SIMULTECH | HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. | Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu |
| 2019 | FM | Towards a Static Check of FMUs in VDM-SL. | Nick Battle, Casper Thule, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2019 | FM | Migrating the INTO-CPS Application to the Cloud. | Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen |
| 2019 | FM | ViennaDoc: An Animatable and Testable Specification Documentation Tool. | Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen |
| 2019 | MEMOCODE | Security analysis of cloud-connected industrial control systems using combinatorial testing. | Peter W. V. Tran-Jrgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen |
| 2019 | SEFM | Generation of Co-simulation Algorithms Subject to Simulator Contracts. | Cludio Gomes, Casper Thule, Levi Lcio, Hans Vangheluwe, Peter Gorm Larsen |
| 2019 | SEFM | Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. | Casper Thule, Maurizio Palmieri, Cludio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen |
| 2018 | ISoLA | Cyber-Physical Systems Engineering: An Introduction. | J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock |
| 2018 | ISoLA | Co-simulation: The Past, Future, and Open Challenges. | Cludio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe |
| 2018 | ISoLA | A Non-unified View of Modelling, Specification and Programming. | Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald |
| 2018 | SEFM | From Software Specifications to Constraint Programming. | Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel |
| 2017 | SEFM | Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen |
| 2017 | SEFM | Development of a Driverless Lawn Mower Using Co-simulation. | Frederik F. Foldager, Peter Gorm Larsen, Ole Green |
| 2017 | SEFM | Features of Integrated Model-Based Co-modelling and Co-simulation Technology. | Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce |
| 2017 | SIMULTECH | Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. | Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen |
| 2017 | SIMULTECH | Distributed Co-simulation of Embedded Control Software Using INTO-CPS. | Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen |
| 2016 | FM | Formalising and Validating the Interface Description in the FMI Standard. | Miran Hasanagic, Peter W. V. Tran-Jrgensen, Kenneth Lausdahl, Peter Gorm Larsen |
| 2016 | ISoLA | Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. | Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Ren A. Nilsson, Carl Gamble, Simon Foster |
| 2015 | ICSE | Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. | John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock |
| 2015 | ICSE | VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. | Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen |
| 2014 | ISoLA | Contracts in CML. | Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen |
| 2014 | MODELSWARD | Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. | Jos Antonio Esparza Isasa, Peter Wrtz Vinther Jrgensen, Peter Gorm Larsen |
| 2014 | WETICE | Distributed Simulation of Formal Models in System of Systems Engineering. | Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen |
| 2013 | CLOSER | A Secure Dynamic Collaboration Environment in a Cloud Context. | Chris Piechotta, Adam En Jensen, Martin Grooss Olsen, Joey W. Coleman, Peter Gorm Larsen |
| 2011 | ICFEM | A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. | Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
| 2010 | ICFEM | Proof Obligation Generation and Discharging for Recursive Definitions in VDM. | Augusto Ribeiro, Peter Gorm Larsen |
| 2010 | IFM | Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. | John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff |
| 2010 | SAC | Proving consistency of VDM models using HOL. | Sander Vermolen, Jozef Hooman, Peter Gorm Larsen |
| 2010 | SEFM | Combinatorial Testing for VDM. | Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle |
| 2009 | FM | Industrial Practice in Formal Methods: A Review. | Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock |
| 2009 | FM | Connecting UML and VDM++ with Open Tool Support. | Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen |
| 2008 | FM | Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. | Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald |
| 2006 | FM | Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. | Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman |
| 2006 | ISoLA | Triumphs and Challenges for Model-Oriented Formal Methods: The VDM | John S. Fitzgerald, Peter Gorm Larsen |
| 1998 | FM | A Lightweight Approach to Formal Methods. | Sten Agerholm, Peter Gorm Larsen |
| 1998 | FM | The IFAD VDM Tools: Lightweight Formal Methods. | Sten Agerholm, Peter Gorm Larsen |
| 1997 | FM | A Proof Obligation Generator for VDM-SL. | Bernhard K. Aichernig, Peter Gorm Larsen |
| 1997 | FM | PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. | Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss |
| 1996 | FM | Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. | T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen |
| 1996 | FM | Combining VDM-SL Specifications with C++ Code. | Brigitte Frhlich, Peter Gorm Larsen |
| 1994 | FM | Formal and Informal Specifications of a Secure System Component: first results in a comparative study. | John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen |
| 1994 | FM | Evaluation of Underdetermined Explicit Definitions. | Peter Gorm Larsen |
| 1991 | FM | An Executable Subset of Meta-IV with Loose Specification. | Peter Gorm Larsen, Poul Bgh Lassen |