Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 7 Lignende profiler
Model checking Teknik og materialevidenskab
Automation Teknik og materialevidenskab
Intelligent buildings Teknik og materialevidenskab
Reengineering Teknik og materialevidenskab
Zigbee Teknik og materialevidenskab
Intelligent systems Teknik og materialevidenskab
Graphical user interfaces Teknik og materialevidenskab
Controllers Teknik og materialevidenskab

Publikationer 2013 2019

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

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

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

Model checking
Embedded systems
Information systems
Automation
Semantics
2 Citationer (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, s. 5296-5301 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Heating
Hardware
Controllers
Energy conservation
Automation
8 Citationer (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, I : Journal of Reliable Intelligent Environments. 2, 2, s. 75-91 17 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Specifications
Model checking
User interfaces

Presse/medie

Tilfældigt møde førte til succes

Rikke Hagensby Jensen, Thomas Pedersen & Marius Pallisgaard Olsen

23/07/2012

10 elementer af Mediedækning

Presse/medie