Michael Reichhardt Hansen

  1. 2016
  2. Published

    Discounted Duration Calculus. / Ody, Heinrich ; Fränzle, Martin; Hansen, Michael Reichhardt.

    Proceedings of the 21st International Symposium on Formal Methods (FM 2016). Springer, 2016. p. 577-592 (Lecture Notes in Computer Science, Vol. 9995).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  3. Published

    Game-based verification and synthesis. / Vester, Steen; Hansen, Michael Reichhardt (Main supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 203 p. (DTU Compute PHD-2016; No. 414).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  4. Published

    Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016). / Dyreson, Curtis (Editor); Hansen, Michael Reichhardt (Editor); Hunsberger, Luke (Editor).

    IEEE, 2016. 206 p.

    Publication: ResearchBook – Annual report year: 2016

  5. Published

    Synthesis of railway-signaling plans using reachability games. / Kasting, Patrick Frederik Soelmark; Hansen, Michael Reichhardt; Vester, Steen.

    28th Symposium on the Implementation and Application of Functional Programming Languages,. Vol. Part F127410 2016. (Acm Int. Conf. Proc. Ser).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  6. 2015
  7. Published
  8. Published

    Modelling and Analysis for Cyber-Physical Systems: An SMT-based approach. / Dung, Phan Anh; Hansen, Michael Reichhardt (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 83 p. (DTU Compute PHD-2015; No. 373).

    Publication: ResearchPh.D. thesis – Annual report year: 2015

  9. Published

    No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL. / Fränzle, Martin; Hansen, Michael Reichhardt; Ody, Heinrich .

    Correct System Design: Proceedings of the Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. ed. / Roland Meyer; Heike Wehrheim; André Platzer. Springer, 2015. p. 152-171 (Lecture Notes in Computer Science, Vol. 9360).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  10. 2014
  11. Published
  12. Published

    EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. / Dung, Phan Anh; Hansen, Michael Reichhardt; Madsen, Jan.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 520-540 (Lecture Notes in Computer Science, Vol. 8373).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  13. Published

    Specification, Verification and Optimisation of Business Processes : A Unified Framework. / Herbert, Luke Thomas; Sharp, Robin (Main supervisor); Hansen, Michael Reichhardt (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2014. 300 p. (DTU Compute PHD-2014; No. 303).

    Publication: ResearchPh.D. thesis – Annual report year: 2014

Previous 1 2 3 4 5 6 7 8 ...10 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word