Michael Reichhardt Hansen

Michael Reichhardt Hansen

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 112

2800 Kgs. Lyngby

Tlf.
Fax 45 88 13 99
E-mail mire@dtu.dk
ORCID 0000-0002-4775-4622
Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Kurser
Loading

Publikationer rss feed

2016
 

Discounted Duration Calculus

Ody, Heinrich ; Fränzle, Martin ; Hansen, Michael Reichhardt
part of: Proceedings of the 21st International Symposium on Formal Methods (FM 2016), pages: 577-592, 2016, Springer
Presented at:
21st International Symposium on Formal Methods (FM 2016)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2016     |    DOI: https://doi.org/10.1007/978-3-319-48989-6_35

 

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

Dyreson, Curtis (Editor) ; Hansen, Michael Reichhardt ; Hunsberger, Luke (Editor)

Type: Book

Status: Published     |    År: 2016

  PDF

Synthesis of railway-signaling plans using reachability games

Kasting, Patrick Frederik Soelmark ; Hansen, Michael Reichhardt ; Vester, Steen
part of: 28th Symposium on the Implementation and Application of Functional Programming Languages,, 2017, Association for Computing Machinery
Presented at:
28th Symposium on the Implementation and Application of Functional Programming Languages

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2016     |    DOI: https://doi.org/10.1145/3064899.3064908

2015
 

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

Dung, Phan Anh ; Hansen, Michael Reichhardt
in: Journal of Logic and Algebraic Programming, vol: 84, issue: 1, pages: 2–18
Presented at:
23rd Nordic Workshop on Programming Theory

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2015     |    DOI: https://doi.org/10.1016/j.jlamp.2014.07.002

 

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

Fränzle, Martin ; Hansen, Michael Reichhardt ; Ody, Heinrich
part of: Correct System Design, pages: 152-171, 2015, Springer
Presented at:
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2015     |    DOI: https://doi.org/10.1007/978-3-319-23506-6_11

2014
 

A practical approach to model checking Duration Calculus using Presburger Arithmetic

Hansen, Michael Reichhardt ; Dung, Phan Anh ; Brekling, Aske Wiid
in: Annals of Mathematics and Artificial Intelligence, vol: 71, issue: 1-3, pages: 251-278

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2014     |    DOI: https://doi.org/10.1007/s10472-013-9373-7

 

EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks

Dung, Phan Anh ; Hansen, Michael Reichhardt ; Madsen, Jan
part of: Specification, Algebra, and Software, pages: 520-540, 2014, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    År: 2014     |    DOI: https://doi.org/10.1007/978-3-642-54624-2_26

2013
 

Functional Programming Using F#

Hansen, Michael Reichhardt ; Rischel, Hans

Type: Book

Status: Published     |    År: 2013

2012
 

Guest Editor’s foreword

Hansen, Michael Reichhardt
in: Journal of Logic and Algebraic Programming, vol: 81, issue: 4, pages: 355
Presented at:
21st Nordic Workshop on Programming Theory

Type: Editorial

Status: Published     |    År: 2012     |    DOI: https://doi.org/10.1016/j.jlap.2012.03.010

2011
  PDF

From functional programming to multicore parallelism: A case study based on Presburger Arithmetic

Dung, Phan Anh ; Hansen, Michael Reichhardt
part of: Proceedings of the 23rd Nordic Workshop Programming Theory, 2011
Presented at:
23rd Nordic Workshop on Programming Theory

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2011