Search results

  • 2016

    User constraints for reliable user-defined smart home scenarios

    Le Guilly, T., Nielsen, M. K., Pedersen, T., Skou, A. J., Kjeldskov, J. & Skov, M., Jul 2016, In: Journal of Reliable Intelligent Environments. 2, 2, p. 75-91 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    13 Citations (Scopus)
  • 2015

    A Method for Model Checking Feature Interactions

    Pedersen, T., Le Guilly, T., Ravn, A. P. & Skou, A. J., Jul 2015, Proceedings of the 10th International Conference on Software Engineering and Applications. Lorenz, P. & Maciaszek, L. (eds.). SCITEPRESS Digital Library, p. 219-228 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    5 Citations (Scopus)
  • 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, p. 17-37

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Measuring and Comparing Energy Flexibilities

    Valsomatzis, E., Hose, K., Pedersen, T. B. & Siksnys, L., 2015, Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT). Fischer, P. M., Alonso, G., Arenas, M. & Geerts, F. (eds.). CEUR Workshop Proceedings, Vol. 1330. p. 78-85 8 p. (CEUR Workshop Proceedings).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    10 Citations (Scopus)
    227 Downloads (Pure)
  • To Do and Not To Do: Constrained Scenarios for Safe Smart House

    Le Guilly, T., Smedegaard, J. H., Pedersen, T. & Skou, A. J., Jul 2015, International Conference on Intelligent Environments (IE), 2015. IEEE, p. 17-24 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    11 Citations (Scopus)
  • 2014

    Balancing energy flexibilities through aggregation

    Valsomatzis, E., Hose, K. & Pedersen, T. B., 21 Nov 2014, Data Analytics for Renewable Energy Integration: Second ECML PKDD Workshop, DARE 2014 Nancy, France, September 19, 2014 Revised Selected Papers. Wonn, W. L., Aung, Z. & Madnick, S. (eds.). Springer Publishing Company, Vol. 8817. p. 17-37 21 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    5 Citations (Scopus)
    488 Downloads (Pure)
  • 2013

    A Toolchain for Home Automation Controller Development

    Dalsgaard, P. H., Le Guilly, T., Middelhede, D., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A., 2013, 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Demirors, O. & Turetken, O. (eds.). IEEE Computer Society Press, p. 122-129 8 p. (Euromicro Conference. Proceedings).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    7 Citations (Scopus)