Projects per year
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
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Project: Research
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B., Guerrero, J. M. & Raptis, D.
01/01/2015 → 31/12/2020
Project: Research
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.
01/05/2015 → 30/04/2018
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, , 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 proceeding › Book chapter › Research
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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-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 proceeding › Book chapter › Research › peer-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 proceeding › Book chapter › Research › peer-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 presentations › External teaching and course activities at other universities
Press / Media
Software skal gøre vindparker billigere i drift
17/11/2015
1 item of Media coverage
Press/Media: Press / Media
Develco og Aalborg Universitet samarbejder om trådløse teknologier
02/12/2013
2 items of Media coverage
Press/Media: Press / Media
Branchefolk: Danske it-systemer lider under dårlige test
19/06/2013
1 item of Media coverage
Press/Media: Press / Media
Forskningscenter på AAU håber på flere penge
20/10/2006
1 item of Media coverage
Press/Media: Press / Media