Search for student projects

  1. 2018
  2. Strategy Generation for Distributed Smart Production Systems based on Networks of Timed Automata

    Martin Kristjansen

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  3. 2017
  4. 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, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  5. 2015
  6. Sharing Real-Time Objects in Distributed Embedded systems

    Erland Ketil Larsen, Ib Havn

    Master of IT (Continuing education), (Continuing Education Programme (Master)) 4. term, 2015

    Student thesis: Master programme thesis

  7. 2010
  8. Modeling and Verification of Extended Timed-Arc Petri Nets

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

    Computer Science, Master, (Master Programme) 4. term, 2010

    Student thesis: Master thesis (including HD thesis)

  9. Modeling and Verification of Timed-Arc Petri Net

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

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  10. 2008
  11. Efficient Model Checking for Probabilistic Timed Automata

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

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  12. 2006
  13. 'A Simulation Study of Load-Imbalance Problem in Distributed Graph Exploration Algorithms'

    Adnan Niaz

    Master Software Systems Engineering SSE, 10. Term, 2006

    Student thesis: Master thesis (including HD thesis)

  14. 2002
  15. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

    Computer Science, Master, (Master Programme) 4. term, 2002

    Student thesis: Master thesis (including HD thesis)