Søg efter studenterprojekter

  1. 2021
  2. Automata-Driven Techniques for Partial-Order Reductions and Guided Search of Petri Nets

    Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  3. Cultural Diversity in Advertising A Case Study of Heritage and Gender Representation in Coca-Cola's Commercials Open Like Never Before and The Great Meal from 2020

    Josefine Schaarup Sørensen, Fie Aude, Greta Leutzbach

    Culture, Communication & Globalisation, Kandidat, (Kandidatuddannelse) 4. semester, 2021

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  4. Deriving Subgoals Using Network Distillation

    Nikolaj Ljørring, Lars Svane Jensen, Aryan Mohammadi Landi

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  5. Malware cluster analysis based on Windows API function call sequences

    Peter Grinderslev Stegger

    Master i Informationsteknologi, Softwarekonstruktion (Efter- og videreuddannelse), (Masteruddannelse) 4. semester, 2021

    Studenteropgave: Master afgangsprojekt

  6. Structural Reductions with Partitioning

    Martin Christensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. Technology Driven Innovation by Design: B-Smart / B-Fast

    Emma Rosendal Jensen, Janne Lyng Sørensen, Katrine Timmermann, Mikkel Bundgaard Nielsen, Anders Lindrup Nielsen

    Industrielt Design, Kandidat, (Kandidatuddannelse) 2. semester, 2021

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. Time Series Outlier Detection: Master project Aalborg University

    Mik Christensen

    Master i Informationsteknologi, Softwarekonstruktion (Efter- og videreuddannelse), (Masteruddannelse) 4. semester, 2021

    Studenteropgave: Master afgangsprojekt

  9. 2020
  10. Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  11. Quantitative Analysis of MPLS Networks in AalWiNes: Shortest Trace Reachability Analysis of Weighted Pushdown Systems

    Dan Kristiansen, Morten Konggaard Schou

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. Smartbag: An Entrepreneriual Adventure Using Exponential Technologies

    Giovanni Luca Amenta

    Forretningsinnovation, Kandidat, (Kandidatuddannelse) 4. semester, 2020

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  13. Tick Tock Automata: A Modelling Formalism for Real World Industrial Systems

    Asger Gitz-Johansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  14. Urban Liveability Enhancement: A study on reclaiming car space

    Janne Juliana Goos, Simon Torp Agersnap, Freek Alfons Hendrik van den Ende

    Joint European Master in Environmental Studies - Cities and Sustainability (JEMES CiSu), (Kandidatuddannelse) 4. semester, 2020

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  15. 2019
  16. Autonomous Control for Rendezvous and Docking of CubeSats

    Aitor Ramirez Gomez

    Regulering og Automation, Kandidat, (Kandidatuddannelse) 4. semester, 2019

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  17. Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  18. 2018
  19. Assessment of the practices of Aalborg University Inkubator: current state and future possibilities.

    Manuel Ciucci

    Erhvervsøkonomi (Innovation and Entrepreneurship) (cand.merc.), Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  20. Culture - led Urban Development in Liepaja and Cesis: Planning for Urban Shrinkage

    Elina Kirilko

    By-, Energi- og Miljøplanlægning, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  21. Finding patterns in car reviews, using text mining techniques

    Tommy Asboe Sørensen

    Master i Informationsteknologi, Softwarekonstruktion (Efter- og videreuddannelse), (Masteruddannelse) 4. semester, 2018

    Studenteropgave: Master afgangsprojekt

  22. Innovation of Project Management: Translation of the Half-Double methodology into a project practice

    Ondrej Chrastecky

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  23. NXDlogo.png

    NXD Drain

    Jens Asmussen Hamann, Martin Juul Jensen

    Industrielt Design, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  24. thelogo.png

    Prex: A tool for Reachability Analysis In MPLS Networks

    Jonas Sand Madsen, Troels Beck Krøgh, Marc Tom Thorgersen, Jesper Stenbjerg Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  25. Vis

    Allan Gram Pedersen, Angela Lise Frank

    Industrielt Design, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  26. 2017
  27. Architecture, to Remember: Towards Understanding how Architecture Influences the Neurocognitive Mechanism of Spatial Memory

    Nicolaj Østergaard Thunbo

    Arkitektur, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  28. A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets

    Mads Johannsen, Jakob Dyhr, Frederik Meyer Bønneland

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  29. Forebyggelse af dårlig mental sundhed – Udvikling af kompleks intervention til forbedring af sociale relationer

    Stinna Bibi Pedersen, Lise Røntved Hansen

    Folkesundhedsvidenskab, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  30. Improving the Model Checking Activity - H-UPPAAL: A New Integrated Development Environment for Model Checking

    Niklas Kirk Mouritzsen, Rasmus Holm Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  31. Symbolic Synthesis of Non-Negative Multi-Weighted Games with Temporal Objectives

    Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  32. 2016
  33. Controller Synthesis by Solving Multi Weighted Games

    Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann

    Datalogi, Kandidat, (Kandidatuddannelse) 3. semester, 2016

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  34. DDoS Attack Detection in SDN-based VANET Architectures

    Stamelina Tomova Todorova, Martina Stoyanova Todorova

    Innovativ kommunikationsteknik og entrepreneurskab, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  35. Soundness, Structural Reductions, and Resource Extensions for Modal Workflow Nets

    Jacob Buchreitz Harbo

    Datalogi (it), Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  36. 2015
  37. Bridge-DB: Query Optimization in a Multi-Database System

    Rune Sanden Ettrup, Lisbeth Nielsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  38. Identity Management approach in Internet of Things

    Vanya Hristova Zdravkova

    Innovativ kommunikationsteknik og entrepreneurskab, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  39. Nordic Noir: How the British fell under the spell of the Nordic Noir TV-series?

    Lina Barauskaite, Anders Winther Lindstrøm, Clémence Lucie Yquel

    Culture, Communication & Globalisation, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  40. 2014
  41. Learning Optimal Scheduling for Time Uncertain Settings

    Jakob Haahr Taankvist, Peter Gjøl Jensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  42. Rehabilitativt Design: Et Tablet Spil til at Undersøge Opmærksomhed og Neglekt Træning

    Lars Holm Jespersen, Danny Tamsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  43. 2013
  44. Graph Clustering with an Emphasis on Algorithms Employing the Commuting Times Distance.

    Andrew Bernard Lannie, Rodney Michael Miles

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

    Studenteropgave: Master afgangsprojekt

  45. Network design with guaranteed End-to-End QoS

    Radostina Stefanova Gercheva

    Innovativ kommunikationsteknik og entrepreneurskab, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  46. 2011
  47. 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)

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

  49. 2010
  50. 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)

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

  52. 2009
  53. From games to executables! Implementaions of strategies from UPPAAL TIGA

    Jesper Rosenkilde

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  54. From games to executables!

    Kenneth Blanner Holleufer, Jesper Brix Rosenkilde

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  55. 2008
  56. 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)

  57. 2007
  58. Slicing for UPPAAL

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

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  59. 2006
  60. '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)

  61. 'Fra modelbaseret verifikation til automatisk afvikling af testcase i JUnit.'

    Bo Stenvang

    EVU, Masteruddannelsen i Softwarekonstruktion (Kører ikke længere), 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  62. 2005
  63. 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)

  64. On Deciding Behavioral Properties for Petri Nets : Timed-Arc Petri Nets and their Extensions

    Ragnhildur Þórunn Óskarsdóttir, Sigmar Stefánsson, Tómas Jónasson

    Master Software Systems Engineering SSE, 10. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  65. 2004
  66. Integrating NorduGrid system with Uppaal verification tool

    Dong Liu, Hoang Thi Thu Huong

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  67. 2002
  68. Compositional Backwards Reachability of Timed Automata

    Ulrik Larsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)