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.
- 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
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.
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
Cooling
Electric potential
Cooling systems
Air conditioning
Ventilation
CLINES: Cluster-based Innovation through Embedded Systems technology
Skou, A., Nielsen, P. A., Aaen, I., Larsen, K. G., Nøhr, B. P., Holmene, C. F., Nielsen, C., Kristiansen, K. B. & Pedersen, J. E.
01/09/2013 → 31/08/2016
Project: Research
Innovation
Embedded systems
Research agenda
Dissemination
Risk sharing
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G., Skou, A., David, A. & Srba, J.
01/04/2013 → 31/03/2016
Project: Research
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 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
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
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 proceeding › Book chapter › Research › peer-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 proceeding › Book chapter › Research › peer-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 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