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

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

1989 …2020

Publikationer pr. år

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

Søgeresultater

  • 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

    1 Citationer (Scopus)
  • 2016

    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

  • 2015

    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

  • 2009

    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

  • 2008

    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)
  • 2007

    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

  • 1992

    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)