Søg efter studenterprojekter

  1. Veje og Trafik, Kandidat
  2. Adaptiv signalstyring i realtid

    Mikkel Færgemand Hansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  3. Software, Kandidat
  4. 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

  5. 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

  6. Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

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

  11. Scheduling Convoys of Nanosatellites

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

  15. Assessing Bit Flip Attacks and Countermeasures

    Kristian Mikkel Thomsen, Christoffer Kinyanjui Duun Nduru

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  18. Tidsbaseret Decentraliseret Label Model

    Michael Hedegaard Sørensen, Martin Leth Pedersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

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

  23. Master Software Systems Engineering SSE
  24. 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)

  25. 'Building graphical-Promela models using UPPAAL GUI'

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, 10. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  28. 'Building Graphical Promela Models using UPPAAL GUI'

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

  33. EVU, Masteruddannelsen i Softwarekonstruktion (Kører ikke længere)
  34. '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)

  35. Datalogi, Kandidat
  36. Solving Euclidean Markov Decision Processes with Neural Networks

    Alexander Christoffer Eilertsen

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

    Studenteropgave: Master afgangsprojekt

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

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

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

  40. Visualization of Zones in Real-Time Models

    Nicolai Brobak

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  41. Pre-Analyses Dependency Scheduling with Multiple Threads

    Nichlas Korgaard Møller

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

  43. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

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

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

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

  49. Konkrete Tidsværdier for Symbolske Eksekveringer

    Danny Bøgsted Poulsen, Jonas van Vliet

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  52. From games to executables! Implementaions of strategies from UPPAAL TIGA

    Jesper Rosenkilde

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  55. Slicing for UPPAAL

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  56. Integrating NorduGrid system with Uppaal verification tool

    Dong Liu, Hoang Thi Thu Huong

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

  58. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  59. Distributed CDDs - interfacing Uppaal:

    Christian Thomsen, Ronnie Kristensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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