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

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

1989 …2021

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Filter
Bidrag til bog/antologi

Søgeresultater

  • Bidrag til bog/antologi

    An Energy Flexibility Framework on the Internet of Things

    Le Guilly, T., Siksnys, L., Albano, M., Pedersen, P. D., Stluka, P., Ferreira, L. L., Skou, A. J., Pedersen, T. B. & Olsen, P., 2015, The Success of European Projects using New Information and Communication Technologies. SCITEPRESS Digital Library, s. 17-37

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

  • 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

    1 Citationer (Scopus)
  • Compositional Verification of Probabilistic Processes

    Larsen, K. G. & Skou, A., 1992, CONCUR'92. Cleaveland, W.R. (ed.) (red.).

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

    64 Citationer (Scopus)
  • Design Verifikation Patterns

    Knudsen, J., Ravn, A. P. & Skou, A., 2007, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Jones, C., Liu, Z. & Woodcock, J. (red.). Berlin /Heidelberg: Springer, s. 399-413 (Lecture Notes in Computer Science, Bind 4700).

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

  • Model-based Framework for Schedulability Analysis Using Uppaal 4.1

    David, A., Rasmussen, J. I., Larsen, K. G. & Skou, A., 2009, Model-Based Design for Embedded Systems. Nicolescu, G. & J. Mosterman, P. (red.). 1 udg. CRC Press, s. 93-119 32 s. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

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

  • 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

  • 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

  • Testing Real-Time Systems Using UPPAAL

    Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, s. 77-117 (Lecture Notes in Computer Science; Nr. 4949).

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

    168 Citationer (Scopus)