Søg efter studenterprojekter

  1. 2014
  2. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  3. 2013
  4. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Qi Lu, Michael Madsen, Søren Ravn

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. WCET Analysis of Java Bytecode Featuring Common Execution Environments

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

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  9. 2010
  10. Konkrete Tidsværdier for Symbolske Eksekveringer

    Danny Bøgsted Poulsen, Jonas van Vliet

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  11. Modeling and Verification of Extended Timed-Arc Petri Nets

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

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. Modellering og Verifikation af Timed-Arc Petri Net

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

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)