Søg efter studenterprojekter

Uddannelse
Publikationsår
til
  1. Master afgangsprojekt
  2. Sharing Real-Time Objects in Distributed Embedded systems

    Erland Ketil Larsen, Ib Havn

    Master i IT med specialisering i Organisation (MIT) (Efter- og videreuddannelse), (Masteruddannelse) 4. semester, 2015

    Studenteropgave: Master afgangsprojekt

  3. Speciale (inkl. HD afgangsprojekt)
  4. 'A Simulation Study of Load-Imbalance Problem in Distributed Graph Exploration Algorithms'

    Adnan Niaz

    Master Software Systems Engineering SSE, 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Ye Tian, Krishna Prasad Gundam

    Master Software Systems Engineering SSE, 10. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  6. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. C Timed Information Flow

    Mikkel Sandø Larsen, Mikael Elkiær Christensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. Distributed CDDs - interfacing Uppaal:

    Christian Thomsen, Ronnie Kristensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  9. Efficient Model Checking for Probabilistic Timed Automata

    Robert Jørgensgaard Engdahl, Arild Martin Møller Haugstad

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

    Tobias Rosenkrantz Gundersen, Christian Ovesen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  11. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. Formally Verifying Security Properties for OpenTitan Boot Code with UPPAAL

    Tobias Worm Bøgedal, Magnus Winkel Pedersen, Bjarke Hilmer Møller

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

Forrige 1 2 3 Næste