Søg efter studenterprojekter

Uddannelse
Publikationsår
til
  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)

  34. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  35. Learning Optimal Scheduling for Time Uncertain Settings

    Jakob Haahr Taankvist, Peter Gjøl Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Marcus Calverley, Anders Christian Sørensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  38. 2011
  39. Distrbuted parameter sweep for UPPAAL models

    Brian Villumsen, Peter Schmidt Freiberg, Jimmy Merrild Krag

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  40. Distributed parameter sweep for UPPAAL models

    Jimmy Merrild Krag, Peter Schmidt Freiberg, Brian Villumsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  41. Java for Real-Time Embedded Systems

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Peter Finderup, Thomas Birk Abildgaard, Robertas Backys

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  46. Konkrete Tidsværdier for Symbolske Eksekveringer

    Danny Bøgsted Poulsen, Jonas van Vliet

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

    Jesper Rosenkilde

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

  52. 2008
  53. 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)

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

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Olivier MONSONEGO

    Master Software Systems Engineering SSE, 10. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, 10. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Weiwei Zheng

    Master Software Systems Engineering SSE, 10. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  59. Slicing for UPPAAL

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  60. 2006
  61. '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)

  62. 'Building Graphical Promela Models using UPPAAL GUI'

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  63. 'Fra modelbaseret verifikation til automatisk afvikling af testcase i JUnit.'

    Bo Stenvang

    EVU, Masteruddannelsen i Softwarekonstruktion (Kører ikke længere), 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  64. 2005
  65. 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)

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Dong Liu, Hoang Thi Thu Huong

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  69. Property Extraction Engine for LSCs

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  70. 2002
  71. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  72. Distributed CDDs - interfacing Uppaal:

    Christian Thomsen, Ronnie Kristensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)