Søg efter studenterprojekter

  1. Computer Science (IT - International Track)
  2. 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)

  3. Datalogi, Kandidat
  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. 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)

  6. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. Reachability Analysis for Timed Automata using Max-Plus Algebra

    Qi Lu, Michael Madsen, Martin Milata, Søren Ravn

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Qi Lu, Michael Madsen, Søren Ravn

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  10. Konkrete Tidsværdier for Symbolske Eksekveringer

    Danny Bøgsted Poulsen, Jonas van Vliet

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. Modellering og Verifikation af Timed-Arc Petri Net

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

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  13. Modular Execution Time Analysis using Model Checking: METAMOC

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  15. Efficient Model Checking for Probabilistic Timed Automata

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

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  16. Integrating NorduGrid system with Uppaal verification tool

    Dong Liu, Hoang Thi Thu Huong

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  17. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  18. Distributed CDDs - interfacing Uppaal:

    Christian Thomsen, Ronnie Kristensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  19. Master i IT med specialisering i Organisation (MIT) (Efter- og videreuddannelse)
  20. 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

  21. Master Software Systems Engineering SSE
  22. 'A Simulation Study of Load-Imbalance Problem in Distributed Graph Exploration Algorithms'

    Adnan Niaz

    Master Software Systems Engineering SSE, 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  23. Automatic Translation of Timed-Arc Petri Nets to Timed Automata

    Ye Tian, Krishna Prasad Gundam

    Master Software Systems Engineering SSE, 10. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  24. 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. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  25. Software, Kandidat
  26. 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)

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

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

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

  30. C Timed Information Flow

    Mikkel Sandø Larsen, Mikael Elkiær Christensen

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

    Studenteropgave: Speciale (inkl. HD 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. WCET Analysis of Java Bytecode Featuring Common Execution Environments

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)