No photo of Michael Reichhardt Hansen
  • Richard Petersens Plads, 322, 112

    2800 Kgs. Lyngby

    Denmark

1983 …2019
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 1983 2016

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/ReportBook

312 Downloads (Pure)

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
File

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

Projects 1999 2019

A top-down approach to genetic circuit synthesis

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

Technical University of Denmark

15/08/201415/11/2017

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

01/05/201323/11/2016

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

01/11/201221/01/2016

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

01/11/201130/09/2015

Project: PhD