default search action

combined dblp search
author search
venue search
publication search

ask others

Peter Gorm Larsen

> Home > Persons

Person information

affiliation: Aarhus University, Denmark

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/TalasilaGVILGMKL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/TalasilaGVILGMKL25
Prasad Talasila, Cláudio Gomes, Lars Bernd Vosteen, Hannes Iven, Martin Leucker, Santiago Gil, Peter Høgh Mikkelsen, Eduard Kamburjan, Peter Gorm Larsen:
Composable digital twins on Digital Twin as a Service platform. Simul. 101(3): 287-311 (2025)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/GilOGFL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/GilOGFL25
Santiago Gil, Bentley J. Oakes, Cláudio Gomes, Mirgita Frasheri, Peter Gorm Larsen:
Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. Simul. 101(3): 313-339 (2025)
2024
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jss/HansenTGLMAL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/HansenTGLMAL24
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen:
Co-simulation at different levels of expertise with Maestro2. J. Syst. Softw. 209: 111905 (2024)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/GilMGL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/GilMGL24
Santiago Gil, Peter Høgh Mikkelsen, Cláudio Gomes, Peter Gorm Larsen:
Survey on open-source digital twin frameworks-A case study approach. Softw. Pract. Exp. 54(6): 929-960 (2024)
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/KristensenB0HMI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/KristensenB0HMI24
Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright:
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C 2024: 121-127
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/bcd/SharifiradBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcd/SharifiradBL24
Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen:
Enhancing and Validating Simulator Data Generation Integrity Through Frequency-Based Analysis. BCD 2024: 27-32
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/WewerMEL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/WewerMEL24
Christian Remi Wewer, Harshit Mahapatra, Lukas Esterle, Peter Gorm Larsen:
Using FactoryML for Deployment of Machine Learning Models in Industrial Production. ETFA 2024: 1-8
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/KazemiYL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/KazemiYL24
Zahra Kazemi, Emre Yildiz, Peter Gorm Larsen:
Enabling Flexible Manufactuirng in Wind Industry Based on Movable Factory Concept: Definitions, Requirements, and Challenges. ICIT 2024: 1-7
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/GomesKATFWL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/GomesKATFWL24
Cláudio Gomes, Morten Haahr Kristensen, Mikkel Schmidt Andersen, Prasad Talasila, Hao Feng, Thomas Wright, Peter Gorm Larsen:
Digital Twin Tutorial: The Incubator Case Study. SETSS 2024: 68-101
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/sisy/SharifiradBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sisy/SharifiradBL24
Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen:
Highly Accurate Anomaly Detection for the Combustion System of a Marine Engine Using Multivariate Transformers. SISY 2024: 503-510
[p10]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/FitzgeraldLPFB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/FitzgeraldLPFB24
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Leo Freitas, Nick Battle:
Verification Technology for VDM: Craft and Automation. The Practice of Formal Methods (I) 2024: 109-130
2023
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/LegaardSSDFGIAL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/LegaardSSDFGIAL23
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen:
Constructing Neural Network Based Models for Simulating Dynamical Systems. ACM Comput. Surv. 55(11): 236:1-236:34 (2023)
[j35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ras/FrasheriETGKLE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/FrasheriETGKLE23
Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Cláudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle:
Addressing time discrepancy between digital and physical twins. Robotics Auton. Syst. 161: 104347 (2023)
[c102]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/annsim/OakesGLDDCF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/OakesGLDDCF23
Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald:
Examining Model Qualities and Their Impact on Digital Twins. ANNSIM 2023: 220-232
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LarsenEFF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LarsenEFF23
Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri:
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. Applicable Formal Methods for Safe Industrial Products 2023: 222-236
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/case/LehnerGMLW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/LehnerGMLW23
Daniel Lehner, Santiago Gil, Peter Høgh Mikkelsen, Peter Gorm Larsen, Manuel Wimmer:
An Architectural Extension for Digital Twin Platforms to Leverage Behavioral ModelsBehaviors. CASE 2023: 1-8
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GilMTSL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GilMTSL23
Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Casper Schou, Peter Gorm Larsen:
A Modeling Approach for Composed Digital Twins in Cooperative Systems. ETFA 2023: 1-8
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad2/KakavandiHRLZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad2/KakavandiHRLZ23
Fatemeh Kakavandi, Peihua Han, Roger De Reus, Peter Gorm Larsen, Houxiang Zhang:
Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications. ICCAD 2023: 1-7
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/KazemiALL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/KazemiALL23
Zahra Kazemi, Peter Rindom Andersen, Jakob Lemming, Peter Gorm Larsen:
Artificial Intelligence-Based Diagnosis of Hydraulic Centrifugal Pumps Using Vibration Sensor: Feature Extraction and Failure Classification. ISIE 2023: 1-6
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/mmar/FrasheriLKHTEL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmar/FrasheriLKHTEL23
Mirgita Frasheri, Gill Lumer-Klabbers, Jakob Levisen Kvistgaard, Jacob Odgaard Hausted, Casper Thule, Lukas Esterle, Peter Gorm Larsen:
Building Safer Robots: From Simulation to Hardware Deployment. MMAR 2023: 63-68
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-10381
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-10381
Morten Haahr Kristensen, Peter Gorm Larsen:
Modelling Chess in VDM++. CoRR abs/2303.10381 (2023)
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-17457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-17457
Leo Freitas, Peter Gorm Larsen:
VDM recursive functions in Isabelle/HOL. CoRR abs/2303.17457 (2023)
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-06618
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-06618
Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo:
Bidirectional UML Visualisation of VDM Models. CoRR abs/2304.06618 (2023)
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-07244
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-07244
Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen:
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. CoRR abs/2305.07244 (2023)
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-15191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-15191
Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild:
State of the Art Report: Verified Computation. CoRR abs/2308.15191 (2023)
2022
[j34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/array/ZambranoMSTZLLT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/array/ZambranoMSTZLLT22
Valentina Zambrano, Johannes Mueller-Roemer, Michael Sandberg, Prasad Talasila, Davide Zanin, Peter Gorm Larsen, Elke Loeschner, Wolfgang Thronicke, Dario Pietraroia, Giuseppe Landolfi, Alessandro Fontana, Manuel Laspalas, Jibinraj Antony, Valerie Poser, Tamás Kiss, Simon Bergweiler, Sebastián Peña Serna, Salvador Izquierdo, Ismael Viejo, Asier Juan, Francisco Serrano, André Stork:
Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms. Array 14: 100176 (2022)
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/KulikDLMSTW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/KulikDLMSTW22
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock:
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34(1): 1-39 (2022)
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/EsterleEFGML22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/EsterleEFGML22
Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. ACSOS-C 2022: 53-54
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/TolaBLE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/TolaBLE22
Daniella Tola, Till Böttjer, Peter Gorm Larsen, Lukas Esterle:
Towards Modular Digital Twins of Robot Systems. ACSOS-C 2022: 95-100
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/annsim/FengGGMTLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/FengGGMTLS22
Hao Feng, Cláudio Gomes, Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Peter Gorm Larsen, Michael Sandberg:
Integration Of The Mape-K Loop In Digital Twins. ANNSIM 2022: 102-113
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/UbysVKLBA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/UbysVKLBA22
Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha:
Formal Model In-The-Loop for Secure Industrial Control Networks. FACS 2022: 74-89
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/iccma/KakavandiL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccma/KakavandiL22
Fatemeh Kakavandi, Peter Gorm Larsen:
Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line. ICCMA 2022: 271-275
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/KakavandiRGHIL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/KakavandiRGHIL22
Fatemeh Kakavandi, Roger De Reus, Cláudio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen:
Product Quality Control in Assembly Machine under Data Restricted Settings. INDIN 2022: 735-741
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldLMWG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldLMWG22
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2022: 3-8
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BuhagiarFSL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BuhagiarFSL22
Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen:
Digital Twins for Organ Preservation Devices. ISoLA (4) 2022: 22-36
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KulikGMHL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KulikGMHL22
Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen:
Towards Secure Digital Twins. ISoLA (4) 2022: 159-176
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/sii/TolaMGESHL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sii/TolaMGESHL22
Daniella Tola, Emil Madsen, Cláudio Gomes, Lukas Esterle, Christian Schlette, Casper Hansen, Peter Gorm Larsen:
Towards Easy Robot System Integration: Challenges and Future Directions. SII 2022: 77-82
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/sii/MadsenTHGL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sii/MadsenTHGL22
Emil Madsen, Daniella Tola, Carlos Hansen, Cláudio Gomes, Peter Gorm Larsen:
AURT: A Tool for Dynamics Calibration of Robot Manipulators. SII 2022: 190-195
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-07829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-07829
Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill:
Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. CoRR abs/2212.07829 (2022)
2021
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/EsterleGFETL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/EsterleGFETL21
Lukas Esterle, Cláudio Gomes, Mirgita Frasheri, Henrik Ejersbo, Sven Tomforde, Peter Gorm Larsen:
Digital twins for collaboration and self-integration. ACSOS-C 2021: 172-177
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/annsim/FengGTLIL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/FengGTLIL21
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen:
Introduction to Digital Twin Engineering. ANNSIM 2021: 1-12
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/annsim/HansenGLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/HansenGLP21
Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol:
Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM 2021: 1-12
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/annsim/InciCDGTLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/InciCDGTLL21
Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen:
The Effect and Selection of Solution Sequence in Co-Simulation. ANNSIM 2021: 1-12
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Lumer-KlabbersH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Lumer-KlabbersH21
Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, Peter Gorm Larsen:
Towards a Digital Twin Framework for Autonomous Robots. COMPSAC 2021: 1254-1259
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/FrasheriTMLLE21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/FrasheriTMLLE21
Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle:
Fault Injecting Co-simulations for Safety. ICSRS 2021: 6-13
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/models/Feng0STLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Feng0STLL21
Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen:
Developing a Physical and Digital Twin: An Example Process Model. MoDELS (Companion) 2021: 286-295
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FengGSML21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FengGSML21
Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen:
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? SEFM Workshops 2021: 143-155
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/TalasilaCPLZS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/TalasilaCPLZS21
Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill:
Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. SEFM Workshops 2021: 238-244
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/LegaardTSML21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/LegaardTSML21
Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen:
A Universal Mechanism for Implementing Functional Mock-up Units. SIMULTECH 2021: 121-129
[c74]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02961
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen:
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. F-IDE@NFM 2021: 3-18
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-10390
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-10390
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen:
The Incubator Case Study for Digital Twin Engineering. CoRR abs/2102.10390 (2021)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-01362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-01362
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock:
A Survey of Practical Formal Methods for Security. CoRR abs/2109.01362 (2021)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-01495
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-01495
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen:
Constructing Neural Network-Based Models for Simulating Dynamical Systems. CoRR abs/2111.01495 (2021)
2020
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/FitzgeraldIL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/FitzgeraldIL20
John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen:
Editorial to the theme section on model-based engineering of smart systems. Softw. Syst. Model. 19(3): 579-580 (2020)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CoutoTNL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CoutoTNL20
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen:
Enabling continuous integration in a formal methods setting. Int. J. Softw. Tools Technol. Transf. 22(6): 667-683 (2020)
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldLMW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldLMW20
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2020: 49-53
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WoodcockGML20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WoodcockGML20
Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) 2020: 72-87
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FoldagerTBL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FoldagerTBL20
Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen:
Towards a Digital Twin - Modelling an Agricultural Vehicle. ISoLA (4) 2020: 109-123
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LiNJTLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LiNJTLS20
Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz:
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. ISoLA (4) 2020: 153-174
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/TalasilaSVTLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/TalasilaSVTLM20
Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo:
Introducing Regression Tests and Upgrades to the INTO-CPS Application. SEFM 2020: 311-317
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/LarsenMFPBTMVSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/LarsenMFPBTMVSG20
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:
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) 2020: 90-110
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/LarsenMFPBTMGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/LarsenMFPBTMGS20
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.:
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH 2020: 263-270
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-02449
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-02449
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.:
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR abs/2005.02449 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/computers/MacedoNL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computers/MacedoNL19
Hugo Daniel Macedo, René S. Nilsson, Peter Gorm Larsen:
The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution. Comput. 8(2): 31 (2019)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/HasanagicFLBTO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/HasanagicFLBTO19
Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy:
Code generation for distributed embedded systems with VDM-RT. Des. Autom. Embed. Syst. 23(3-4): 153-177 (2019)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/simpra/ThuleLGML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpra/ThuleLGML19
Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen:
Maestro: The INTO-CPS co-simulation framework. Simul. Model. Pract. Theory 92: 45-61 (2019)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/HasanagicTNL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/HasanagicTNL19
Miran Hasanagic, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen:
Realization of distributed system models using code generation extensions. Softw. Pract. Exp. 49(3): 478-497 (2019)
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FitzgeraldLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FitzgeraldLP19
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce:
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin. From Software Engineering to Formal Methods and Tools, and Back 2019: 40-55
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/HallerstedeLBSE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/HallerstedeLBSE19
Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Schultz, Lukas Esterle:
On the Design of a New Software Engineering Curriculum in Computer Engineering. FISEE 2019: 178-195
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/LarsenMGETFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/LarsenMGETFP19
Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce:
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. FISEE 2019: 196-213
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MacedoRTL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MacedoRTL19
Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen:
Migrating the INTO-CPS Application to the Cloud. FM Workshops (2) 2019: 254-271
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BattleTGML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BattleTGML19
Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Towards a Static Check of FMUs in VDM-SL. FM Workshops (2) 2019: 272-288
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/OdaAYNSCL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/OdaAYNSCL19
Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen:
ViennaDoc: An Animatable and Testable Specification Documentation Tool. FM Workshops (2) 2019: 289-302
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Tran-JorgensenK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Tran-JorgensenK19
Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen:
Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE 2019: 13:1-13:11
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GomesTLVL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GomesTLVL19
Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen:
Generation of Co-simulation Algorithms Subject to Simulator Contracts. SEFM Workshops 2019: 34-49
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ThulePGLMBL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ThulePGLMBL19
Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen:
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops 2019: 50-66
2018
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/GomesTBLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/GomesTBLV18
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe:
Co-Simulation: A Survey. ACM Comput. Surv. 51(3): 49:1-49:33 (2018)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Tran-JorgensenL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Tran-JorgensenL18
Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens:
Automated translation of VDM to JML-annotated Java. Int. J. Softw. Tools Technol. Transf. 20(2): 211-235 (2018)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HallerstedeLF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HallerstedeLF18
Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald:
A Non-unified View of Modelling, Specification and Programming. ISoLA (1) 2018: 52-68
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GibsonLPFW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GibsonLPFW18
J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock:
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) 2018: 407-410
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GomesTDLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GomesTDLV18
Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe:
Co-simulation: The Past, Future, and Open Challenges. ISoLA (3) 2018: 504-520
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/HallerstedeHKLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/HallerstedeHKLL18
Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel:
From Software Specifications to Constraint Programming. SEFM 2018: 21-36
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/ThuleGDLBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/ThuleGDLBV18
Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe:
Towards the Verification of Hybrid Co-simulation Algorithms. STAF Workshops 2018: 5-20
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/GomesTLLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/GomesTLLV18
Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe:
Demo: Stabilization Technique in INTO-CPS. STAF Workshops 2018: 45-51
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-06299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-06299
Martin Peter Christiansen, Peter Gorm Larsen, Rasmus Nyholm Jørgensen:
Robotic design choice overview using co-simulation. CoRR abs/1802.06299 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-08463
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-08463
Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe:
Co-simulation of Continuous Systems: A Tutorial. CoRR abs/1809.08463 (2018)
2017
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/OdaAL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/OdaAL17
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen:
A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Trans. Inf. Syst. 100-D(6): 1210-1217 (2017)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/ijes/IsasaLH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijes/IsasaLH17
José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen:
A holistic approach to energy-aware design of cyber-physical systems. Int. J. Embed. Syst. 9(3): 283-295 (2017)
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CoutoBRMHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CoutoBRMHL17
Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen:
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. SEFM Workshops 2017: 284-299
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FoldagerLG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FoldagerLG17
Frederik F. Foldager, Peter Gorm Larsen, Ole Green:
Development of a Driverless Lawn Mower Using Co-simulation. SEFM Workshops 2017: 330-344
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LarsenFWGPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LarsenFWGPP17
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce:
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops 2017: 377-390
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/PedersenLSTLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/PedersenLSTLM17
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen:
Distributed Co-simulation of Embedded Control Software Using INTO-CPS. SIMULTECH (Selected Papers) 2017: 33-54
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/PedersenLSLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/PedersenLSLM17
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen:
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. SIMULTECH 2017: 73-82
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GomesTBLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GomesTBLV17
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe:
Co-simulation: State of the art. CoRR abs/1702.00686 (2017)
[i2]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/IshikawaGF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/IshikawaGF17
Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald:
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). NII Shonan Meet. Rep. 2017 (2017)
2016
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/PiechottaOJCL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/PiechottaOJCL16
Chris Piechotta, Martin Grooss Olsen, Adam Enø Jensen, Joey W. Coleman, Peter Gorm Larsen:
A secure dynamic collaboration environment in a cloud context. Future Gener. Comput. Syst. 55: 165-175 (2016)
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LarsenF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LarsenF16
Peter Gorm Larsen, John S. Fitzgerald:
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. J. Log. Algebraic Methods Program. 85(5): 985-998 (2016)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/cspdata/LarsenFWFBKLPGB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cspdata/LarsenFWFBKLPGB16
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh:
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data 2016: 1-6
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HasanagicTLL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HasanagicTLL16
Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen:
Formalising and Validating the Interface Description in the FMI Standard. FM 2016: 344-351
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenFWNGF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenFWNGF16
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster:
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) 2016: 171-186
[c43]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/iwst/OdaAL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwst/OdaAL16
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen:
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. IWST 2016: 4
2015
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/NielsenLFWP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/NielsenLFWP15
Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska:
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. ACM Comput. Surv. 48(2): 18:1-18:41 (2015)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MotaFWL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MotaFWL15
Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen:
Model checking CML: tool development and industrial applications. Formal Aspects Comput. 27(5-6): 975-1001 (2015)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/robotics/ChristiansenLJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/robotics/ChristiansenLJ15
Martin P. Christiansen, Peter Gorm Larsen, Rasmus N. Jørgensen:
Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration. Robotics 4(4): 398-420 (2015)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/OdaAL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/OdaAL15
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen:
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. FormaliSE@ICSE 2015: 33-39
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FitzgeraldGLPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FitzgeraldGLPW15
John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock:
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE 2015: 40-46
[c40]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoutoLHKLT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoutoLHKLT15
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen:
Towards Enabling Overture as a Platform for Formal Notation IDEs. F-IDE 2015: 14-27
2014
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/IsasaLH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/IsasaLH14
José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen:
Energy-Aware Model-Driven Development of a Wearable Healthcare Device. FHIES/SEHC 2014: 44-63
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/FitzgeraldBLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/FitzgeraldBLS14
John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim:
Collaborative Systems of Systems Need Collaborative Design. PRO-VE 2014: 16-23
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WoodcockCFFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WoodcockCFFL14
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen:
Contracts in CML. ISoLA (2) 2014: 54-73
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/IsasaJL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/IsasaJL14
José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen:
Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. MODELSWARD 2014: 209-216
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/NielsenL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/NielsenL14
Claus Ballegaard Nielsen, Peter Gorm Larsen:
Collaborative formal modeling of System of Systems. SysCon 2014: 154-161
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/FitzgeraldPL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/FitzgeraldPL14
John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen:
Co-modelling and co-simulation in the engineering of systems of cyber-physical systems. SoSE 2014: 67-72
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/FosterMWCFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/FosterMWCFL14
Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen:
An approach for managing semantic heterogeneity in Systems of Systems Engineering. SoSE 2014: 113-118
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/NielsenLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/NielsenLL14
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen:
Distributed Simulation of Formal Models in System of Systems Engineering. WETICE 2014: 211-216
[p9]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/LarsenFVP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/LarsenFVP14
Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce:
Discrete-Event Modelling in VDM. Collaborative Design for Embedded Systems 2014: 61-95
[p8]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/LarsenGPRL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/LarsenGPRL14
Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl:
Support for Co-modelling and Co-simulation: The Crescendo Tool. Collaborative Design for Embedded Systems 2014: 97-114
[p7]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/PierceLF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/PierceLF14
Kenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald:
Co-model Structuring and Design Patterns. Collaborative Design for Embedded Systems 2014: 115-137
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/VerhoefL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/VerhoefL14
Marcel Verhoef, Peter Gorm Larsen:
Industrial Application of Co-modelling and Co-simulation Technology. Collaborative Design for Embedded Systems 2014: 223-259
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/WolffLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/WolffLV14
Sune Wolff, Peter Gorm Larsen, Marcel Verhoef:
Deploying Co-modelling in Commercial Practice. Collaborative Design for Embedded Systems 2014: 263-271
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/ColemanLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/ColemanLL14
Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen:
Semantics of Co-simulation. Collaborative Design for Embedded Systems 2014: 273-292
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/FitzgeraldLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/FitzgeraldLV14
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
From Embedded to Cyber-Physical Systems: Challenges and Future Directions. Collaborative Design for Embedded Systems 2014: 293-303
[e2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/FLV2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/FLV2014
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. Springer 2014, ISBN 978-3-642-54117-9 [contents]
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/FitzgeraldLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/FitzgeraldLV14
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
System Development: The DESTECS/Crescendo Technology. ERCIM News 2014(97) (2014)
2013
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FitzgeraldLPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FitzgeraldLPV13
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef:
A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. 23(4): 726-750 (2013)
[c31]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/closer/PiechottaJOCL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/PiechottaJOCL13
Chris Piechotta, Adam Enø Jensen, Martin Grooss Olsen, Joey W. Coleman, Peter Gorm Larsen:
A Secure Dynamic Collaboration Environment in a Cloud Context. CLOSER 2013: 406-415
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/csdm/FitzgeraldLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csdm/FitzgeraldLW13
John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock:
Foundations for Model-Based Engineering of Systems of Systems. CSDM 2013: 1-19
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/FitzgeraldBLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/FitzgeraldBLW13
John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock:
Industrial Deployment of Formal Methods: Trends and Challenges. Industrial Deployment of System Engineering Methods 2013: 123-143
2012
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/NielsenLL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/NielsenLL12
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen:
Combining VDM with Executable Code. ABZ 2012: 266-279
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/WoodcockCFLMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/WoodcockCFLMP12
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry:
Features of CML: A formal modelling language for Systems of Systems. SoSE 2012: 445-450
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/ColemanMLPHAPFMBD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/ColemanMLPHAPFMBD12
Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier:
COMPASS tool vision for a system of systems Collaborative Development Environment. SoSE 2012: 451-456
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/NielsenL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/NielsenL12
Claus Ballegaard Nielsen, Peter Gorm Larsen:
Extending VDM-RT to enable the formal modelling of System of Systems. SoSE 2012: 457-462
2011
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LausdahlLB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LausdahlLB11
Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle:
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ICFEM 2011: 179-194
2010
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/LarsenBFFLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/LarsenBFFLV10
Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef:
The overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes 35(1): 1-6 (2010)
[c24]
- view
- export record
  dblp key:
  - conf/fmam/LarsenFW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmam/LarsenFW10
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff:
Are Formal Methods Ready for Agility? A Reality Check. FM+AM 2010: 13-25
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/RibeiroL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/RibeiroL10
Augusto Ribeiro, Peter Gorm Larsen:
Proof Obligation Generation and Discharging for Recursive Definitions in VDM. ICFEM 2010: 40-55
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FitzgeraldLPVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FitzgeraldLPVW10
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff:
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. IFM 2010: 12-26
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/VermolenHL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/VermolenHL10
Sander Vermolen, Jozef Hooman, Peter Gorm Larsen:
Proving consistency of VDM models using HOL. SAC 2010: 2503-2510
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LarsenLB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LarsenLB10
Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle:
Combinatorial Testing for VDM. SEFM 2010: 278-285
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/BroeninkKLJVP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/BroeninkKLJVP10
Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce:
Design support and tooling for dependable embedded control software. SERENE 2010: 77-82

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0022944
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0022944
John S. Fitzgerald, Peter Gorm Larsen:
Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). Cambridge University Press 2009, ISBN 978-0-521-89911-6, pp. I-XVI, 1-288
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/WoodcockLBF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/WoodcockLBF09
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald:
Formal methods: Practice and experience. ACM Comput. Surv. 41(4): 19:1-19:36 (2009)
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LarsenFR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LarsenFR09
Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle:
Practice-oriented courses in formal methods using VDM⁺⁺. Formal Aspects Comput. 21(3): 245-257 (2009)
[j13]
- view
  - electronic edition @ ijsi.org
  - details & citations
