1. term
Department of Computer Science › Study Board of Computer Science › Software, Master
2. term
Department of Computer Science › Study Board of Computer Science › Software, Master
3. term
Department of Computer Science › Study Board of Computer Science › Software, Master
4. term
Department of Computer Science › Study Board of Computer Science › Software, Master
- 2023
Incorporating Pragmatic Principles in Daily Software Development
Theresa Walker Junker
Software, Master, (Master Programme) 4. term, 2023
Student thesis: Master Thesis and HD Thesis
- 2022
Accelerating Static Taint Analysis with CUDA Toolkit
Jonas Askløf Svenningsen, Nicklas Emil Hjortshøj Hugöy, Thorulf Neustrup
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
A Modeling Tool for System of Systems: Communication-oriented modeling in the Papyrus framework
Emil Palmelund Voldby, Jonas Madsen, Sean Kristian Remond Harbo
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Analysis of topics discussed in online employee reviews
Markus Hegermann Jeppesen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Analyzing Billions of AIS Records in a Multi-Purpose AIS Data Warehouse
Kasper Suamchiang Hvitfeldt Nielsen, Marcus Egge Olsen, Peter Kiib Egede, Alihan Øztürk
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Analyzing C# Energy Efficiency of Concurrency and Language Construct Combinations
Rasmus Smit Lindholt, Kasper Jepsen, Aleksander Øster Nielsen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
An Energy Aware Linter: Helping programmers make more energy efficient code on the fly
Rasmus Hartvig, Jonas Krogh Hansen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Bifrost - An Event Based Socialisation Platform
Melanie Selman, Cecilie Hyrup Madsen, Mikkel Filip Jensen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Characterization and Analysis of Flexible Energy Prosumers using Resource Timed Automata
Jonas Hansen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
DBM-Baenk: Testing and Benchmarking environment for DBMs
Laurits Brøcker
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Designing and Evaluating a Head-Up Display with Focus on High Driver Performance for Non-Driving Related Features
Jeppe Skovby Bjørn, Ronnie Svendsen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Designing, Developing, and Deploying a Platform for Sharing Economy
Mathias Andresen, Christian Thomas Hurley, Mads-Bo Bomholt Lassen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Detecting Possible Timing Attack Vulnerabilities in OpenTitan Big Number Accelerator Programs
Simon Svendsgaard Nielsen, Rasmus Nørgaard Fjeldsø
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Energy Consumption of Software Architectures - A comparison between microservice- and monolithic architectures in C# and Java
Kristian Theilmann Gregersen, Daniél Garrido-Y Martinez Nielsen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Energy measurements of tests: Exploring the energy consumption of tests in C# using Intel RAPL
Phillip Bengtson Jørgensen, Jonas Bylling Andersen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Entity Linking to Dynamically-Evolving Personal Knowledge Graphs in Conversations
Abiram Mohanaraj, Elisabeth Niemeyer Laursen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
HyCo-DeB: Hyperbolic and Contrastive Embedding using Decoupling with Baby Learning for Few-Shot Object Detection
Anh Tuan Nhu Vu, Alexander Pugholm Jankowski, Tobias Kastbjerg Hauge Nielsen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Improving C# Programs for Energy Efficiency: Helping Developers write Energy Efficient Code
Lasse Stig Emil Rasmussen, Milton Kristian Lindof, Søren Bech Christensen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Improving Developer Feedback Quality and Quantity in Sprint Retrospectives using Nudging
Nicolai Steen Bjerring, Christopher Kirkegaard Sørensen, Frederik Borre Jacobsen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
IrregularDB: A model-based time series DBMS for regular & irregular time series data
Simon Teodor Manojlovic, Esben Kaa Nedergaard, Kenneth Ljunggren Nørholm
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
MAES 2.0: A ROS Compatible Simulation Tool for Multi Robot Exploration and Coverage
Malte Zoëga Andreasen, Magnus Kirkegaard Jensen, Philip Irming Holler
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
MATQA: Microservice-based Architecture for Temporal Question Answering on Knowledge Graph Embeddings
Kristian Simoni Vestermark, Kristian Otte
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Motivating User's Understanding and Reflection on Their CO2 Usage Based on Their Food Consumption
Sigurd Schelde Andersen, Martin Thode, Thea Skovgaard Jepsen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Online Classification of Movement Intention: An end-to-end EEG-based BCI Pipeline
Fredrik de Frene, Christoffer Hansen, Simon Park Kærgaard
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
ReLight: Capturing spatial-temporal context in Road Traffic Signal Control using recurrency in POMDPs
Peter Kjær, Samuel Alexander Vall Andersen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Rust's Borrow System in Static Analysis: Exploring Usages and Benefits of Rust’s Borrow System Through Static Taint Analysis
Mathias Knøsgaard Kristensen, Felix Cho Petersen, Simon Vinberg Andersen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
Working with Operational Semantics as a Programming Language
Sebastian Hjorth Hyberts, Kári Frederiksen
Software, Master, (Master Programme) 4. term, 2022
Student thesis: Master Thesis and HD Thesis
- 2021
A Data Warehouse System for Estimating Fuel Consumption from Multiple Traffic Data Sources
Søren Andreas Abildskov Hansen, Rune Bak Jacobsen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
A Study on a Ecosystem Approach for Model-Based Software Engineering
Morten Hartvigsen, Mikkel Pedersen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
CleanNav: Dirt Detection and Depth Prediction with Multi-Task Learning and Multi-View Learning
Jonas Rechnitzer Eriksen, Peter Fogh Bugtrup, Emil Johan Taudal Andersen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
CSGCN - Context and Side-Information in GCNs
Daniel Moesgaard Andersen, Rasmus Bundgaard Eduardsen, Andreas Stenshøj
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Denoising Autoencoder for Biosignals: Denoising Autoencoder for Biosignals
Simon Anielski Barsøe Jensen, Rasmus Hjelm Rasmussen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Designing a Simulation Tool for a Synchronization Algorithm in a Sensor Network
Søren Ebbesen Bundgaard
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
DETR for Combined Object Detection and Notation Assembly in Optical Music Recognition
David Olesen Braae, Thomas Ruhe Rusbjerg
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Discover Bacterial Interactions by Combining Clustering of Pairwise Univariate Time Series and Explainability
Alexander de Linde Agerskov, Christian Bro Sørensen, Trine Juhl Holmager
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Energy-Aware Interface for Memory Allocation in Linux
Martin Jensen, Lars Rechter
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Evaluating the practical utility of ESSENCE as a reflective process
Rikke Holm Jessen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Explaining Predictive Uncertainty in Bayesian Neural Networks with Layer-Wise Relevance Propagation
Lasse Østergaard, Mads Nørgaard Stenkær, Casper Krogh Frydkjær
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Exploring Mobile Device Non-Use in the Home by Making the Internet a Shared Resource
Jesper Skovby, Patrick Bering Tietze, Marcus Bach
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Formally Verifying Security Properties for OpenTitan Boot Code with UPPAAL
Tobias Worm Bøgedal, Magnus Winkel Pedersen, Bjarke Hilmer Møller
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Formally Verifying the Correctness and Safety of OpenTitan Boot Code using CBMC
Jacob Gosch Søndergaard, Kristoffer Skagbæk Jensen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Human Swarm Interface with Predictive AI for Onsite Incident Commander in Maritime Search and Rescue Operations
Alexander Haarbye Jensen, Lasse Lundbo, Lukas Rønsholt
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
IDE Extension for Reasoning About Energy Consumption
Casper Susgaard Nielsen, Jacob Ruberg Nørhave, Anne Benedicte Abildgaard Ejsing
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Improving Neural Networks for Predicting Sepsis from Imbalanced, Multivariate Time Series Data with High Missing Rates
Martin Simonsen, Mathias Højer Svendsen, Simon Dam Nielsen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Joint discrete and continuous action spaces in Deep Reinforcement Learning: DACAN
Nichlas Ørts Lisby, Thomas Højriis Knudsen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Performance Aware Layer Combination for Graph Convolutional Network
Mathias Møller Lybech, Jens Petur Tróndarson, Frederik Valdemar Schrøder
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Predictive Interfaces to Support Maritime Search and Rescue Operations with Drone Swarms
Jonas Grann Alsen, Rasmus Egholm Nielsen, Magnus Tolderlund Boisen
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Representation learning with autoencoders in drug-target interaction prediction
Andreas Laugård Hald, Christian Galasz Nielsen, Alexandr Dyachenko, Dominik Tabak
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Security Analysis of IP-cameras
Thue Vestergaard Iversen, Thomas Lundsgaard Kammersgaard
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Smardio: Broadcasting to Spark Reflection on Smartphone Use in the Home
Christian Dannesboe, Simon Dalgas Christensen, Erik Kruuse
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
Solving Complex Problems with Deep Multi-Level Skill Hierarchies
Tobias Lambek Jacobsen, Nicolaj Casanova Abildgaard
Software, Master, (Master Programme) 4. term, 2021
Student thesis: Master Thesis and HD Thesis
- 2020
A Research Platform for Drone Assisted Firefighting with AR Path Visualisations
Andreas Neil Jensen, Matias Røikjær Jensen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
A Review Focused Cloud Render System for 3D CGI Production
Martin Fabrin Karkov, Kim Larsen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Student thesis: Master Thesis and HD Thesis
AutoBinner: A Metagenomic Binner combining Feature Learning and HDBSCAN
Mathias Lundhede Hansen, Lasse Erritsø Vive, Simon Nagel Linnebjerg
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Certifying Time Complexity of Agda Programs Using Complexity Signatures
Simon Quist Rannes, Johannes Elgaard, Christian Bach Møllnitz
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Data Flow Analysis for Discovering Bitflip Vulnerabilities in TinyARM
Henrik Herbst Sørensen, Anton Christensen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Distributed Algorithms: An Approach to Autonomous Satellite Constellation: Modelling, Developing & Visually Simulating Distributed Algorithms for Autonomous Satellite Constellations
Jens Burla Johansen, Kasper Hangaard Røgen, Bastian Bresson
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Effects of Hyperparameter Tuning and KnowledgeDistillation on the State-of-the-Art Basecaller Bonito
Jonatan Groth Frausing, Kasper Dissing Bargsteen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Estimating Travel Cost Distributions of Paths in Road Networks using Dual-Input LSTMs
Christopher Hansen Nielsen, Simon Makne Randers
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Exo-Ada: A Boosting Model for Exoskeleton Angle Prediction
Emil Thougaard Petersen, Jonathan Karlsson, Palle Thillemann
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Exploring Skips and Long-Term Preferences in Session-based Music Recommendation
Peter Vergerakis, Joachim Valdemar Yde
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Force Myography Hand Gesture Recognition Using Transfer Learning
Thomas Buhl Andersen, Rógvi Eliasen, Mikkel Jarlund
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Improved Learning of Joint Distributions using Soft-Coupled GANs
Patrick Abildgaard Alminde, Markus Hald Juul-Nyholm
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Improving Basecalling Accuracy With Transformers
Felix Gravila, Miroslav Pakanec
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Introductory exercises in IT-security of smart factories
Nicklas Højgaard Sneftrup
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Leveraging Symbolic Execution on Event-based Languages to Detect Data-Races
Jacob Askløf Svenningsen, Casper Møller Grosen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Mask R-CNN for Segmentation of Aerial Data with Edge Aware Loss
Frederik Østerby Hansen, Matias Dahlin Holst, Mikkel Vestergaard Hem
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Palamut - An Expansion of the Bonito basecaller using language models
Andreas Christian Meyer Larsen, Magnus Nørhave Hansen, Christian Aae Knudsen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Partitioned Graph Convolution using Adversarial and Regression Networks for Road Travel Speed Prediction
Jakob Meldgaard Kjær, Lasse Kristensen, Mads Alberg Christensen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
QoS-aware centralized radio resource management for TDMA-based heterogeneous application scenarios
Ruta Tamasauskaite
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Quantitative Analysis of MPLS Networks in AalWiNes: Shortest Trace Reachability Analysis of Weighted Pushdown Systems
Dan Kristiansen, Morten Konggaard Schou
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
React-compiler: Compiling React Applications to Improve Performance
Niclas Jon Sommer, Kristoffer Magill Nash
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Recommendations over Knowledge Graph Entities in Cold-Start Interviews
Anders Højlund Brams, Anders Langballe Jakobsen, Theis Erik Jendal
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Refining Homopolymer Predictions in Nanopore Sequences
Jakob Stig Olesen, Nicklas Kirkegaard Breum, Martin Nyholm Jørgensen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Star Pattern Fragments: Accessing Knowledge Graphs through Star Patterns
Christian Aebeloe
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Tick Tock Automata: A Modelling Formalism for Real World Industrial Systems
Asger Gitz-Johansen
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
Utilizing Mixture Density Networks for Travel TimeProbability Distribution Predictions
Laurids Vinther Kirkeby, Mikkel Elkjær Holm
Software, Master, (Master Programme) 4. term, 2020
Student thesis: Master Thesis and HD Thesis
- 2019
Action Research: Practical Usage of Comparative Causal Mapping in Software Development
Mathias Henrik Ottosen
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Adaptive Learned Index
Mark Holst, Jesper Hedegaard
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
A Game of Paradigms: A Usability Study of Functional Idioms in Gameplay Programming
Tobias Morell, Thomas Gwynfryn Mc Collin
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
A Hybrid Learning Approach to Stochastic Routing
Simon Aagaard Pedersen
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
A Learned Bucket Index Supporting Spatial Queries
Martin Folmer, Theevaahar Karunanithi, Raphael Neumann
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Attribute-enhanced Collaborative Topic Modelling
Victor Holberg Haugan
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Customer and end-user participation in agile software development
Mathias Huse Jensen, Pelle Ulmer Jørgensen, Jakob Nymann Holgersen
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Designing a Tool-Chain For Generating Battery-Aware Contact Plans Using UPPAAL
Kristoffer Mathiasen Degn, August Malling Kørvell
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Game performance sucks, and one attempt at fixing it
Carsten Schroll Ibsen, Frederik Palmelund Voldby
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Has Functional Got Game: Evaluating the Benefits of Functional Programming Languages in Game Development
Malte Emil Rosenbjerg Andersen, Thor Steen Jensen, Daniel Dirk Albert van Bolhuis
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Message Passing Interface for Massive Simulations of Mobile Ad-hoc Networks
Jonas Kloster Jacobsen, Charlie Dittfeld Byrdam
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Meta Ensembling for Recommender Systems
Frederik Kirk Kristensen, Mathias Rosgaard Klemmensen
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
Nidan - A Security Search Engine for The World Wide Web
Mathias Jørgen Bjørnum Leding, Jesper Windelborg Nielsen
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
SharpFlying: Design and implementation of a generic multi-service framework for autonomous indoor flight & An exploratory study into autonomous indoor Human-Drone Interaction
Kasper Østergaard Helsted, Steffen Darby Carlsen
Software, Master, (Master Programme) 4. term, 2019
Student thesis: Master Thesis and HD Thesis
- 2018
Adaptive Storage Rearrangement and Process Discovery in a Warehouse
Gideon Jonas Baumann Blegmand, Christian Stephansen
Software, Master, (Master Programme) 4. term, 2018
Student thesis: Master Thesis and HD Thesis
A platform independent approach to multi- threaded encoding with Random Linear Network Coding
Lars Nielsen
Software, Master, (Master Programme) 4. term, 2018
Student thesis: Master Thesis and HD Thesis
Attended Relational Reasoning for Visual Question Answering
Lasse Just Petersen
Software, Master, (Master Programme) 4. term, 2018
Student thesis: Master Thesis and HD Thesis
Benefit Points in Scrum: A Design Science Study
Patrick Grønhøj, Martin Haaber
Software, Master, (Master Programme) 4. term, 2018
Student thesis: Master Thesis and HD Thesis
ChurnAddr Strategy in the Bitcoin Network: Assessing the Applicability of using Churn and Address Propagation Exploits in the Bitcoin Network to Perform Adversary Actions
Rune Willum Larsen, Alex Grøndahl Frie
Software, Master, (Master Programme) 4. term, 2018
Student thesis: Master Thesis and HD Thesis
Decentralised and Trustless User-Driven Rating Platform Resilient to Attacks
Mathias Vestergaard Rasmussen
Software, Master, (Master Programme) 4. term, 2018
Student thesis: Master Thesis and HD Thesis
Developing a Trustworthy Randomness Beacon for the Public: Ensuring Rational Trust in a Hostile World
Michael Toft Jensen, Mathias Sass Michno, Sebastian Rom Kristensen
Software, Master, (Master Programme) 4. term, 2018
Student thesis: Master Thesis and HD Thesis
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
Tobias Rosenkrantz Gundersen, Christian Ovesen
Software, Master, (Master Programme) 4. term, 2018
Student thesis: Master Thesis and HD Thesis