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

    9220 Aalborg Øst

    Denmark

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

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

1989 …2023

Research activity per year

Filter
Book chapter

Search results

  • 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, Stluka, P. & Zabasta, A., 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 proceedingBook chapterResearch

    2 Citations (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. (eds.). Springer, p. 307-325 (Communications in Computer and Information Science, Vol. 586).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-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, p. 17-37

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-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. (eds.). 1 ed. CRC Press, p. 93-119 32 p. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-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, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

    183 Citations (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. (eds.). Berlin /Heidelberg: Springer, p. 399-413 (Lecture Notes in Computer Science, Vol. 4700).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

  • 1992

    Compositional Verification of Probabilistic Processes

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

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

    65 Citations (Scopus)