default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Gorm Larsen
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
- 2024
[j38]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]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) - [c104]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 - [c103]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 - 2023
- [j36]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]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]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]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]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]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]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]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]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]Morten Haahr Kristensen, Peter Gorm Larsen:
Modelling Chess in VDM++. CoRR abs/2303.10381 (2023) - [i14]Leo Freitas, Peter Gorm Larsen:
VDM recursive functions in Isabelle/HOL. CoRR abs/2303.17457 (2023) - [i13]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]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]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]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]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]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]Daniella Tola, Till Böttjer, Peter Gorm Larsen, Lukas Esterle:
Towards Modular Digital Twins of Robot Systems. ACSOS-C 2022: 95-100 - [c93]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]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]Fatemeh Kakavandi, Peter Gorm Larsen:
Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line. ICCMA 2022: 271-275 - [c90]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]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]Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen:
Digital Twins for Organ Preservation Devices. ISoLA (4) 2022: 22-36 - [c87]Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen:
Towards Secure Digital Twins. ISoLA (4) 2022: 159-176 - [c86]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]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]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]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]Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen:
Introduction to Digital Twin Engineering. ANNSIM 2021: 1-12 - [c82]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]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]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]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]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]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]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]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]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]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]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]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]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]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]John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2020: 49-53 - [c72]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]Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen:
Towards a Digital Twin - Modelling an Agricultural Vehicle. ISoLA (4) 2020: 109-123 - [c70]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]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]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]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]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
- 2019
- [j30]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald:
A Non-unified View of Modelling, Specification and Programming. ISoLA (1) 2018: 52-68 - [c56]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]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]Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel:
From Software Specifications to Constraint Programming. SEFM 2018: 21-36 - [c53]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]Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe:
Demo: Stabilization Technique in INTO-CPS. STAF Workshops 2018: 45-51 - [i5]Martin Peter Christiansen, Peter Gorm Larsen, Rasmus Nyholm Jørgensen:
Robotic design choice overview using co-simulation. CoRR abs/1802.06299 (2018) - [i4]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]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]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]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]Frederik F. Foldager, Peter Gorm Larsen, Ole Green:
Development of a Driverless Lawn Mower Using Co-simulation. SEFM Workshops 2017: 330-344 - [c49]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]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]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]Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe:
Co-simulation: State of the art. CoRR abs/1702.00686 (2017) - [i2]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]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]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]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]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]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]Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen:
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. IWST 2016: 4 - 2015
- [j20]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]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]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]Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen:
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. FormaliSE@ICSE 2015: 33-39 - [c41]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]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]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]John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim:
Collaborative Systems of Systems Need Collaborative Design. PRO-VE 2014: 16-23 - [c37]Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen:
Contracts in CML. ISoLA (2) 2014: 54-73 - [c36]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]Claus Ballegaard Nielsen, Peter Gorm Larsen:
Collaborative formal modeling of System of Systems. SysCon 2014: 154-161 - [c34]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]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]Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen:
Distributed Simulation of Formal Models in System of Systems Engineering. WETICE 2014: 211-216 - [p9]Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce:
Discrete-Event Modelling in VDM. Collaborative Design for Embedded Systems 2014: 61-95 - [p8]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]Kenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald:
Co-model Structuring and Design Patterns. Collaborative Design for Embedded Systems 2014: 115-137 - [p6]Marcel Verhoef, Peter Gorm Larsen:
Industrial Application of Co-modelling and Co-simulation Technology. Collaborative Design for Embedded Systems 2014: 223-259 - [p5]Sune Wolff, Peter Gorm Larsen, Marcel Verhoef:
Deploying Co-modelling in Commercial Practice. Collaborative Design for Embedded Systems 2014: 263-271 - [p4]Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen:
Semantics of Co-simulation. Collaborative Design for Embedded Systems 2014: 273-292 - [p3]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]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]John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
System Development: The DESTECS/Crescendo Technology. ERCIM News 2014(97) (2014) - 2013
- [j17]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]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]John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock:
Foundations for Model-Based Engineering of Systems of Systems. CSDM 2013: 1-19 - [p2]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]Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen:
Combining VDM with Executable Code. ABZ 2012: 266-279 - [c28]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]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]Claus Ballegaard Nielsen, Peter Gorm Larsen:
Extending VDM-RT to enable the formal modelling of System of Systems. SoSE 2012: 457-462 - 2011
- [c25]Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle:
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ICFEM 2011: 179-194 - 2010
- [j16]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]Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff:
Are Formal Methods Ready for Agility? A Reality Check. FM+AM 2010: 13-25 - [c23]Augusto Ribeiro, Peter Gorm Larsen:
Proof Obligation Generation and Discharging for Recursive Definitions in VDM. ICFEM 2010: 40-55 - [c22]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]Sander Vermolen, Jozef Hooman, Peter Gorm Larsen:
Proving consistency of VDM models using HOL. SAC 2010: 2503-2510 - [c20]Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle:
Combinatorial Testing for VDM. SEFM 2010: 278-285 - [c19]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
- 2009
- [b1]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]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]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]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]Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen:
Connecting UML and VDM++ with Open Tool Support. FM 2009: 563-578 - [c17]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]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]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]John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [c15]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]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]Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman:
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162 - [c12]John S. Fitzgerald, Peter Gorm Larsen:
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). ISoLA 2006: 1-4 - 2001
- [j11]Peter Gorm Larsen:
Ten Years of Historical Development "Bootstrapping" VDMTools®. J. Univers. Comput. Sci. 7(8): 692-709 (2001) - 2000
- [j10]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
- 1998
- [c11]Sten Agerholm, Peter Gorm Larsen:
A Lightweight Approach to Formal Methods. FM-Trends 1998: 168-183 - [c10]Sten Agerholm, Peter Gorm Larsen:
The IFAD VDM Tools: Lightweight Formal Methods. FM-Trends 1998: 326-329 - 1997
- [c9]Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss:
PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. FME 1997: 221-236 - [c8]Bernhard K. Aichernig, Peter Gorm Larsen:
A Proof Obligation Generator for VDM-SL. FME 1997: 338-357 - 1996
- [j9]Peter Gorm Larsen, Bo Stig Hansen:
Semantics of Under-determined Expressions. Formal Aspects Comput. 8(1): 47-66 (1996) - [j8]Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes:
Applying Formal Specification in Industry. IEEE Softw. 13(3): 48-56 (1996) - [c7]Brigitte Fröhlich, Peter Gorm Larsen:
Combining VDM-SL Specifications with C++ Code. FME 1996: 179-194 - [c6]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]Jim Woodcock, Peter Gorm Larsen:
Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995) - 1994
- [j6]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]Peter Gorm Larsen, Nico Plat, Hans Toetenel:
A Formal Semantics of Data Flow Diagrams. Formal Aspects Comput. 6(6): 586-606 (1994) - [j4]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]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]Peter Gorm Larsen:
Evaluation of Underdetermined Explicit Definitions. FME 1994: 233-250 - 1993
- [c3]Peter Gorm Larsen:
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Semantics of Specification Languages 1993: 118-134 - [e1]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]Peter Gorm Larsen, Nico Plat:
Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573 (1992) - [j2]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]Nico Plat, Peter Gorm Larsen:
An overview of the ISO/VDM-SL standard. ACM SIGPLAN Notices 27(8): 76-82 (1992) - 1991
- [c2]Peter Gorm Larsen, Poul Bøgh Lassen:
An Executable Subset of Meta-IV with Loose Specification. VDM Europe (1) 1991: 604-618
1980 – 1989
- 1989
- [c1]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
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
