Search for student projects

  1. 2023
  2. Detecting Unsafe Code-Patterns Using Computational Tree Logic

    Christoffer Bigum Aaen, Mikkel Østergaard Eriksen, Mathias Karstoft Klausen

    Software, Master, (Master Programme) 4. term, 2023

    Student thesis: Master Thesis and HD Thesis

  3. Integrating RAPL With BenchmarkDotNet and Benchmarking EFCore

    Alfred Ilberg Ulvmose, Virmantas Cekys

    Computer Science (IT), Master, (Master Programme) 4. term, 2023

    Student thesis: Master Thesis and HD Thesis

  4. Quantifying the Power Consumption of Processes on Linux using Intel RAPL

    Valerie Luna Dickson, Péter Tamás Sebök

    Computer Science (IT), Master, (Master Programme) 4. term, 2023

    Student thesis: Master Thesis and HD Thesis

  5. 2021
  6. ESA_logo_2020_Deep_cropped_1.png

    Improving Global Localization Algorithms for Mars Rovers with Neural Networks

    Iñigo Moreno I Caireta

    Robotics, M.Sc., (Master Programme) 4. semester, 2021

    Student thesis: Master Thesis and HD Thesis

  7. 2018
  8. FuGL - Functional GPU Language

    Henrik Djernes Thomsen, Christian Lundtofte Sørensen

    Software, Master, (Master Programme) 4. term, 2018

    Student thesis: Master Thesis and HD Thesis

  9. YAGAL: Yet Another GPGPU Abstraction Library

    Morten Mandrup Hansen, Jonathan Hastrup

    Software, Master, (Master Programme) 4. term, 2018

    Student thesis: Master Thesis and HD Thesis

  10. 2017
  11. Batteries Included 2.0: Defining Semantics and Implementation of a Schedule Generator

    Kristoffer Brodersen, Mads Broen Nielsen

    Software, Master, (Master Programme) 4. term, 2017

    Student thesis: Master Thesis and HD Thesis

  12. Off by a Bit: Exploring Bit-Flip Vulnerabilities Through Program Emulation and Symbolic Execution

    Anders Trier Olesen, Ólavur Debes Joensen, Jannek Alexander Westerhof Bossen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master Thesis and HD Thesis