• Selma Lagerløfs Vej 300, 1-1-10

    9220 Aalborg Ø

    Denmark

  • Selma Lagerløfs Vej 300, 1-1-10

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

1989 …2020

Research output per year

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

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 15 Similar Profiles

Network Dive into details by clicking on the dots.

Projects

  • PVCC: Photo Voltage Comfort Cooling

    Skou, A. & Agesen, M. K.

    EUDP

    01/01/201431/10/2016

    Project: Research

  • Research Output

    Application system design - energy optimisation

    Albano, M., Castineira, R., Desdouits, C., Ferreira, L. L., Le Guilly, T., Isasa, I., Jokinen, J., Kondratjevs, K., Kunicina, N., Manero, L., Milo, A., Monge, J., Le Pape, C., Pedersen, P. D., Pedersen, T. B., Olsen, P., Siksnys, L., Skou, A. J., Smid, R., Socorro, R. & 2 others, Stluka, P. & Zabasta, A., 6 Feb 2017, IoT Automation: Arrowhead Framework. Delsing, J. (ed.). CRC Press, p. 211-247 36 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

    1 Citation (Scopus)

    Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

    Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, p. 603-622 (Lecture Notes in Computer Science, Vol. 10460).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    ENCOURAGEing results on ICT for energy efficient buildings

    Le Guilly, T., Skou, A. J., Olsen, P., Madsen, P. P., Albano, M., Ferreira, L. L., Pinho, L. M., Pedersen, K. L., Casals, M., Macarulla, M. & Gongolells, M., 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference. IEEE, 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 1 Citation (Scopus)

    Model Checking Feature Interactions

    Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (eds.). Springer, p. 307-325 (Communications in Computer and Information Science, Vol. 586).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Modeling and Analysis of Component Faults and Reliability

    Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., May 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (eds.). CRC Press, p. 45-60 (Computational Science Series).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Activities

    • 1 External teaching and course activities at other universities

    Test, Modelling and Verification of Embedded Systems

    Arne Skou (Other)

    17 Aug 2006

    Activity: Talks and presentationsExternal teaching and course activities at other universities

    Press / Media

    Software skal gøre vindparker billigere i drift

    Arne Skou

    17/11/2015

    1 item of Media coverage

    Press/Media: Press / Media

    40-årsjubilæum i statens tjeneste

    Arne Skou

    29/01/2015

    1 item of Media coverage

    Press/Media: Press / Media

    Develco og Aalborg Universitet samarbejder om trådløse teknologier

    Arne Skou

    02/12/2013

    2 items of Media coverage

    Press/Media: Press / Media

    Branchefolk: Danske it-systemer lider under dårlige test

    Arne Skou

    19/06/2013

    1 item of Media coverage

    Press/Media: Press / Media

    Forskningscenter på AAU håber på flere penge

    Arne Skou

    20/10/2006

    1 item of Media coverage

    Press/Media: Press / Media