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

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

1989 …2020
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.

  • 46 Similar Profiles
Model checking Engineering & Materials Science
Automation Engineering & Materials Science
Scheduling Engineering & Materials Science
Real time systems Engineering & Materials Science
Middleware Engineering & Materials Science
Testing Engineering & Materials Science
Graphical user interfaces Engineering & Materials Science
Semantics Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 1996 2020

PVCC: Photo Voltage Comfort Cooling

Skou, A. & Agesen, M. K.

EUDP

01/01/201431/10/2016

Project: Research

Cooling
Electric potential
Cooling systems
Air conditioning
Ventilation
Adaptive systems
Model checking
Health care
Automation
Communication

Research Output 1989 2017

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 othersStluka, 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

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

1 Citation (Scopus)

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

Middleware
Energy conservation

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

Model checking
Embedded systems
Information systems
Automation
Semantics

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

Fault tree analysis

Activities 2006 2006

  • 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