Miran Hasanagic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2018
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | PADL | Three Is a Crowd: SAT, SMT and CLP on a Chessboard. | Sebastian Krings, Michael Leuschel, Philipp Krner, Stefan Hallerstede, Miran Hasanagic |
| 2018 | SEFM | From Software Specifications to Constraint Programming. | Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel |
| 2017 | SEFM | Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen |
| 2016 | FM | Formalising and Validating the Interface Description in the FMI Standard. | Miran Hasanagic, Peter W. V. Tran-Jrgensen, Kenneth Lausdahl, Peter Gorm Larsen |