Photo of Mads Rosendahl

Mads Rosendahl

MSc & PhD

  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

1989 …2016

Personal profile

Keywords

  • Computer science, IT

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

Research Output 1989 2016

ENTRA: Whole-systems energy transparency

Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M. 2016 In : Microprocessors and Microsystems. 47, Part B, p. 278-286

Research output: Contribution to journal › Journal article › Research › peer-review

File

Probabilistic Resource Analysis by Program Transformation

Kirkeby, M. H. & Rosendahl, M. 2016 In : Lecture Notes in Computer Science. 9964, p. 60-80

Research output: Contribution to journal › Journal article › Research › peer-review

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H. 29 Sep 2015 Electronic Proceedings in Theoretical Computer Science. Vol. 194, p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

Designing Software-Based Interactive Installations

Andreasen, T., Juul, N. C. & Rosendahl, M. 2014 Situated Design Methods. Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M. & Hansen, O. E. (eds.). Cambridge, Massachusetts: MIT Press, p. 259-278 20 p. (Design thinking, design theory; No. [6]).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Abstract Interpretation as a Programming Language

Rosendahl, M. 2013 In : Electronic Proceedings in Theoretical Computer Science. 129, p. 84-104

Research output: Contribution to journal › Journal article › Research › peer-review

Projects 2007 2016

ICT-Energy

Gallagher, J. P., Rosendahl, M. & Bohr, N.

01/10/2013 → 30/09/2016

Project: Research

Situated Design Methods

Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M., Hansen, O. E., Søndergård, B., Kristiansen, E., Christrup, H., Pries-Heje, J., Nielsen, J. L., Bødker, K., Pfeiffer Pedersen, L., Frølunde, L., Rosendahl, M., Neisig, M., Frandsen, M. S., Juul, N. C., Jørgensen, N., Lybæk, R., Groth, S. K., Christensen, T. B., Andreasen, T., Kjær, T., Kensing, F., Venable, J., Birch Andreasen, L., Baskerville, R. & Gudiksen, S.

01/01/2013 → 01/10/2014

Project: Research

ENTRA: Whole-Systems Energy Transparency

Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

01/10/2012 → 30/09/2015

Project: Research

NUSA: Numeric and Symbolic Abstractions for Software Model Checking

Gallagher, J. P., Rosendahl, M. & Rhiger, M.

01/01/2011 → 31/12/2013

Project: Research

SAFT: Static Analysis with Finite Tree Automata

Gallagher, J. P., Rosendahl, M. & Rhiger, M.

<ingen navn>

01/01/2007 → 31/12/2010

Project: Research

Activities 2007 2012

  • 6 Participation in workshop, seminar, course
  • 6 Lecture and oral contribution
  • 2 Peer review of manuscripts
  • 2 Membership in review committee

Semantics Based Cost Analysis

Rosendahl, M. (Lecturer)
19 Oct 2012

Activity: Lecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

Rosendahl, M. (Member)
28 Feb 2012

Activity: Membership in review committee

Autonome robotter - beyond Roomba

Rosendahl, M. (Lecturer)
20 Apr 2012

Activity: Lecture and oral contribution

4th Workshop on Reversible Computation

Rosendahl, M. (Participant)
2 Jul 2012 → 3 Jul 2012

Activity: Participation in workshop, seminar, course

DanSAS 2012

Rosendahl, M. (Participant)
24 Aug 2012

Activity: Participation in workshop, seminar, course

Press / Media

Kan Pontoppidans Per blive lykkelig i udlandet?

Mads Rosendahl & Søren Schou

15/08/2012

1 item of media coverage

Press/Media: Press / Media