- export record
  dblp key:
  - journals/ijsi/LarsenFW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/LarsenFW09
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff:
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. Int. J. Softw. Informatics 3(2-3): 305-341 (2009)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LausdahlLL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LausdahlLL09
Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen:
Connecting UML and VDM++ with Open Tool Support. FM 2009: 563-578
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BicarreguiFLW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BicarreguiFLW09
Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock:
Industrial Practice in Formal Methods: A Review. FM 2009: 810-813
2008
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/FitzgeraldLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/FitzgeraldLS08
John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara:
VDMTools: advances in support for formal modeling in VDM. ACM SIGPLAN Notices 43(2): 3-11 (2008)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MacedoLF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MacedoLF08
Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald:
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. FM 2008: 181-197
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/wiley/FitzgeraldLV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/wiley/FitzgeraldLV08
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FitzgeraldL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FitzgeraldL07
John S. Fitzgerald, Peter Gorm Larsen:
Balancing Insight and Effort: The Industrial Uptake of Formal Methods. Formal Methods and Hybrid Real-Time Systems 2007: 237-254
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/FitzgeraldTLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/FitzgeraldTLV07
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef:
Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
2006
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/VerhoefLH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/VerhoefLH06
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman:
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldL06
John S. Fitzgerald, Peter Gorm Larsen:
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM⁺⁺ Experience (Abstract). ISoLA 2006: 1-4
2001
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/Larsen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/Larsen01
Peter Gorm Larsen:
Ten Years of Historical Development "Bootstrapping" VDMTools®. J. Univers. Comput. Sci. 7(8): 692-709 (2001)
2000
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LarsenMS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LarsenMS00
Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen:
Using VDMTools to Model and Validate the Cash Dispenser Example. Formal Aspects Comput. 12(4): 216-217 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AgerholmL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AgerholmL98
Sten Agerholm, Peter Gorm Larsen:
A Lightweight Approach to Formal Methods. FM-Trends 1998: 168-183
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AgerholmL98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AgerholmL98a
Sten Agerholm, Peter Gorm Larsen:
The IFAD VDM Tools: Lightweight Formal Methods. FM-Trends 1998: 326-329
1997
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DevauchelleLV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DevauchelleLV97
Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss:
PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. FME 1997: 221-236
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AichernigL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AichernigL97
Bernhard K. Aichernig, Peter Gorm Larsen:
A Proof Obligation Generator for VDM-SL. FME 1997: 338-357
1996
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LarsenH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LarsenH96
Peter Gorm Larsen, Bo Stig Hansen:
Semantics of Under-determined Expressions. Formal Aspects Comput. 8(1): 47-66 (1996)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/software/LarsenFB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/LarsenFB96
Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes:
Applying Formal Specification in Industry. IEEE Softw. 13(3): 48-56 (1996)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FrohlichL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FrohlichL96
Brigitte Fröhlich, Peter Gorm Larsen:
Combining VDM-SL Specifications with C++ Code. FME 1996: 179-194
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BrookesFL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BrookesFL96
T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen:
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. FME 1996: 214-227
1995
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/WoodcockL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WoodcockL95
Jim Woodcock, Peter Gorm Larsen:
Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995)
1994
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Larsen94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Larsen94
Peter Gorm Larsen:
Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication). Formal Aspects Comput. 6(5): 565-568 (1994)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LarsenPT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LarsenPT94
Peter Gorm Larsen, Nico Plat, Hans Toetenel:
A Formal Semantics of Data Flow Diagrams. Formal Aspects Comput. 6(6): 586-606 (1994)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/ElmstromLL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/ElmstromLL94
René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen:
The IFAD VDM-SL toolbox: a practical approach to formal specifications. ACM SIGPLAN Notices 29(9): 77-80 (1994)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FitzgeraldBGL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FitzgeraldBGL94
John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen:
Formal and Informal Specifications of a Secure System Component: first results in a comparative study. FME 1994: 35-44
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Larsen94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Larsen94
Peter Gorm Larsen:
Evaluation of Underdetermined Explicit Definitions. FME 1994: 233-250
1993
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sosl/Larsen93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosl/Larsen93
Peter Gorm Larsen:
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Semantics of Specification Languages 1993: 118-134
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1993
Jim Woodcock, Peter Gorm Larsen:
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Lecture Notes in Computer Science 670, Springer 1993, ISBN 3-540-56662-7 [contents]
1992
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/LarsenP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/LarsenP92
Peter Gorm Larsen, Nico Plat:
Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573 (1992)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/AndersenELL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/AndersenELL92
Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen:
Making specifications executable - Using IPTES Meta-IV. Microprocess. Microprogramming 35(1-5): 521-528 (1992)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/PlatL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/PlatL92
Nico Plat, Peter Gorm Larsen:
An overview of the ISO/VDM-SL standard. ACM SIGPLAN Notices 27(8): 76-82 (1992)
1991
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LarsenL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LarsenL91
Peter Gorm Larsen, Poul Bøgh Lassen:
An Executable Subset of Meta-IV with Loose Specification. VDM Europe (1) 1991: 604-618

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/LarsenAMB89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/LarsenAMB89
Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear:
Towards a Formal Semantics of the BS/VDM Specification Language. IFIP Congress 1989: 95-100

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.