Search for student projects

  1. Master programme thesis
  2. 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

  3. Master thesis (including HD thesis)
  4. '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)

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

    Ye Tian, Krishna Prasad Gundam

    Master Software Systems Engineering SSE, 10. Term, 2005

    Student thesis: Master thesis (including HD thesis)

  6. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

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

    Student thesis: Master thesis (including HD thesis)

  7. Concrete Delays for Symbolic Traces

    Danny Bøgsted Poulsen, Jonas van Vliet

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

    Student thesis: Master thesis (including HD thesis)

  8. C Timed Information Flow

    Mikkel Sandø Larsen, Mikael Elkiær Christensen

    Software, Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  9. Distributed CDDs - interfacing Uppaal:

    Christian Thomsen, Ronnie Kristensen

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

    Student thesis: Master thesis (including HD thesis)

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

  11. Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

    Tobias Rosenkrantz Gundersen, Christian Ovesen

    Software, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  12. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

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

    Student thesis: Master thesis (including HD thesis)

Previous 1 2 3 Next