If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 9 Similar Profiles
Model checking Engineering & Materials Science
Automation Engineering & Materials Science
Intelligent buildings Engineering & Materials Science
Reengineering Engineering & Materials Science
Zigbee Engineering & Materials Science
Intelligent systems Engineering & Materials Science
Graphical user interfaces Engineering & Materials Science
Controllers Engineering & Materials Science

Research Output 2013 2019

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

Pedersen, T., Albano, M. & Nielsen, B., 17 Oct 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

Reengineering

Smart Home Models - Analysis, Simulation and Synthesis

Pedersen, T., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

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

Model checking
Embedded systems
Information systems
Automation
Semantics
2 Citations (Scopus)

Toolchain for User-Centered Intelligent Floor Heating Control

Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5296-5301 6 p.

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

Heating
Hardware
Controllers
Energy conservation
Automation
8 Citations (Scopus)

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

Specifications
Model checking
User interfaces

Press / Media

Tilfældigt møde førte til succes

Rikke Hagensby Jensen, Thomas Pedersen & Marius Pallisgaard Olsen

23/07/2012

10 items of Media coverage

Press/Media: Press / Media