Search for student projects

  1. 2021
  2. 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 programme thesis

  3. 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 programme thesis

  4. Solving Euclidean Markov Decision Processes with Neural Networks

    Alexander Christoffer Eilertsen

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

    Student thesis: Master programme thesis

  5. 2020
  6. Student thesis: Master thesis (including HD thesis)

  7. Priced Timed Automata and Monte Carlo Tree Search

    Jeppe Høiriis Mortensen, Adriana Mijacika

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

    Student thesis: Master thesis (including HD thesis)

  8. 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 (including HD thesis)

  9. 2019
  10. 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 (including HD thesis)

  11. JECDAR 0.2 - Model checking refinement relations for Timed I/O Automata

    Andrej Kiviriga, Napalys Klicius, Cristina Ioana Simionescu

    Computer Science (IT - International Track), (Master Programme) 4. Term, 2019

    Student thesis: Master thesis (including HD thesis)

  12. 2018
  13. Extending Ecdar 2.0 with a User-Centered Visual Simulator

    Rene Mejer Lauritsen, Casper Møller Bartholomæussen

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

    Student thesis: Master thesis (including HD thesis)

  14. Learn Smarter, Not Harder: Improving Uppaal Stratego through Preprocessing

    Kasper Kohsel Terndrup, Simon Vandel Sillesen

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

    Student thesis: Master thesis (including HD thesis)

  15. Quantitative Analysis of Single Event Upsets in ARM

    Morten Korsholm Terndrup, Thomas Rafn Andersen

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

    Student thesis: Master thesis (including HD thesis)

  16. Scheduling Convoys of Nanosatellites

    Oliver Brun Købsted, Jacob Nielsen, Anders Lykke Matthiassen

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

    Student thesis: Master thesis (including HD thesis)

  17. Strategy Generation for Distributed Smart Production Systems based on Networks of Timed Automata

    Martin Kristjansen

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

    Student thesis: Master thesis (including HD thesis)

  18. Visualization of Zones in Real-Time Models

    Nicolai Brobak

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

    Student thesis: Master thesis (including HD thesis)

  19. 2017
  20. 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 (including HD thesis)

  21. Improving the Model Checking Activity - H-UPPAAL: A New Integrated Development Environment for Model Checking

    Niklas Kirk Mouritzsen, Rasmus Holm Jensen

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

    Student thesis: Master thesis (including HD thesis)

  22. Real Time Adaptive Signal Control

    Mikkel Færgemand Hansen

    Transport Engineering, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  23. icon.png

    VisuAAL - An Application for Visualizing Realistic Mesh Network Protocol Behavior Through UPPAAL Simulations

    Niels Bjørnbak Christoffersen, Rasmus Dan Petersen, Tim Hjermitslev Gjøderum, Kevin Haugaard Jørgensen

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

    Student thesis: Master thesis (including HD thesis)

  24. 2016
  25. Assessing Bit Flip Attacks and Countermeasures

    Kristian Mikkel Thomsen, Christoffer Kinyanjui Duun Nduru

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

    Student thesis: Master thesis (including HD thesis)

  26. Pre-Analyses Dependency Scheduling with Multiple Threads

    Nichlas Korgaard Møller

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

    Student thesis: Master thesis (including HD thesis)

  27. 2015
  28. A Cup Of Joe: An inherently concurrent and actor-based programming language

    Birgir Mar Eliasson, Johannes Lindhart Borresen

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

    Student thesis: Master thesis (including HD thesis)

  29. Modelling Java Card Applications With Defensive Measures In UPPAAL

    Anders Kaastrup Vinther, Jakob Jørgensen

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

    Student thesis: Master thesis (including HD thesis)

  30. Sharing Real-Time Objects in Distributed Embedded systems

    Erland Ketil Larsen, Ib Havn

    Master of IT (Continuing education), (Continuing Education Programme (Master)) 4. term, 2015

    Student thesis: Master programme thesis

  31. The Timed Decentralized Label Model

    Michael Hedegaard Sørensen, Martin Leth Pedersen

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

    Student thesis: Master thesis (including HD thesis)

  32. 2014
  33. Applying Application-Level Correctness to the Paparazzi Autopilot

    Heine Gatten Larsen, Morten Turn Pedersen, Thomas Viesmose Birch

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

    Student thesis: Master thesis (including HD thesis)

  34. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

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

    Student thesis: Master thesis (including HD thesis)

  35. Learning Optimal Scheduling for Time Uncertain Settings

    Jakob Haahr Taankvist, Peter Gjøl Jensen

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

    Student thesis: Master thesis (including HD thesis)

  36. 2012
  37. Model-Based Schedulability Analysis of Hard Real-Time Java Programs using Software Transactional Memory

    Marcus Calverley, Anders Christian Sørensen

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

    Student thesis: Master thesis (including HD thesis)

  38. 2011
  39. Distrbuted parameter sweep for UPPAAL models

    Brian Villumsen, Peter Schmidt Freiberg, Jimmy Merrild Krag

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  40. Distributed parameter sweep for UPPAAL models

    Jimmy Merrild Krag, Peter Schmidt Freiberg, Brian Villumsen

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  41. Java for Real-Time Embedded Systems

    Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow

    Software, Master, (Master Programme) 3. term, 2011

    Student thesis: Master thesis (including HD thesis)

  42. Reachability Analysis for Timed Models using Max-Plus Algebra

    Qi Lu, Michael Madsen, Søren Ravn

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  43. WCET Analysis of Java Bytecode Featuring Common Execution Environments

    Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow

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

    Student thesis: Master thesis (including HD thesis)

  44. 2010
  45. Concrete Delays for Symbolic Traces

    Danny Bøgsted Poulsen, Jonas van Vliet

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  46. Energy Efficient Code Updates in Wireless Sensor Networks: validation and enhancement of the GCP protocol

    Peter Finderup, Thomas Birk Abildgaard, Robertas Backys

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  47. Modeling and Verification of Extended Timed-Arc Petri Nets

    Morten Jacobsen, Lasse Jacobsen, Mikael H. Møller

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

    Student thesis: Master thesis (including HD thesis)

  48. Modeling and Verification of Timed-Arc Petri Net

    Morten Jacobsen, Lasse Jacobsen, Mikael Harkjær Møller

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  49. 2009
  50. From games to executables! Implementaions of strategies from UPPAAL TIGA

    Jesper Rosenkilde

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  51. Modular Execution Time Analysis using Model Checking (METAMOC)

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

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

    Student thesis: Master thesis (including HD thesis)

  52. 2008
  53. Efficient Model Checking for Probabilistic Timed Automata

    Robert Jørgensgaard Engdahl, Arild Martin Møller Haugstad

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  54. Model-Based Schedulability Analysis of Real-Time Systems

    Henrik Kragh-Hansen, Petur Olsen, Thomas Bøgholm

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

    Student thesis: Master thesis (including HD thesis)

  55. Using the Cell for some operations in the DBM librery of UPPAAL

    Olivier MONSONEGO

    Master Software Systems Engineering SSE, 10. Term, 2008

    Student thesis: Master thesis (including HD thesis)

  56. 2007
  57. 'Building graphical-Promela models using UPPAAL GUI'

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, 10. Term, 2007

    Student thesis: Master thesis (including HD thesis)

  58. Model-based online testing --- A case study on SKOV Feeding System

    Weiwei Zheng

    Master Software Systems Engineering SSE, 10. Term, 2007

    Student thesis: Master thesis (including HD thesis)

  59. Slicing for UPPAAL

    Uffe Sørensen, Claus Rørbæk Thrane

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

    Student thesis: Master thesis (including HD thesis)

  60. 2006
  61. 'A Simulation Study of Load-Imbalance Problem in Distributed Graph Exploration Algorithms'

    Adnan Niaz

    Master Software Systems Engineering SSE, 10. Term, 2006

    Student thesis: Master thesis (including HD thesis)

  62. 'Building Graphical Promela Models using UPPAAL GUI'

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, 10. Term, 2006

    Student thesis: Master thesis (including HD thesis)

  63. Student thesis: Master thesis (including HD thesis)

  64. 2005
  65. Automatic Translation of Timed-Arc Petri Nets to Timed Automata

    Ye Tian, Krishna Prasad Gundam

    Master Software Systems Engineering SSE, 10. Term, 2005

    Student thesis: Master thesis (including HD thesis)

  66. Improvements on the Online Testing with T-UppAal: Coverage Measurement and Re-runs

    Gunnar Hall, Piotr Kordy, Dalia Vitkauskaite

    Master Software Systems Engineering SSE, 10. Term, 2005

    Student thesis: Master thesis (including HD thesis)

  67. 2004
  68. Integrating NorduGrid system with Uppaal verification tool

    Dong Liu, Hoang Thi Thu Huong

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

    Student thesis: Master thesis (including HD thesis)

  69. Property Extraction Engine for LSCs

    Mads Jensen, Rene Gøttler, Michael Jacobsen, Jens Gorm Rye-Andersen

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

    Student thesis: Master thesis (including HD thesis)

  70. 2002
  71. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

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

    Student thesis: Master thesis (including HD thesis)

  72. Distributed CDDs - interfacing Uppaal:

    Christian Thomsen, Ronnie Kristensen

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

    Student thesis: Master thesis (including HD thesis)