Search for student projects

  1. 2019
  2. JECDAR 0.2 - Model checking refinement relations for Timed I/O Automata

    Andrej Kiviriga, Napalys Klicius, Cristina Ioana Simionescu

    Computer Science (IT - International Track), (Master Programme) 4. Term, 2019

    Student thesis: Master thesis (including HD thesis)

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

  5. 2015
  6. Modelling Java Card Applications With Defensive Measures In UPPAAL

    Anders Kaastrup Vinther, Jakob Jørgensen

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

    Student thesis: Master thesis (including HD 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. 2009
  11. 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)

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

  13. 2007
  14. Slicing for UPPAAL

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

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

    Student thesis: Master thesis (including HD thesis)

  15. 2004
  16. Property Extraction Engine for LSCs

    Mads Jensen, Rene Gøttler, Michael Jacobsen, Jens Gorm Rye-Andersen

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

    Student thesis: Master thesis (including HD thesis)

  17. 2003
  18. Compositionality & Abstraction in verification of Probabilistic Transition

    Tu Hoang Anh, Antoinette Ahiable

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

    Student thesis: Master thesis (including HD thesis)