


Остановите войну!
for scientists:


default search action
Peter 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]