Automatic Generation of Functional Mock-Up Units from Formal Specifications

von Palmieri, Maurizio
Veröffentlicht in CoSim-CPS (3. : 2019 : Oslo) Software engineering and formal methods (2020)

Problematizing the Service Portfolio of Digital Innovation Hubs

von Asplund, Fredrik
Veröffentlicht in IFIP WG 5.5 Working Conference on Virtual Enterprises (22. : 2021 : Saint-Etienne; Online) Smart and sustainable collaborative networks 4.0 (2021)

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins

von Woodcock, Jim
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

Migrating the INTO-CPS Application to the Cloud

von Macedo, Hugo Daniel
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Towards a Static Check of FMUs in VDM-SL

von Battle, Nick
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?

von Feng, Hao
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2022)

Towards Secure Digital Twins

von Kulik, Tomas
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

A Universal Mechanism for Implementing Functional Mock-up Units

von Legaard, Christian Møldrup
Veröffentlicht in SIMULTECH (11. : 2021 : Online) SIMULTECH 2021 (2021)

Introducing Regression Tests and Upgrades to the INTO-CPS Application

von Talasila, Prasad
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks

von Thule, Casper
Veröffentlicht in CoSim-CPS (3. : 2019 : Oslo) Software engineering and formal methods (2020)

Collaborative Modelling and Co-simulation in Engineering an Computing Curricula

von Larsen, Peter Gorm
Veröffentlicht in Frontiers in software engineering education (2020)

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems

von Larsen, Peter Gorm
Veröffentlicht in SIMULTECH (10. : 2020 : Online) SIMULTECH 2020 (2020)

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems

von Larsen, Peter Gorm
Veröffentlicht in SIMULTECH (10. : 2020 : Online) Simulation and modeling methodologies, technologies and applications (2022)