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

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

1989 …2020
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 31 Lignende profiler
Model checking Teknik og materialevidenskab
Automation Teknik og materialevidenskab
Scheduling Teknik og materialevidenskab
Real time systems Teknik og materialevidenskab
Middleware Teknik og materialevidenskab
Testing Teknik og materialevidenskab
Graphical user interfaces Teknik og materialevidenskab
Semantics Teknik og materialevidenskab

Netværk Klik på punkterne for at se detaljerne.

Projekter 1996 2020

PVCC: Photo Voltage Comfort Cooling

Skou, A. & Agesen, M. K.

EUDP

01/01/201431/10/2016

Projekter: ProjektForskning

Cooling
Electric potential
Cooling systems
Air conditioning
Ventilation
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.

FP7 STREP

01/04/201331/03/2016

Projekter: ProjektForskning

Adaptive systems
Model checking
Health care
Automation
Communication

Publikationer 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 flere, Stluka, P. & Zabasta, A., 6 feb. 2017, IoT Automation: Arrowhead Framework. Delsing, J. (red.). CRC Press, s. 211-247 36 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

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, s. 603-622 (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (red.). Springer, s. 307-325 (Communications in Computer and Information Science, Bind 586).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer 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., maj 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (red.). CRC Press, s. 45-60 (Computational Science Series).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Fault tree analysis

Aktiviteter 2006 2006

  • 1 Undervisning og kursusvirksomhed ved andre universiteter

Test, Modellering og Verifikation af Indlejrede Systemer

Arne Skou (Andet)
17 aug. 2006

Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

Presse/medie

Software skal gøre vindparker billigere i drift

Arne Skou

17/11/2015

1 element af Mediedækning

Presse/medie

40-årsjubilæum i statens tjeneste

Arne Skou

29/01/2015

1 element af Mediedækning

Presse/medie

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

Arne Skou

19/06/2013

1 element af Mediedækning

Presse/medie

Forskningscenter på AAU håber på flere penge

Arne Skou

20/10/2006

1 element af Mediedækning

Presse/medie