Søg efter studenterprojekter

  1. 2021
  2. 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: Speciale (inkl. HD afgangsprojekt)

  3. 2020
  4. 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)

  5. 2019
  6. 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)

  7. 2018
  8. Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

    Tobias Rosenkrantz Gundersen, Christian Ovesen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  9. 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)

  10. 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)

  11. 2017
  12. 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)

  13. 2016
  14. C Timed Information Flow

    Mikkel Sandø Larsen, Mikael Elkiær Christensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  15. 2015
  16. 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

  17. Tidsbaseret Decentraliseret Label Model

    Michael Hedegaard Sørensen, Martin Leth Pedersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

Forrige 1 2 3 Næste