Search for student projects

  1. 2002
  2. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

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

    Student thesis: Master thesis (including HD thesis)

  3. Distributed CDDs - interfacing Uppaal:

    Christian Thomsen, Ronnie Kristensen

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

    Student thesis: Master thesis (including HD thesis)

  4. 2004
  5. Integrating NorduGrid system with Uppaal verification tool

    Dong Liu, Hoang Thi Thu Huong

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

    Student thesis: Master thesis (including HD thesis)

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

  8. 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. Term, 2005

    Student thesis: Master thesis (including HD thesis)

  9. 2006
  10. '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)

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

  13. 2009
  14. Modular Execution Time Analysis using Model Checking: METAMOC

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

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

    Student thesis: Master thesis (including HD thesis)

  15. Modular Execution Time Analysis using Model Checking (METAMOC)

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

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

    Student thesis: Master thesis (including HD thesis)

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

Previous 1 2 3 Next