Photo of Michael Reichhardt Hansen
  • Richard Petersens Plads, 322, 112

    2800 Kgs. Lyngby


1983 …2016

Research output per year

If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Discounted Duration Calculus

Ody, H., Fränzle, M. & Hansen, M. R., 2016, Proceedings of the 21st International Symposium on Formal Methods (FM 2016). Springer, p. 577-592 (Lecture Notes in Computer Science, Vol. 9995).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016)

Dyreson, C. (ed.), Hansen, M. R. (ed.) & Hunsberger, L. (ed.), 2016, IEEE. 206 p.

Research output: Book/ReportBookResearch

Synthesis of railway-signaling plans using reachability games

Kasting, P. F. S., Hansen, M. R. & Vester, S., 2016, 28th Symposium on the Implementation and Application of Functional Programming Languages,. Association for Computing Machinery, Vol. Part F127410. 13 p. (Acm Int. Conf. Proc. Ser).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
456 Downloads (Pure)

An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic

Dung, P. A. & Hansen, M. R., 2015, In : Journal of Logic and Algebraic Programming. 84, 1, p. 2–18 17 p.

Research output: Contribution to journalJournal articleResearchpeer-review

No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL

Fränzle, M., Hansen, M. R. & Ody, H., 2015, Correct System Design: Proceedings of the Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Wehrheim, H. & Platzer, A. (eds.). Springer, p. 152-171 (Lecture Notes in Computer Science, Vol. 9360).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


Abstract Interpretation for Secure Information Flow

Vasilikos, P., Nielson, H. R., Nielson, F., Hansen, M. R., Viganò, L. & Aceto, L.

Samfinansieret - Andet


Project: PhD

A top-down approach to genetic circuit synthesis

Baig, H., Madsen, J., Hansen, M. R., Bhatia, S. & Myers, C. J.

Technical University of Denmark


Project: PhD

Logical and Computational Aspects of Infinite Games

Vester, S., Hansen, M. R., Goranko, V., Witt, C., Guldstrand Larsen, K. & Olderog, E.

Technical University of Denmark


Project: PhD

Formal development and verification of railway control systems

Vu, L. H., Haxthausen, A. E., Peleska, J., Hansen, M. R., Fantechi, A. & Larsen, P. G.

Technical University of Denmark


Project: PhD

Modelling and analysis for Cyber-Physical Systems

Dung, P. A., Hansen, M. R., Madsen, J., Haxthausen, A. E., Sestoft, P. & Vain, J.

1/3 FUU, 1/3 inst 1/3 Andet


Project: PhD