Mads Rosendahl

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