Miran Hasanagic

According to our database, Miran Hasanagic authored at least 7 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

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

2018

From Software Specifications to Constraint Programming.

Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Three Is a Crowd: SAT, SMT and CLP on a Chessboard.

Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic

Proceedings of the Practical Aspects of Declarative Languages, 2018

2017

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

Proceedings of the Software Engineering and Formal Methods, 2017

2016

Formalising and Validating the Interface Description in the FMI Standard.

Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the FM 2016: Formal Methods, 2016

2015

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

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015