Search for student projects

  1. 2010
  2. 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)

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

  4. 2011
  5. Reachability Analysis for Timed Automata using Max-Plus Algebra

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

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

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

    Qi Lu, Michael Madsen, Søren Ravn

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

    Student thesis: Master thesis (including HD thesis)

  7. WCET Analysis of Java Bytecode Featuring Common Execution Environments

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

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

    Student thesis: Master thesis (including HD thesis)

  8. 2013
  9. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

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

    Student thesis: Master thesis (including HD thesis)

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

  12. 2015
  13. 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

  14. The Timed Decentralized Label Model

    Michael Hedegaard Sørensen, Martin Leth Pedersen

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

    Student thesis: Master thesis (including HD thesis)

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