Miran Hasanagic

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 6

Top Topics

Code Generation

Constraint Programming

Satisfiability Modulo Theories

Top Venues

Des. Autom. Embed. Syst.

Publications

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) (2019)
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) (2019)
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. PADL (2018)
Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel
From Software Specifications to Constraint Programming. SEFM (2018)
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)
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)
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)