Towards Enabling Overture as a Platform for Formal Notation IDEs. - Luís Diogo Couto; Peter Gorm Larsen; Miran Hasanagic; Georgios Kanakis; Kenneth Lausdahl; Peter W. V. Tran-Jørgensen (F-IDE, 2015)

Formalising and Validating the Interface Description in the FMI Standard. - Miran Hasanagic; Peter W. V. Tran-Jørgensen; Kenneth Lausdahl; Peter Gorm Larsen (FM, 2016)

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. - Luís Diogo Couto; Stylianos Basagiannis; El Hassan Ridouane; Alie El-Din Mady; Miran Hasanagic; Peter Gorm Larsen (SEFM Workshops, 2017)

Three Is a Crowd: SAT, SMT and CLP on a Chessboard. - Sebastian Krings; Michael Leuschel; Philipp Körner; Stefan Hallerstede; Miran Hasanagic (PADL, 2018)

From Software Specifications to Constraint Programming. - Stefan Hallerstede; Miran Hasanagic; Sebastian Krings; Peter Gorm Larsen; Michael Leuschel (SEFM, 2018)

Code generation for distributed embedded systems with VDM-RT. - Miran Hasanagic; Tommaso Fabbri; Peter Gorm Larsen; Victor Bandur; Peter W. V. Tran-Jørgensen; Julien Ouy (Des. Autom. Embed. Syst., 2019)

Realization of distributed system models using code generation extensions. - Miran Hasanagic; Peter W. V. Tran-Jørgensen; René S. Nilsson; Peter Gorm Larsen (Softw. Pract. Exp., 2019)