Miran Hasanagic

Realization of distributed system models using code generation extensions

Peter Gorm Larsen, René S. Nilsson, Peter Würtz Vinther Tran-Jørgensen, 2018, Softw. Pract. Exp..

Code generation for distributed embedded systems with VDM-RT

Peter Gorm Larsen, Julien Ouy, Tommaso Fabbri, 2019, Design Automation for Embedded Systems.

Towards Enabling Overture as a Platform for Formal Notation IDEs

Peter Gorm Larsen, Kenneth Lausdahl, Peter Würtz Vinther Tran-Jørgensen, 2015, F-IDE.

SysML as a Common Integration Platform for Co-Simulations: Example of a Cyber Physical System Design Methodology in Green Heating Ventilation and Air Conditioning Systems

Alie El-Din Mady, Alessandra Bagnato, Stylianos Basagiannis, 2016, CEE-SECR '16.