Søg efter studenterprojekter

  1. 2021
  2. Designing a Simulation Tool for a Synchronization Algorithm in a Sensor Network

    Søren Ebbesen Bundgaard

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2021

    Studenteropgave: Master afgangsprojekt

  3. Formally Verifying Security Properties for OpenTitan Boot Code with UPPAAL

    Tobias Worm Bøgedal, Magnus Winkel Pedersen, Bjarke Hilmer Møller

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2021

    Studenteropgave: Master afgangsprojekt

  4. Solving Euclidean Markov Decision Processes with Neural Networks

    Alexander Christoffer Eilertsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2021

    Studenteropgave: Master afgangsprojekt

  5. 2020
  6. Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. Priced Timed Automata and Monte Carlo Tree Search

    Jeppe Høiriis Mortensen, Adriana Mijacika

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2020

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. Tick Tock Automata: A Modelling Formalism for Real World Industrial Systems

    Asger Gitz-Johansen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2020

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  9. 2019
  10. Design af en toolchain til generation af batteri-opmærksomme kontakt planer ved brug af UPPAAL

    Kristoffer Mathiasen Degn, August Malling Kørvell

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2019

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  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), (Kandidatuddannelse) 4. semester, 2019

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Rene Mejer Lauritsen, Casper Møller Bartholomæussen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  14. Kvantitativ Analyse af Single Event Upsets i ARM

    Morten Korsholm Terndrup, Thomas Rafn Andersen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Kasper Kohsel Terndrup, Simon Vandel Sillesen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  16. Scheduling Convoys of Nanosatellites

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

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  17. Strategi generering for distribuerede smarte produktionssystemer baseret på netværk af tidsautomater

    Martin Kristjansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  18. Visualization of Zones in Real-Time Models

    Nicolai Brobak

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  19. 2017
  20. Adaptiv signalstyring i realtid

    Mikkel Færgemand Hansen

    Veje og Trafik, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  21. Batteries Included 2.0: Definering af Semantik og Implemenation af en Plan Generator

    Kristoffer Brodersen, Mads Broen Nielsen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Niklas Kirk Mouritzsen, Rasmus Holm Jensen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  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, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  24. 2016
  25. Assessing Bit Flip Attacks and Countermeasures

    Kristian Mikkel Thomsen, Christoffer Kinyanjui Duun Nduru

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  26. Pre-Analyses Dependency Scheduling with Multiple Threads

    Nichlas Korgaard Møller

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  27. 2015
  28. En Kop Joe: Et aktør-baseret programmeringssprog med indlejret samtidighed

    Birgir Mar Eliasson, Johannes Lindhart Borresen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  29. Moddelering af Java Card Applikationer Med Beskyttelsesmetoder I UPPAAL

    Anders Kaastrup Vinther, Jakob Jørgensen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  30. Sharing Real-Time Objects in Distributed Embedded systems

    Erland Ketil Larsen, Ib Havn

    Master i IT med specialisering i Organisation (MIT) (Efter- og videreuddannelse), (Masteruddannelse) 4. semester, 2015

    Studenteropgave: Master afgangsprojekt

  31. Tidsbaseret Decentraliseret Label Model

    Michael Hedegaard Sørensen, Martin Leth Pedersen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Heine Gatten Larsen, Morten Turn Pedersen, Thomas Viesmose Birch

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

Forrige 1 2 3 Næste