• A Constructive Approach to Support the Design of State Machines 

      Gisnås, Øystein (Master thesis, 2006)
      The components of telecommunication systems can be described by state machines that communicate by sending messages asynchronously. It is difficult to keep a component consistent with the other components it is connected ...
    • A Measurement-Driven Approach to Understand Urban Greenhouse Gas Emissions in Nordic Cities 

      Ahlers, Dirk; Driscoll, Patric Arthur; Kraemer, Frank Alexander; Anthonisen, Fredrik Valde; Krogstie, John (Journal article, 2016)
      Cities are main drivers for climate change mitigation and emission reduction today. However, in many cases they lack reliable baselines of emissions to validate current developments over time, assess the impact of their ...
    • Adaptive, Correlation-Based Training Data Selection for IoT Device Management 

      Bråten, Anders Eivind; Kraemer, Frank Alexander; Palma, David (Chapter, 2019)
      Device management can enhance large-scale deployments of IoT nodes in non-stationary environments by supporting prediction and planning of their energy budget. This increases their ability for perpetual operation and is a ...
    • Analysis and Visualization of Urban Emission Measurements in Smart Cities 

      Ahlers, Dirk; Kraemer, Frank Alexander; Bråten, Anders Eivind; Liu, Xiufeng; Anthonisen, Fredrik Valde; Driscoll, Patrick Arthur; Krogstie, John (Chapter, 2018)
      Cities worldwide aim to reduce their greenhouse gas emissions and improve air quality for their citizens. Therefore, there is a need to implement smart city approaches to monitor, model, and understand local emissions to ...
    • Automated Smart light System using Pro-Active Learning 

      Fiaz, Mashal (Master thesis, 2021)
      Smart kunstig liv bidrar mye i det daglige ved å forutsi og kontrollere lysstyrken på enheter ved hjelp av trent modell. Det endelige målet med disse lysene er å gi komfort til sluttbrukeren. Imidlertid er det visse scenarier ...
    • Automatic Detection and Correction of Flaws in Service Specifications 

      Slåtten, Vidar (Master thesis, 2008)
      While rigorous, mathematical techniques are helpful for improving the quality of software engineering, the threshold of learning and adapting formal methods keep many practitioners from embracing these kinds of approaches. ...
    • Autonomous IoT Device Management Systems: Structured Review and Generalized Cognitive Model 

      Bråten, Anders Eivind; Kraemer, Frank Alexander; Palma, David (Peer reviewed; Journal article, 2020)
      Research on autonomous management for large-scale deployments of constrained devices is still a maturing field in the Internet of Things (IoT). Although much research has been conducted on how to achieve autonomous management ...
    • Autonomous Management of Energy-Harvesting IoT Nodes Using Deep Reinforcement Learning 

      Murad, Abdulmajid Abdullah Yahya; Kraemer, Frank Alexander; Bach, Kerstin; Taylor, Gavin (Chapter, 2019)
      Reinforcement learning (RL) is capable of managing wireless, energy-harvesting IoT nodes by solving the problem of autonomous management in non-stationary, resource-constrained settings. We show that the state-of-the-art ...
    • Container-Based IoT Architectures: Use Case for Visual Person Counting 

      Santos Veiga, Tiago; Asad, Hafiz Areeb; Kraemer, Frank Alexander; Bach, Kerstin (Chapter, 2023)
      This paper studies the deployment process for a use case of visual person counting from cameras located in outdoor areas and shows how a containerized solution fulfills the particular requirements for the use case, ...
    • Cost-Aware Dual Prediction Scheme for Reducing Transmissions at IoT Sensor Nodes 

      Håkansson, Victor Wattin; Dasanadoddi Venkategowda, Naveen Kumar; Kraemer, Frank Alexander; Werner, Stefan (Chapter, 2019)
      This paper develops a method for deciding when to update the prediction model or transmit a set of measurements from the sensor to the fusion centre (FC) to achieve minimal data transmission in a dual prediction scheme ...
    • Design of Trusted Systems with Reusable Collaboration Models 

      Herrmann, Peter; Kraemer, Frank Alexander (Journal article; Peer reviewed, 2007)
      We describe the application of our collaboration-oriented software engineering approach to the design of trust-aware systems. In this model-based technique, a specification does not describe a physical system component but ...
    • Developing Android Applications with Arctis 

      Haugsrud, Stephan (Master thesis, 2009)
      The focus of this thesis is the design of Android applications from building blocks in Arctis. The Arctis tool is used for modeling applications with UML activities, which already can be deployed on the Java ME and Java ...
    • Efficient Noise Measurement with Energy Constrained IoT Nodes: A Case Study on Working Environment Quality 

      Bosch, Ida Marie Vestgøte (Master thesis, 2019)
      Støy er uønsket lyd som kan være både irriterende og skadelig for mennesker. En økende mengde studier rapporterer om de mange negative fysiske og psykiske helseeffektene av støy. Disse funnene har ført til en økt interesse ...
    • Energy-Accuracy Tradeoff for Efficient Noise Monitoring and Prediction in Working Environments 

      Kraemer, Frank Alexander; Alawad, Faiga Mohammad Mohammad Ahmed; Bosch, Ida Marie V. (Chapter, 2019)
      We explore the tradeoff between energy consumption and measurement accuracy for noise monitoring and prediction based on continuously collected data by wireless, energyconstrained IoT nodes. This tradeoff can be controlled ...
    • Energy-Efficient Operation of IoT Sensors in Precision Agriculture 

      Olivares Garcés, Daniel (Master thesis, 2020)
      IoT devices aim to have significant relevance the next big revolution in the field of agriculture. Sensor-based irrigation, disease prediction or custom super-localized weather forecasts are just some examples of what IoT ...
    • Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks 

      Kraemer, Frank Alexander (Doktoravhandlinger ved NTNU, 1503-8181; 2008:228, Doctoral thesis, 2008)
    • Exploring the Computational Cost of Machine Learning at the Edge for Human-Centric Internet of Things 

      Gómez-Carmona, Oihane; Casado Mansilla, Diego; Kraemer, Frank Alexander; Lopez-de-Ipina, Diego; Garcia-Zubia, Javier (Peer reviewed; Journal article, 2020)
      In response to users’ demand for privacy, trust and control over their data, executing machine learning tasks at the edge of the system has the potential to make the Internet of Things (IoT) applications and services more ...
    • Fog Computing in Healthcare – A Review and Discussion 

      Kraemer, Frank Alexander; Bråten, Anders Eivind; Tamkittikhun, Nattachart; Palma, David (Journal article; Peer reviewed, 2017)
      Fog computing is an architectural style in which network components between devices and the cloud execute application-specific logic. We present the first review on fog computing within healthcare informatics, and explore, ...
    • Information-Driven Adaptive Sensing Based on Deep Reinforcement Learning 

      Murad, Abdulmajid; Kraemer, Frank Alexander; Bach, Kerstin; Taylor, Gavin (Chapter, 2020)
      In order to make better use of deep reinforcement learning in the creation of sensing policies for resource-constrained IoT devices, we present and study a novel reward function based on the Fisher information value. This ...
    • IoT Sensor Gym: Training Autonomous IoT Devices with Deep Reinforcement Learning 

      Murad, Abdulmajid Abdullah Yahya; Kraemer, Frank Alexander; Bach, Kerstin; Taylor, Gavin (Chapter, 2019)
      We describe IoT Sensor Gym, a framework to train the behavior of constrained IoT devices using deep reinforcement learning. We focus on the main architectural choices to align problems from the IoT domain with cutting-edge ...