Stop the war!Остановите войну!
for scientists:
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
- 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)- 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]